summaryrefslogtreecommitdiff
path: root/contrib
AgeCommit message (Expand)Author
2014-06-22Final fixes for smtcomp2014-application.Morgan Deters
2014-06-22Another updated submission strategy.Morgan Deters
2014-06-21Run in application track with --check-models.Morgan Deters
2014-06-18Version of the run script that works with trace executor; waiting on StarExec...Morgan Deters
2014-06-17Some fixes for tear-down-incremental and "success" output.Morgan Deters
2014-06-17Minor fixes to get-abc script and configure stuff.Morgan Deters
2014-06-17get-glpk-cut-log script, and configure code.Morgan Deters
2014-06-15minor update to application track config in QF_BVsmtcomp2014Morgan Deters
2014-06-15Application trace executor (if they end up using that) requires --print-success.Morgan Deters
2014-06-15better bv args for smtcompMorgan Deters
2014-06-13Doubly-ensure incremental is off in main track. Also import bv-portfolio str...Morgan Deters
2014-06-13update application track script tooMorgan Deters
2014-06-13Update for QF_AUFLIA strategyClark Barrett
2014-06-13Adjust incremental run script for QF_AX too.Morgan Deters
2014-06-12Modified run script for QF_AXClark Barrett
2014-06-12Modified run script for QF_LRAClark Barrett
2014-06-12New application track script, new heuristics and all --tear-down-incremental....Morgan Deters
2014-06-11more fix-upsMorgan Deters
2014-06-12Update SMTCOMP script to handle all quantified logics.ajreynol
2014-06-11Some clean-up, post bv-merge.Morgan Deters
2014-06-10Add new --pb-rewrites options to QF_LIA run script for SMT-COMP.Morgan Deters
2014-06-10Merging CAV14 paper bit-vector work.lianah
2014-06-09Tim's options for QF_LIA and QF_LRA---SOI+approx.Morgan Deters
2014-06-04Update commit # for get-abc script, anticipating Liana's merge.Morgan Deters
2014-06-03Fixing run-script for smt-compMorgan Deters
2014-05-30Change SMT COMP script to use external timeouts.ajreynol
2014-05-30Run script updates: no --stats, also application-track version.Morgan Deters
2014-05-30run script fixKshitij Bansal
2014-05-28Minor changes to script. Disable cbqi sat.ajreynol
2014-05-28Add option to avoid dumping partial models/proofs.Andrew Reynolds
2014-05-25Improve quantifier instantiation: always use original terms when matching (wa...Andrew Reynolds
2014-05-15Minor fixes. Add SMTCOMP 2014 script.Andrew Reynolds
2014-05-14Finish --dump-instantiations option. Update scripts.Andrew Reynolds
2014-05-12Minor updates/fix to --cbqi-recurseAndrew Reynolds
2014-05-11More preparation for CASC proofs. Minor fix for sort inference (rewrite new ...Andrew Reynolds
2014-05-10Bug fixes to CBQI. Add first draft of CASC j7 TFF script. Add regression, m...Andrew Reynolds
2014-05-09Initial draft of run scripts for CASC j7Andrew Reynolds
2014-03-31Travis-CI test for new-theory script, also related bugfixes.Morgan Deters
2014-03-28get-antlr error on missing config.guessKshitij Bansal
2014-03-26Merge branch '1.3.x'Morgan Deters
2014-03-26Win32 build script fixes (to allow portfolio builds).Morgan Deters
2014-03-12Draft contrib/get-abc script for bitvectors libabc support.Morgan Deters
2014-01-27URL updateMorgan Deters
2014-01-02Update copyright year.Morgan Deters
2013-12-05Script fixes; when determining authorship of source files, don't count copyri...Morgan Deters
2013-11-27General pre-release cleanup commitMorgan Deters
2013-11-13Another build fix; the dust should be settled now.Morgan Deters
2013-11-12Fix new-theory script for new, flattened build system.Morgan Deters
2013-09-13Documentation fixes, some code typo fixes, file perms, other minor things.Morgan Deters
2013-07-30Minor fixes to build system.Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback