summaryrefslogtreecommitdiff
path: root/contrib/run-script-smtcomp2014
AgeCommit message (Expand)Author
2014-06-27Updated run script for QF_ABVClark Barrett
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 for QF_AUFLIA strategyClark Barrett
2014-06-12Modified run script for QF_AXClark Barrett
2014-06-12Modified run script for QF_LRAClark Barrett
2014-06-11more fix-upsMorgan Deters
2014-06-12Update SMTCOMP script to handle all quantified logics.ajreynol
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-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-15Minor fixes. Add SMTCOMP 2014 script.Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback