summaryrefslogtreecommitdiff
path: root/src/theory/bv/bv_to_bool.cpp
AgeCommit message (Expand)Author
2018-04-25Refactor bv-to-bool and bool-to-bv preprocessing passes (#1788)yoni206
2018-03-06Make statistics output consistent. (#1647)Mathias Preiner
2018-02-09Remove mkNode from bv::utils (#1587)Aina Niemetz
2018-01-08Add bv util mkConst(unsigned, Integer&). (#1499)Aina Niemetz
2017-07-07Update copyright headers.Mathias Preiner
2017-03-06Adding support for bool-to-bvClark Barrett
2017-03-02Eliminate Boolean term conversion. Generalizes removeITE pass to remove Boole...ajreynol
2016-04-20update from the masterPaulMeng
2016-01-08Removing StatisticsRegistry's static functions current() and registerStat().Tim King
2015-12-14Refactoring Options Handler & Library Cycle BreakingTim King
2014-07-01Update copyrights.Morgan Deters
2014-06-12added bvcomp case to bv to bool liftinglianah
2014-06-10Merging CAV14 paper bit-vector work.lianah
2013-12-05Update copyrights, add missing file-level documentation; fix perms.Morgan Deters
2013-04-30added bvule, bvsle operator elimination rulesl; added bvurem lemma generationlianah
2013-04-30innd examples are solved fast, but destruction assertion faillianah
2013-04-30fixed compile errorLiana Hadarean
2013-04-30uncompiling new bv to bool liftinglianah
2013-04-30finished implementing bv to bool lifting and added --bv-to-bool optionlianah
2013-04-30more work on boolean liftingLiana Hadarean
2013-04-30started work on bv1 to boolean liftinglianah
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback