summaryrefslogtreecommitdiff
path: root/src/theory/bv/bv_to_bool.h
AgeCommit message (Expand)Author
2018-04-25Refactor bv-to-bool and bool-to-bv preprocessing passes (#1788)yoni206
2017-07-20Moving from the gnu extensions for hash maps to the c++11 hash mapsTim King
2017-07-07Update copyright headers.Mathias Preiner
2017-03-06Adding support for bool-to-bvClark Barrett
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-10Merging CAV14 paper bit-vector work.lianah
2013-12-05Update copyrights, add missing file-level documentation; fix perms.Morgan Deters
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