Age | Commit message (Expand) | Author |
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 |
2014-06-03 | Another check when making SMT-COMP submission zipfiles. | Morgan Deters |
2014-06-03 | Fix StarExec description files for new requirements. | Morgan Deters |
2014-06-03 | Support E-matching/QCF for Set operators. | ajreynol |
2014-06-01 | Fix for Windows builds (rlimit doesn't exist on Windows). | Morgan Deters |
2014-05-30 | More make rules | Morgan Deters |
2014-05-30 | One final bit (I hope) of make magic | Morgan Deters |
2014-05-30 | More make rules | Morgan Deters |
2014-05-30 | Bug fix for string-opt2 (copied from Tianyi's branch). | Morgan Deters |
2014-05-30 | Update submission make rules. | Morgan Deters |
2014-05-30 | Change SMT COMP script to use external timeouts. | ajreynol |
2014-05-30 | Run script updates: no --stats, also application-track version. | Morgan Deters |
2014-05-30 | run script fix | Kshitij Bansal |
2014-05-30 | Improve --dt-stc-ind for multi-variable datatype properties. | ajreynol |
2014-05-30 | Fixes for --inst-max-level | ajreynol |
2014-05-30 | Fix personal.mk for some make targets. | Morgan Deters |
2014-05-28 | Minor changes to script. Disable cbqi sat. | ajreynol |
2014-05-28 | Add option to avoid dumping partial models/proofs. | Andrew Reynolds |
2014-05-27 | Some fixes to GC order in Java. | Morgan Deters |
2014-05-27 | Merge pull request #27 from kbansal/statistics | Kshitij Bansal |
2014-05-27 | update stats_black | Kshitij Bansal |
2014-05-27 | New --tear-down-incremental mode, useful for debugging and performance profil... | Morgan Deters |
2014-05-27 | fix timespec printing | Kshitij Bansal |