summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
2014-10-11Some defensive programming at destruction time, and fix a latent dangling poi...Morgan Deters
2014-10-10Fix issue with shared but non-preregistered term setup. Thanks Alvise Rabitti...Kshitij Bansal
2014-10-08Remove private header from public driver.Morgan Deters
2014-10-06Fix a bug in tuple-record handling. Thanks to Saumya Debray for the report.Morgan Deters
2014-10-06fix for bug586Kshitij Bansal
2014-10-06Fix native language parsing of chained-store expressions (resolves bug 585). ...Morgan Deters
2014-10-03Fix output of integer-valued real constants in SMT-LIB models (thanks Christo...Morgan Deters
2014-10-03Improve error in CVC parser in presence of unrecognized command name.Morgan Deters
2014-10-03Minor fixes to CVC printer.Morgan Deters
2014-10-02Fix comment in SmtEngine.Morgan Deters
2014-10-02Fix for an array-of-record model generation assert-fail (assert was too strong).Morgan Deters
2014-09-30Fix improper #inclusion of private header outside library.Morgan Deters
2014-09-30Fix a command-replay bug in tear-down-incremental mode. Thanks to Christoph ...Morgan Deters
2014-09-27Fix infinite loop in --bitblast-aig/--bv-aig-simp options.Morgan Deters
2014-09-26Fix bv options doc.Morgan Deters
2014-09-26Clarify some licensing-related things.Morgan Deters
2014-09-18cvc4terminate infinite loop fixKshitij Bansal
2014-09-17Fix fix. There are no unsat cores in 1.4Kshitij Bansal
2014-09-17Fix (push) and (pop). Thanks to Christoph Sticksel for the bug report.Kshitij Bansal
2014-08-28fixing bug580 caused by bad bv inequality explanationlianah
2014-08-22Fix operator-printing issue in SMT2.Morgan Deters
2014-08-22Fix SMT1 parser :extrasorts/:extrapreds.Morgan Deters
2014-08-19Produce error for bad indexed function names in SMT-LIB, remove antlr warning.Morgan Deters
2014-08-18Revert a8e0ce67 and add test case (resolves bug #578).Morgan Deters
2014-08-05fixed bug575 for bv modelslianah
2014-08-04Some fixes to symmetry breaker (resolves bug 576).Morgan Deters
2014-07-12Fix a bug in Boolean terms and arrays. Thanks to Jean-Christophe Filliatre f...Morgan Deters
2014-07-11Spelling.Morgan Deters
2014-07-11fix for windows buildKshitij Bansal
2014-07-10Merge pull request #48 from kbansal/segfaultfixKshitij Bansal
2014-07-10rm warningKshitij Bansal
2014-07-10membership cvc token changed to `IS_IN' to avoid conflict with IN used for letKshitij Bansal
2014-07-10Merge remote-tracking branch 'origin/master' into segfaultfixKshitij Bansal
2014-07-10friendlyparser: go back upto 2 words looking for matchKshitij Bansal
2014-07-10reorganize friendlyparser, behavior unchangedKshitij Bansal
2014-07-09sets cvc parserKshitij Bansal
2014-07-09sets cvc printerKshitij Bansal
2014-07-04initialize variablesKshitij Bansal
2014-07-03change lemma generation behaviorKshitij Bansal
2014-07-01Update portfolio_util.cppKshitij Bansal
2014-07-01Update copyrights.Morgan Deters
2014-07-01Merge pull request #44 from mdeters/prio-queue-updatesMorgan Deters
2014-07-01chat about thread creationKshitij Bansal
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-28Automatically make SMT options from command-line option names, warn when not ...Morgan Deters
2014-06-28Fix bug in datatypes options specificationMorgan Deters
2014-06-27Another fix for 32-bit (amends commit b825605).Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback