summaryrefslogtreecommitdiff
path: root/contrib
AgeCommit message (Expand)Author
2016-06-17Add syguscomp2016 scripts.ajreynol
2016-05-28Updated incremental run scriptClark Barrett
2016-05-26Updated incremental scriptClark Barrett
2016-05-26Fixed bug in run scriptClark Barrett
2016-05-26Added cryptominisat flag to QF_NIAKshitij Bansal
2016-05-26Merge branch 'master' of https://github.com/CVC4/CVC4Clark Barrett
2016-05-26Small change in run scriptClark Barrett
2016-05-26Disabled m4ri in cryptominisat cmake commandlianah
2016-05-26Use term indexing in TheoryUF::computeCareGraph. Do not reject model value in...ajreynol
2016-05-26Updated script, fixed bug in QF_NIA conversion.Clark Barrett
2016-05-24Forgot to add second patch file.Liana Hadarean
2016-05-24Merged cryptominisat from experimental branch.Liana Hadarean
2016-05-15Work on --sygus-direct-eval. Minor optimizations, updates to casc scripts. En...ajreynol
2016-05-12Add casc scripts. Improvements to qcf related to nested quantifiers and varia...ajreynol
2016-05-10Add smt comp 2016 scripts. Fix for --relevant-triggers. Add minor optimizatio...ajreynol
2016-04-27Adding an example lsan supression file.Tim King
2016-04-03Updating the copyright headers and scripts.Tim King
2016-01-28Adding listeners to Options.Tim King
2016-01-05Add SmtGlobals ClassTim King
2015-12-30Shuffling around public vs. private headersTim King
2015-12-14Refactoring Options Handler & Library Cycle BreakingTim King
2015-12-01Adds attempt to download config.guess to get-antlr-3.4 script.Chris Conway
2015-12-01Reverts addition of autogen.sh to mac-build script.Chris Conway
2015-11-26Adds required steps to contrib/mac-build.Chris Conway
2015-11-12Updating the contrib/new-theory script and travis to use the new Makefile.the...Tim King
2015-11-06Changing file permissions to add or remove executable tag as appropriate.Tim King
2015-08-27Do ITE term bookkeeping when solving Sygus inputs. Add missing script from S...ajreynol
2015-07-05Add options --partial-triggers, --elim-taut-quant, improve robustness of --pu...ajreynol
2015-07-02On-demand upper bound lemmas for deltas in quantified LRA (for casc). Force n...ajreynol
2015-07-01Add options --qcf-all-conflict, --ite-dtt-split-quant, refactor --ite-lift-qu...ajreynol
2015-06-14Changing options for QF_AUFNIA to avoid bugClark Barrett
2015-06-13Changing the run script for master for the application track.Tim King
2015-06-13Disable sort inference for SMT COMPajreynol
2015-06-12sync options of default-assertions run script with defaultKshitij Bansal
2015-06-11remove runscripts from master meant for experimental submissionKshitij Bansal
2015-06-11Update experimental scripts. Support top-level non-terminals in sygus gramma...ajreynol
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback