summaryrefslogtreecommitdiff
path: root/contrib
AgeCommit message (Expand)Author
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
2014-09-26Clarify some licensing-related things.Morgan Deters
2014-09-03check() optimizationKshitij Bansal
2014-07-02Fix cut-release script for new configure rules.Morgan Deters
2014-07-01Fix path in CASC J7 scripts, and distribute them with tarball.Morgan Deters
2014-06-27Updated run script for QF_ABVClark Barrett
2014-06-25Don't allow libabc to load extensions at runtime.Morgan Deters
2014-06-23Make language explicit in casc scriptsajreynol
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback