Age | Commit message (Expand) | Author |
2015-12-01 | Adds attempt to download config.guess to get-antlr-3.4 script. | Chris Conway |
2015-12-01 | Reverts addition of autogen.sh to mac-build script. | Chris Conway |
2015-11-26 | Adds required steps to contrib/mac-build. | Chris Conway |
2015-11-12 | Updating the contrib/new-theory script and travis to use the new Makefile.the... | Tim King |
2015-11-06 | Changing file permissions to add or remove executable tag as appropriate. | Tim King |
2015-08-27 | Do ITE term bookkeeping when solving Sygus inputs. Add missing script from S... | ajreynol |
2015-07-05 | Add options --partial-triggers, --elim-taut-quant, improve robustness of --pu... | ajreynol |
2015-07-02 | On-demand upper bound lemmas for deltas in quantified LRA (for casc). Force n... | ajreynol |
2015-07-01 | Add options --qcf-all-conflict, --ite-dtt-split-quant, refactor --ite-lift-qu... | ajreynol |
2015-06-14 | Changing options for QF_AUFNIA to avoid bug | Clark Barrett |
2015-06-13 | Changing the run script for master for the application track. | Tim King |
2015-06-13 | Disable sort inference for SMT COMP | ajreynol |
2015-06-12 | sync options of default-assertions run script with default | Kshitij Bansal |
2015-06-11 | remove runscripts from master meant for experimental submission | Kshitij Bansal |
2015-06-11 | Update experimental scripts. Support top-level non-terminals in sygus gramma... | ajreynol |
2015-06-09 | bump thread stack size to 1 GB | Kshitij Bansal |
2015-06-09 | Bug fix instantiations for fmf-bound-int. Disable nested pre-skolemization f... | ajreynol |
2015-06-05 | pcvc4 with assertions | Kshitij Bansal |
2015-06-05 | update run script for assertions/scrambled run | Kshitij Bansal |
2015-06-05 | assertions runscript (for testing) derived from current stable (default) script | Kshitij Bansal |
2015-06-05 | for experimental, use incremental instead of teardown for all logics for test... | Kshitij Bansal |
2015-06-05 | move decision to use teardown or not to logics | Kshitij Bansal |
2015-06-04 | Fix for last commit. | ajreynol |
2015-06-04 | rpl -- "--cbqi" "--cbqi --no-cbqi-sat" run-script-smtcomp2015{,-application} | Kshitij Bansal |
2015-06-04 | sync exerimental scripts with regular ones | Kshitij Bansal |
2015-06-04 | Minor changes to smt comp script for quantified arith. Add option --cbqi-sat... | ajreynol |
2015-06-03 | experimental run scripts | Kshitij Bansal |
2015-06-03 | runscript thread stack 256 | Kshitij Bansal |
2015-06-02 | application smtcomp | Kshitij Bansal |
2015-06-02 | Add casc 25 tfn script. Change tff script to output instantiations. Work tow... | ajreynol |
2015-05-29 | Do not enforce dt fairness when single invocation sygus. | ajreynol |
2015-05-15 | Avoid ensureLiteral on unpreprocessed formulas in cbqi. | ajreynol |
2015-05-11 | Allow sygus with no syntactic restrictions for LIA. Add regressions. | ajreynol |
2015-05-10 | Minor improvements to infrastructure. Minor changes to default options. Add t... | ajreynol |
2015-05-08 | Add casc25 fnt script. | ajreynol |
2015-05-02 | Minor fix for corner cases of fmf-fun, fix for --dt-rewrite-error-sel. Add co... | ajreynol |
2015-04-16 | Fix option --quant-fun-wd. Add mk_starexec script to contrib. | ajreynol |
2015-02-16 | webget: curl follow redirect | Kshitij Bansal |
2015-02-14 | attempt to fix win32 builds | Kshitij Bansal |
2015-02-12 | try curl before wget, workaround for issue with FTP PASV | Kshitij Bansal |
2014-11-17 | New, uniform checkTime statistic for all theories (as discussed in meeting). | Morgan Deters |
2014-11-05 | Merge branch '1.4.x' | Morgan Deters |
2014-11-05 | Fix get-bug-attachments script. | Morgan Deters |
2014-10-06 | Copyright-updating script now retains non-NYU/UIowa copyrights in files if pr... | Morgan Deters |
2014-09-26 | Merge branch '1.4.x' | Morgan Deters |
2014-09-26 | Clarify some licensing-related things. | Morgan Deters |
2014-09-03 | check() optimization | Kshitij Bansal |
2014-07-02 | Fix cut-release script for new configure rules. | Morgan Deters |
2014-07-01 | Fix path in CASC J7 scripts, and distribute them with tarball. | Morgan Deters |
2014-06-27 | Updated run script for QF_ABV | Clark Barrett |