summaryrefslogtreecommitdiff
path: root/src/prop/bvminisat/simp/SimpSolver.cc
AgeCommit message (Expand)Author
2021-04-09Rename CVC4_ macros to CVC5_. (#6327)Aina Niemetz
2021-04-01Rename namespace CVC5 to cvc5. (#6258)Aina Niemetz
2021-03-31Rename namespace CVC4 to CVC5. (#6249)Aina Niemetz
2021-03-11Use CVC4_ASSERTIONS instead of NDEBUG. (#6099)Mathias Preiner
2021-03-10Use Assert instead of assert. (#6095)Mathias Preiner
2020-09-01Removes old proof code (#4964)Haniel Barbosa
2020-08-31Fix spelling errors (#4977)FabianWolff
2020-03-05Enable -Wshadow and fix warnings. (#3909)Mathias Preiner
2019-12-17Generate code for options with modes. (#3561)Mathias Preiner
2018-10-01Fix compiler warnings. (#2555)Aina Niemetz
2018-09-13Fix #include for minisat headers in bvminisat. (#2463)Mathias Preiner
2016-04-20update from the masterPaulMeng
2016-01-26Merged bit-vector and uf proof branch.Liana Hadarean
2015-12-14Refactoring Options Handler & Library Cycle BreakingTim King
2015-10-26This fixes a one definition rule violation for reduceDB_lt in Solver.cc in mi...Tim King
2014-06-10Merging CAV14 paper bit-vector work.lianah
2012-05-09* simplifying equality engine interfaceDejan Jovanović
2012-05-08Merging in bvprop branch, with proper bit-vector propagation. Liana Hadarean
2012-04-04 * added propagation as lemmas to TheoryBV:Liana Hadarean
2012-02-25Refactored CnfStream to work with the bv theory Bitblaster:Liana Hadarean
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback