Age | Commit message (Expand) | Author |
2017-06-15 | Make comp script more robust | Andres Noetzli |
2017-06-03 | Minor to smt comp script. | ajreynol |
2017-06-02 | Incorporate datatypes into smt comp script, add regression. | ajreynol |
2017-06-01 | Minor optimizations related to cbqi. | ajreynol |
2017-05-31 | Fix model construction for BV with cbqi. Minor change to defaults. | ajreynol |
2017-05-31 | Change to-int, div, int-div skolems from CDAttribute to stored in CDHashMap. ... | ajreynol |
2017-05-31 | Minor change to defaults, update smt comp script, minor changes to options in... | ajreynol |
2017-05-27 | [Competition] Fix ABC, fix CryptoMiniSat req | Andres Noetzli |
2017-05-22 | Initial draft of 2017 competition scripts. | ajreynol |
2017-03-15 | Fix win-build script to use MinGW-w64 by default | Andres Notzli |
2017-03-08 | Fix MinGW-w64 build | Andres Notzli |
2017-01-04 | Setting the executable bit for the newer run scripts in contrib. | Tim King |
2016-06-17 | Add syguscomp2016 scripts. | ajreynol |
2016-05-28 | Updated incremental run script | Clark Barrett |
2016-05-26 | Updated incremental script | Clark Barrett |
2016-05-26 | Fixed bug in run script | Clark Barrett |
2016-05-26 | Added cryptominisat flag to QF_NIA | Kshitij Bansal |
2016-05-26 | Merge branch 'master' of https://github.com/CVC4/CVC4 | Clark Barrett |
2016-05-26 | Small change in run script | Clark Barrett |
2016-05-26 | Disabled m4ri in cryptominisat cmake command | lianah |
2016-05-26 | Use term indexing in TheoryUF::computeCareGraph. Do not reject model value in... | ajreynol |
2016-05-26 | Updated script, fixed bug in QF_NIA conversion. | Clark Barrett |
2016-05-24 | Forgot to add second patch file. | Liana Hadarean |
2016-05-24 | Merged cryptominisat from experimental branch. | Liana Hadarean |
2016-05-15 | Work on --sygus-direct-eval. Minor optimizations, updates to casc scripts. En... | ajreynol |
2016-05-12 | Add casc scripts. Improvements to qcf related to nested quantifiers and varia... | ajreynol |
2016-05-10 | Add smt comp 2016 scripts. Fix for --relevant-triggers. Add minor optimizatio... | ajreynol |
2016-04-27 | Adding an example lsan supression file. | Tim King |
2016-04-03 | Updating the copyright headers and scripts. | Tim King |
2016-01-28 | Adding listeners to Options. | Tim King |
2016-01-05 | Add SmtGlobals Class | Tim King |
2015-12-30 | Shuffling around public vs. private headers | Tim King |
2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
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 |