summaryrefslogtreecommitdiff
path: root/src/theory/bv/options
AgeCommit message (Expand)Author
2015-01-22Narrow sygus search space based on NNF and rewriting constant arguments.ajreynol
2014-11-17added command line option for extractArith bv rewritelianah
2014-09-27Fix infinite loop in --bitblast-aig/--bv-aig-simp options.Morgan Deters
2014-09-26Fix bv options doc.Morgan Deters
2014-06-19added model generation to eager bit-blasting and turned abc off by defaultlianah
2014-06-14Evil bitvector preprocessing pass for simplifying powers of two.lianah
2014-06-11added optionException for trying to use abc in an non-abc buildlianah
2014-06-11fixed unit tests failureslianah
2014-06-10Merging CAV14 paper bit-vector work.lianah
2013-05-14added some extra options to the bit-vector theorylianah
2013-04-30finished implementing bv to bool lifting and added --bv-to-bool optionlianah
2013-03-30changed option to run inequality solver by defaultLiana Hadarean
2013-03-27reverted the core solver to do static slicing, added option --bv-core-solverlianah
2013-03-26added model generation for bv subtheories and bv-inequality solver optionlianah
2012-07-31Options merge. This commit:Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback