summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
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
2014-06-24stack-size portfolio fix. boost 1.50 now requiredMorgan Deters
2014-06-24Alternative lazier heuristic for assertion rewriting.Tim King
2014-06-24Alternative lazier heuristic for assertion rewriting.Tim King
2014-06-24Fixing a soundness bug in arithmetic and a roubustness problem in rings.Tim King
2014-06-24Fixing a soundness bug in arithmetic and a roubustness problem in rings.Tim King
2014-06-24Squashed commit of the following: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-22Output language "cvc3" (as opposed to "cvc" or "cvc4") produces output for CVC3:Morgan Deters
2014-06-22Minor cleanup stuff.Morgan Deters
2014-06-22Re-enable UNTERMINATED_QUOTED_SYMBOL rules.Morgan Deters
2014-06-22Merge tag 'smtcomp2014-application'Morgan Deters
2014-06-22QuitCommand needs "success" output for trace executor. :-(smtcomp2014-applicationMorgan Deters
2014-06-22Final fixes for smtcomp2014-application.Morgan Deters
2014-06-22Merge pull request #39 from mdeters/bv-warningslianah
2014-06-22Merge pull request #35 from mdeters/bv-kindslianah
2014-06-21Fix compiler warnings (mostly unused variables).Morgan Deters
2014-06-21API documentation improvements.Morgan Deters
2014-06-21Fix compiler warnings in BV-related code (unused vars mostly).Morgan Deters
2014-06-21Fix to the compatibility library (this does fix the build).Morgan Deters
2014-06-21Fix compat-Java layer, should fix build.Morgan Deters
2014-06-21Sets kinds documentationMorgan Deters
2014-06-21Lower the Java JRE version requirement.Morgan Deters
2014-06-21Adjust library dependencies to be more correct (fixes lintian warnings).Morgan Deters
2014-06-21Add some missing functions in configuration and compat library.Morgan Deters
2014-06-21Slightly-improved kinds documentation for builtin, Boolean, arrays, strings, ...Morgan Deters
2014-06-21Minor fixes for man pages.Morgan Deters
2014-06-21Some minor cleanup and documentation.Morgan Deters
2014-06-21fixed build failurelianah
2014-06-20Implement RecordProperties::mkGroundTerm(). Resolves bug #546.Morgan Deters
2014-06-20Bit-vector kinds documentationMorgan Deters
2014-06-20Datatypes kinds documentationMorgan Deters
2014-06-20Quantifiers kinds documentationMorgan Deters
2014-06-20UF kinds documentationMorgan Deters
2014-06-19fixed merge conflictlianah
2014-06-19added model generation to eager bit-blasting and turned abc off by defaultlianah
2014-06-19Better --segv-spin messages.Morgan Deters
2014-06-19Proper escaping in option documentation.Morgan Deters
2014-06-19Options script fix.Morgan Deters
2014-06-19Fix for mac readline.Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback