Rob Dockins 7b7c79a632 Generalize the predToBV expression to bvFill, which construts a bitvector ... of arbitrary length where every bit is defined by the input predicate.		2019-05-23 15:21:20 -07:00
..
src/What4/Solver	Generalize the predToBV expression to bvFill, which construts a bitvector	2019-05-23 15:21:20 -07: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