Age | Commit message (Collapse) | Author | |
---|---|---|---|
2014-06-15 | better bv args for smtcomp | Morgan Deters | |
2014-06-13 | Doubly-ensure incremental is off in main track. Also import bv-portfolio ↵ | Morgan Deters | |
strategy. | |||
2014-06-13 | Update for QF_AUFLIA strategy | Clark Barrett | |
2014-06-12 | Modified run script for QF_AX | Clark Barrett | |
2014-06-12 | Modified run script for QF_LRA | Clark Barrett | |
2014-06-11 | more fix-ups | Morgan Deters | |
2014-06-12 | Update SMTCOMP script to handle all quantified logics. | ajreynol | |
2014-06-10 | Add new --pb-rewrites options to QF_LIA run script for SMT-COMP. | Morgan Deters | |
2014-06-10 | Merging CAV14 paper bit-vector work. | lianah | |
2014-06-09 | Tim's options for QF_LIA and QF_LRA---SOI+approx. | Morgan Deters | |
2014-06-03 | Fixing run-script for smt-comp | 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-15 | Minor fixes. Add SMTCOMP 2014 script. | Andrew Reynolds | |