Age | Commit message (Expand) | Author |
2014-06-11 | Fix for competition mode + parallel. | Morgan Deters |
2014-06-11 | Fix parallel run script. | Morgan Deters |
2014-06-11 | Merge branch 'master' of https://github.com/CVC4/CVC4 | lianah |
2014-06-11 | switched bv equality order | lianah |
2014-06-12 | Update SMTCOMP script to handle all quantified logics. | ajreynol |
2014-06-11 | Fix an omission in bv sources. | Morgan Deters |
2014-06-11 | --best now implies --with-glpk --with-abc | Morgan Deters |
2014-06-11 | Some clean-up, post bv-merge. | Morgan Deters |
2014-06-11 | Merge pull request #31 from kbansal/sets | Kshitij Bansal |
2014-06-11 | fixed unit tests failures | lianah |
2014-06-11 | disable another test, after recent merges taking too long | Kshitij Bansal |
2014-06-11 | disable failing test | Kshitij Bansal |
2014-06-11 | sets: comment out an assertion too strong | Kshitij Bansal |
2014-06-11 | user/sat context issue in sets | Kshitij Bansal |
2014-06-11 | fix in sets rewriter | Kshitij Bansal |
2014-06-11 | fixing bv ackermanization cache bug | lianah |
2014-06-10 | Add new --pb-rewrites options to QF_LIA run script for SMT-COMP. | Morgan Deters |
2014-06-10 | Some news about API changes. | Morgan Deters |
2014-06-10 | Merging Tim's pseudoboolean work from his fmcad14 branch. | Tim King |
2014-06-10 | reverting portfolio hack | lianah |
2014-06-10 | Merging CAV14 paper bit-vector work. | lianah |
2014-06-09 | Disallow copy/assignment of SmtEngine. | Morgan Deters |
2014-06-09 | Tim's options for QF_LIA and QF_LRA---SOI+approx. | Morgan Deters |
2014-06-09 | Merge pull request #29 from kbansal/alternatefix | Kshitij Bansal |
2014-06-09 | Add missing set of braces, fixes --trace. | Morgan Deters |
2014-06-08 | parseErrorHelper : factor out whole word matching | Kshitij Bansal |
2014-06-08 | test for prvs commit (tokenize emptyset) | Kshitij Bansal |
2014-06-08 | Previous "repeat" fix required extra lookahead (leading to assert-fails). Fi... | Morgan Deters |
2014-06-08 | smt2 parser: tokenize emptyset only if theory enabled | Kshitij Bansal |
2014-06-08 | Better error when there are \backslashes in |quoted symbols|. | Morgan Deters |
2014-06-08 | Allow 'repeat' as an SMT-LIB user symbol name (UFNIA/vcc-havoc does this). | Morgan Deters |
2014-06-08 | sets translate: a different translation using axioms | Kshitij Bansal |
2014-06-06 | sets translator: fix for dags | Kshitij Bansal |
2014-06-06 | Merge pull request #28 from kbansal/sets | Kshitij Bansal |
2014-06-06 | Fix submission script (again). | Morgan Deters |
2014-06-06 | rm warning from helloworld example | Kshitij Bansal |
2014-06-06 | Patch for the subtype theoryof mode to make the equalities over disequal type... | Tim King |
2014-06-06 | sets: fix equality propagation | Kshitij Bansal |
2014-06-06 | -{d,t} help => --show-{debug,trace}-tags | Kshitij Bansal |
2014-06-06 | option to hide stats which are zero (off by default), also some aliases | Kshitij Bansal |
2014-06-06 | Sets translate, and other short fixes | Kshitij Bansal |
2014-06-05 | SMT-COMP version gets built --with-abc. | Morgan Deters |
2014-06-05 | Add --default-dag-thresh to translator, build translator with other examples. | Morgan Deters |
2014-06-05 | When printing in SMT, print N-ary bvadd/bvmul/concat/bvand/bvor/bvxor as binary. | Morgan Deters |
2014-06-04 | Add operator support (resolves bug #563). | Morgan Deters |
2014-06-04 | SmtEngine::checkModel() now checks that model values are of the correct type ... | Morgan Deters |
2014-06-04 | Update commit # for get-abc script, anticipating Liana's merge. | Morgan Deters |
2014-06-04 | Fix usability issue with tear-down incremental mode. | Morgan Deters |
2014-06-04 | SMT strict mode now disallows N-ary use of concat, bvadd, bvmul, bvand, bvor,... | Morgan Deters |
2014-06-03 | Fixing run-script for smt-comp | Morgan Deters |