Age | Commit message (Expand) | Author |
2014-06-18 | Version of the run script that works with trace executor; waiting on StarExec... | Morgan Deters |
2014-06-17 | Some fixes for tear-down-incremental and "success" output. | Morgan Deters |
2014-06-17 | Minor fixes to get-abc script and configure stuff. | Morgan Deters |
2014-06-17 | get-glpk-cut-log script, and configure code. | Morgan Deters |
2014-06-15 | minor update to application track config in QF_BVsmtcomp2014 | Morgan Deters |
2014-06-15 | Application trace executor (if they end up using that) requires --print-success. | Morgan Deters |
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 str... | Morgan Deters |
2014-06-13 | update application track script too | Morgan Deters |
2014-06-13 | Update for QF_AUFLIA strategy | Clark Barrett |
2014-06-13 | Adjust incremental run script for QF_AX too. | Morgan Deters |
2014-06-12 | Modified run script for QF_AX | Clark Barrett |
2014-06-12 | Modified run script for QF_LRA | Clark Barrett |
2014-06-12 | New application track script, new heuristics and all --tear-down-incremental.... | Morgan Deters |
2014-06-11 | more fix-ups | Morgan Deters |
2014-06-12 | Update SMTCOMP script to handle all quantified logics. | ajreynol |
2014-06-11 | Some clean-up, post bv-merge. | Morgan Deters |
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-04 | Update commit # for get-abc script, anticipating Liana's merge. | 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-28 | Minor changes to script. Disable cbqi sat. | ajreynol |
2014-05-28 | Add option to avoid dumping partial models/proofs. | Andrew Reynolds |
2014-05-25 | Improve quantifier instantiation: always use original terms when matching (wa... | Andrew Reynolds |
2014-05-15 | Minor fixes. Add SMTCOMP 2014 script. | Andrew Reynolds |
2014-05-14 | Finish --dump-instantiations option. Update scripts. | Andrew Reynolds |
2014-05-12 | Minor updates/fix to --cbqi-recurse | Andrew Reynolds |
2014-05-11 | More preparation for CASC proofs. Minor fix for sort inference (rewrite new ... | Andrew Reynolds |
2014-05-10 | Bug fixes to CBQI. Add first draft of CASC j7 TFF script. Add regression, m... | Andrew Reynolds |
2014-05-09 | Initial draft of run scripts for CASC j7 | Andrew Reynolds |
2014-03-31 | Travis-CI test for new-theory script, also related bugfixes. | Morgan Deters |
2014-03-28 | get-antlr error on missing config.guess | Kshitij Bansal |
2014-03-26 | Merge branch '1.3.x' | Morgan Deters |
2014-03-26 | Win32 build script fixes (to allow portfolio builds). | Morgan Deters |
2014-03-12 | Draft contrib/get-abc script for bitvectors libabc support. | Morgan Deters |
2014-01-27 | URL update | Morgan Deters |
2014-01-02 | Update copyright year. | Morgan Deters |
2013-12-05 | Script fixes; when determining authorship of source files, don't count copyri... | Morgan Deters |
2013-11-27 | General pre-release cleanup commit | Morgan Deters |
2013-11-13 | Another build fix; the dust should be settled now. | Morgan Deters |
2013-11-12 | Fix new-theory script for new, flattened build system. | Morgan Deters |
2013-09-13 | Documentation fixes, some code typo fixes, file perms, other minor things. | Morgan Deters |
2013-07-30 | Minor fixes to build system. | Morgan Deters |
2013-07-16 | Fix for get-antlr script and PIC/non-PIC objects, on some platforms | Morgan Deters |
2013-06-08 | Fix typos in alttheoryskel | Morgan Deters |
2013-06-03 | Updated CASC scripts, as provided to Geoff Sutcliffecasc24 | Morgan Deters |