summaryrefslogtreecommitdiff
path: root/contrib
AgeCommit message (Collapse)Author
2015-06-04sync exerimental scripts with regular onesKshitij Bansal
2015-06-04Minor changes to smt comp script for quantified arith. Add option ↵ajreynol
--cbqi-sat whether to disable sat for quantified arith.
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 ↵ajreynol
towards parsing non-flattened sygus grammars.
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 ↵ajreynol
tff script. Minor additions to sygus.
2015-05-08Add casc25 fnt script.ajreynol
2015-05-02Minor fix for corner cases of fmf-fun, fix for --dt-rewrite-error-sel. Add ↵ajreynol
competition scripts (in progress).
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 ↵Morgan Deters
present.
2014-09-26Merge branch '1.4.x'Morgan Deters
2014-09-26Clarify some licensing-related things.Morgan Deters
2014-09-03check() optimizationKshitij Bansal
Details of testing here: http://church.cims.nyu.edu/wiki/User:Kshitij/theorycheckoptimization
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 ↵Morgan Deters
StarExec infrastructure for testing.
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 ↵Morgan Deters
strategy.
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 ↵Morgan Deters
--tear-down-incremental. Not yet tested.
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
Add abc to build id and fix static building. Add abc to --show-config output and Configuration class API. Add ability to select abc source path. Fix arch_flags for abc.
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback