summaryrefslogtreecommitdiff
path: root/test
AgeCommit message (Expand)Author
2014-10-23Parsing and infrastructure support for SMT-LIBv2.5 input and output languages.Morgan Deters
2014-10-22Fix bug590 regression distcheck failure from last night.Morgan Deters
2014-10-21Fixed bug 590, added regression testClark Barrett
2014-10-17Merge branch '1.4.x'Morgan Deters
2014-10-17Remove a bad (unstable, timing-dependent) test.Morgan Deters
2014-10-14Context-dependent expr attributes are now attached to a specific SmtEngine, a...Morgan Deters
2014-10-10Merge remote-tracking branch 'origin/1.4.x'Kshitij Bansal
2014-10-10Fix issue with shared but non-preregistered term setup. Thanks Alvise Rabitti...Kshitij Bansal
2014-10-06Fix unit test that was broken with last commit.Morgan Deters
2014-10-06Merge branch '1.4.x'Morgan Deters
2014-10-06Fix a bug in tuple-record handling. Thanks to Saumya Debray for the report.Morgan Deters
2014-10-06Merge branch '1.4.x'Morgan Deters
2014-10-06fix for bug586Kshitij Bansal
2014-10-06Extended parsing testcase, with constant arrays and RESET.Morgan Deters
2014-10-06Merge branch '1.4.x'Morgan Deters
2014-10-06Fix native language parsing of chained-store expressions (resolves bug 585). ...Morgan Deters
2014-10-04Enable some old bug testcases that (maybe?) never got added.Morgan Deters
2014-10-03Add some (so far trivial) regressions for constant arrays.Morgan Deters
2014-10-03Merge branch '1.4.x'Morgan Deters
2014-10-03Fix unit test for ArrayStoreAll.Morgan Deters
2014-09-25fix unit test for new fair datatype enumerationMorgan Deters
2014-09-24Fix infinite loop in datatypes enumerator. Minor work on conjecture generator.ajreynol
2014-09-17Fix soundness bug for quantifier macros involving Int/Real.ajreynol
2014-09-03Implement and enable --dt-var-exp-quant, cleanup trace messages, minor change...ajreynol
2014-08-28fixing bug580 caused by bad bv inequality explanationlianah
2014-08-28fixing bug580 caused by bad bv inequality explanationlianah
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback