summaryrefslogtreecommitdiff
path: root/src/theory/bv/aig_bitblaster.cpp
AgeCommit message (Expand)Author
2018-04-02Reorganize bitblaster code. (#1695)Mathias Preiner
2018-02-07Adds a new CHECK macro that abort()s on failure. (#1532)Tim King
2017-08-21Cleanup: use Assert rather than C assert. (#1052)Aina Niemetz
2017-08-09Remove AigBitblaster implementation if ABC is not compiled (#212)Mathias Preiner
2017-07-07Update copyright headers.Mathias Preiner
2017-06-03Fix compile errorClark Barrett
2017-05-31Fix model construction for BV with cbqi. Minor change to defaults.ajreynol
2017-03-02Eliminate Boolean term conversion. Generalizes removeITE pass to remove Boole...ajreynol
2016-10-13Merging bv parts of ajr/bvExt branch, minor additions to ExtTheory.ajreynol
2016-05-26Changed aig_bitblaster to work with cryptominisatlianah
2016-05-26Fix for aig_bitblaster.cppKshitij Bansal
2016-05-24Merged cryptominisat from experimental branch.Liana Hadarean
2016-04-03Updating the copyright headers and scripts.Tim King
2016-01-08Removing StatisticsRegistry's static functions current() and registerStat().Tim King
2015-12-14Refactoring Options Handler & Library Cycle BreakingTim King
2014-09-26Fix AIG bitblaster for unsat cores.Morgan Deters
2014-07-01Update copyrights.Morgan Deters
2014-06-21fixed build failurelianah
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback