summaryrefslogtreecommitdiff
path: root/contrib
AgeCommit message (Expand)Author
2015-06-15fixes to QF_BV and QF_UFBV run scriptLiana Hadarean
2015-06-14dummy commit to mark adding crpytominisat to configure in competition binaryKshitij Bansal
2015-06-14changes to run script and minor bvLiana Hadarean
2015-06-14added ackermanization for eager bit-blastingLiana Hadarean
2015-06-14More updates for QF_NIAClark Barrett
2015-06-14teardown for nonlinearKshitij Bansal
2015-06-14Updated run script for QF_NIAClark Barrett
2015-06-14Updated run script for QF_NIAClark Barrett
2015-06-13Removing extra arguments for --incremental solving in run-script-smtcomp2015-...Tim King
2015-06-13Disable sort inference for experimental runscriptKshitij Bansal
2015-06-13sync assertions run script with defaultKshitij Bansal
2015-06-12Changed options for AUFLIAClark Barrett
2015-06-12Updates for array logics.Clark Barrett
2015-06-12default-assertions run script for experimental submissionKshitij Bansal
2015-06-12Updated run script for QF_ABVClark Barrett
2015-06-11make experimental branch scripts structure consistent with master branchKshitij Bansal
2015-06-11use the experimental binary for pcvc4Kshitij Bansal
2015-06-11remove runscripts from experimental meant for stable submission in experiment...Kshitij Bansal
2015-06-11reintroduce andy's changes to experimental runscript in master to experimentalKshitij Bansal
2015-06-11updated QF_BV strategy for experimental smtcomp2015 scriptlianah
2015-06-09bump thread stack size to 1 GBKshitij Bansal
2015-06-09Bug fix instantiations for fmf-bound-int. Disable nested pre-skolemization f...ajreynol
2015-06-05pcvc4 with assertionsKshitij Bansal
2015-06-05update run script for assertions/scrambled runKshitij Bansal
2015-06-05assertions runscript (for testing) derived from current stable (default) scriptKshitij Bansal
2015-06-05for experimental, use incremental instead of teardown for all logics for test...Kshitij Bansal
2015-06-05move decision to use teardown or not to logicsKshitij Bansal
2015-06-04Fix for last commit.ajreynol
2015-06-04rpl -- "--cbqi" "--cbqi --no-cbqi-sat" run-script-smtcomp2015{,-application}Kshitij Bansal
2015-06-04sync exerimental scripts with regular onesKshitij Bansal
2015-06-04Minor changes to smt comp script for quantified arith. Add option --cbqi-sat...ajreynol
2015-06-03experimental run scriptsKshitij Bansal
2015-06-03runscript thread stack 256Kshitij Bansal
2015-06-02application smtcompKshitij Bansal
2015-06-02Add casc 25 tfn script. Change tff script to output instantiations. Work tow...ajreynol
2015-05-29Do not enforce dt fairness when single invocation sygus.ajreynol
2015-05-15Avoid ensureLiteral on unpreprocessed formulas in cbqi.ajreynol
2015-05-11Allow sygus with no syntactic restrictions for LIA. Add regressions.ajreynol
2015-05-10Minor improvements to infrastructure. Minor changes to default options. Add t...ajreynol
2015-05-08Add casc25 fnt script.ajreynol
2015-05-02Minor fix for corner cases of fmf-fun, fix for --dt-rewrite-error-sel. Add co...ajreynol
2015-04-16Fix option --quant-fun-wd. Add mk_starexec script to contrib.ajreynol
2015-02-16webget: curl follow redirectKshitij Bansal
2015-02-14attempt to fix win32 buildsKshitij Bansal
2015-02-12try curl before wget, workaround for issue with FTP PASVKshitij Bansal
2014-11-17New, uniform checkTime statistic for all theories (as discussed in meeting).Morgan Deters
2014-11-05Merge branch '1.4.x'Morgan Deters
2014-11-05Fix get-bug-attachments script.Morgan Deters
2014-10-06Copyright-updating script now retains non-NYU/UIowa copyrights in files if pr...Morgan Deters
2014-09-26Merge branch '1.4.x'Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback