summaryrefslogtreecommitdiff
path: root/test
AgeCommit message (Expand)Author
2014-08-22Unit test fix.Morgan Deters
2014-08-22Unsat core infrastruture and API (SMT-LIB compliance to come).Morgan Deters
2014-08-22Merge branch '1.4.x'Morgan Deters
2014-08-22Fix incorrectly-labeled test.Morgan Deters
2014-08-18Merge branch '1.4.x'Morgan Deters
2014-08-18Revert a8e0ce67 and add test case (resolves bug #578).Morgan Deters
2014-08-04Some fixes to symmetry breaker (resolves bug 576).Morgan Deters
2014-08-04Some fixes to symmetry breaker (resolves bug 576).Morgan Deters
2014-08-04Better support for resource-limiting when there aren't any actual conflicts.Morgan Deters
2014-07-25patch for regular expression intersection cachingTianyi Liang
2014-07-21run_regression using valgrind by setting VALGRIND=1Kshitij Bansal
2014-07-12Status for new bug testcase.Morgan Deters
2014-07-12Fix a bug in Boolean terms and arrays. Thanks to Jean-Christophe Filliatre f...Morgan Deters
2014-07-10membership cvc token changed to `IS_IN' to avoid conflict with IN used for letKshitij Bansal
2014-07-09sets cvc parserKshitij Bansal
2014-07-09sets cvc printerKshitij Bansal
2014-07-01Update copyrights.Morgan Deters
2014-07-01Merge pull request #44 from mdeters/prio-queue-updatesMorgan Deters
2014-06-30Merge pull request #45 from mdeters/turn-off-strings-expMorgan Deters
2014-06-30Merge pull request #47 from kbansal/setsKshitij Bansal
2014-06-30Use FS as the set-logic string for theory of setsKshitij Bansal
2014-06-29sets: "insert" operatorKshitij Bansal
2014-06-27Fix for bug543Clark Barrett
2014-06-25Turn strings-exp off by default (for the release)Morgan Deters
2014-06-25rename subseteq to subset in smtlib, all kinds and smt operator names are now...Kshitij Bansal
2014-06-25BinaryHeap unit test and some usability/build fixes for the data structure it...Morgan Deters
2014-06-23Fatal error if --unconstrained-simp and --produce-models used together (befor...Morgan Deters
2014-06-22Renaming of SMT2 operator names, kinds for set theoryKshitij Bansal
2014-06-21Some minor cleanup and documentation.Morgan Deters
2014-06-21fixed build failurelianah
2014-06-19added model generation to eager bit-blasting and turned abc off by defaultlianah
2014-06-19forgot to add the test with fixKshitij Bansal
2014-06-19disable unate lemmas when using incremental modeKshitij Bansal
2014-06-13fixed BVMinisat bug due to not clearing seen properlylianah
2014-06-11Merge pull request #31 from kbansal/setsKshitij Bansal
2014-06-11fixed unit tests failureslianah
2014-06-11disable another test, after recent merges taking too longKshitij Bansal
2014-06-11disable failing testKshitij Bansal
2014-06-11sets: comment out an assertion too strongKshitij Bansal
2014-06-11user/sat context issue in setsKshitij Bansal
2014-06-11fix in sets rewriterKshitij Bansal
2014-06-10Merging CAV14 paper bit-vector work.lianah
2014-06-08test for prvs commit (tokenize emptyset)Kshitij Bansal
2014-06-06Merge pull request #28 from kbansal/setsKshitij Bansal
2014-06-06Patch for the subtype theoryof mode to make the equalities over disequal type...Tim King
2014-06-06sets: fix equality propagationKshitij Bansal
2014-05-30Update submission make rules.Morgan Deters
2014-05-27update stats_blackKshitij Bansal
2014-05-25Improve quantifier instantiation: always use original terms when matching (wa...Andrew Reynolds
2014-05-23Fix bug in E-matching Real/Int terms.Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback