summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
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
2014-06-27Fix for bug543Clark Barrett
2014-06-26Merge pull request #46 from mdeters/bug573Kshitij Bansal
2014-06-26Fix for 32-bit (esp. win32 failing build).Morgan Deters
2014-06-26Potential fix for bug 573.Morgan Deters
2014-06-26Ignore error result when an error is squelched via command verbosity.Morgan Deters
2014-06-26Remove leftover debugging output.Morgan Deters
2014-06-26Minor language bindings fixes.Morgan Deters
2014-06-26Add missing function definition.Morgan Deters
2014-06-25Merge pull request #34 from mdeters/datatypes-kindsAndrew Reynolds
2014-06-25Merge pull request #37 from mdeters/quants-kindsAndrew Reynolds
2014-06-25Merge pull request #38 from mdeters/uf-kindsAndrew Reynolds
2014-06-25Turn strings-exp off by default (for the release)Morgan Deters
2014-06-25fix sets eager lemmasKshitij Bansal
2014-06-25cosmeticKshitij Bansal
2014-06-25mv default care graph function inside the theory implementationKshitij Bansal
2014-06-25make emptyset construction with no arguments privateKshitij Bansal
2014-06-25rename subseteq to subset in smtlib, all kinds and smt operator names are now...Kshitij Bansal
2014-06-25Merge pull request #43 from mdeters/threadstackKshitij Bansal
2014-06-25BinaryHeap unit test and some usability/build fixes for the data structure it...Morgan Deters
2014-06-25Fixing the previous bugfix.smtcomp2014-resubmissionTim King
2014-06-25Merge branch 'master' of github.com:CVC3/CVC4Tim King
2014-06-25Fixing the previous bugfix.Tim King
2014-06-25Stack-size portfolio fix. If using Boost 1.50, --thread-stack=MB is now supp...Morgan Deters
2014-06-25Fix some #line annotations.Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback