GaloisInc/what4
1
1
Fork 0
mirror of https://github.com/GaloisInc/what4.git synced 2024-11-25 07:13:59 +03:00
Code Issues Projects Releases Wiki Activity
master
what4/what4-blt
History
Ryan Scott bf8938bc30 Bump upper version bounds to allow base-4.20 
Bump the upper version bounds on `base` in the various `what4` packages, and
bump the `aig` submodule to bring in the changes from
https://github.com/GaloisInc/aig/pull/18.
2024-09-19 10:40:12 -04:00
..
src/What4/Solver Adapt what4-{abc,blt} to SolverEndSATQuery changes (#120) 2021-05-10 16:04:09 -04:00
test Rename the crucible-blt package into what4-blt 2018-05-10 18:14:53 -07:00
LICENSE Various metadata updates. 2020-07-21 17:43:47 -07:00
Setup.hs Rename the crucible-blt package into what4-blt 2018-05-10 18:14:53 -07:00
what4-blt.cabal Bump upper version bounds to allow base-4.20 2024-09-19 10:40:12 -04:00