GaloisInc/what4
1
1
Fork 0
mirror of https://github.com/GaloisInc/what4.git synced 2024-10-06 00:22:49 +03:00
Code Issues Projects Releases Wiki Activity
772d3c2f2f
what4/what4-abc
History
Rob Dockins 772d3c2f2f Add popCount, countTrailingZeros and countLeadingZeros as new 
bitvector operations in `what4`.

Solvers don't generally have primitives for these, but it is nonethess useful,
I think, to provide them as operations.  A collection of useful rewrites
could probably be added (e.g., interesting interaction with concat).
2018-12-20 14:35:58 -08:00
..
src/What4/Solver Add popCount, countTrailingZeros and countLeadingZeros as new 2018-12-20 14:35:58 -08:00
LICENSE Rename the crucible-abc package to what4-abc 2018-05-10 18:05:54 -07:00
Setup.hs Rename the crucible-abc package to what4-abc 2018-05-10 18:05:54 -07:00
what4-abc.cabal Bump upper limits on base to allow GHC 8.6 compilation. 2018-11-06 13:18:54 -08:00