summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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-27Updated run script for QF_ABVClark 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-26Merge tag 'smtcomp2014-resubmission'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-25Merge pull request #43 from mdeters/threadstackKshitij Bansal
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-25Don't allow libabc to load extensions at runtime.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-24Fix header check for glpk.h.Morgan Deters
2014-06-24Fixing a soundness bug in arithmetic and a roubustness problem in rings.Tim King
2014-06-24Merge pull request #41 from mdeters/tianyi-mergeTianyi Liang
2014-06-24Squashed commit of the following:Morgan Deters
2014-06-23Fix header check for glpk.h.Morgan Deters
2014-06-23Fatal error if --unconstrained-simp and --produce-models used together (befor...Morgan Deters
2014-06-23Make language explicit in casc scriptsajreynol
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-22Better documentation pages.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-22Another updated submission strategy.Morgan Deters
2014-06-22Another updated submission strategy.Morgan Deters
2014-06-21Run in application track with --check-models.Morgan Deters
2014-06-21Fix compiler warnings (mostly unused variables).Morgan Deters
2014-06-21API documentation improvements.Morgan Deters
2014-06-21Run in application track with --check-models.Morgan Deters
2014-06-21Fix compiler warnings in BV-related code (unused vars mostly).Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback