2018-05-14 |
Mathias Preiner | Add contrib/get-symfpu for downloading symfpu. (#1905) |
tree | commitdiff |
2018-05-03 |
Andrew Reynolds | Option to interleave tangent plane inferences (#1833) |
tree | commitdiff |
2018-04-23 |
Andrew Reynolds | Draft smt comp 2018 for quantifiers and non-linear... |
tree | commitdiff |
2018-04-20 |
Andrew Reynolds | Draft of casc j9 scripts (#1800) |
tree | commitdiff |
2018-04-08 |
Andres Noetzli | Warn about trailing spaces in src/Makefile.am (#1759) |
tree | commitdiff |
2018-04-07 |
Aina Niemetz | Fixed get-authors. |
tree | commitdiff |
2018-04-02 |
Clark Barrett | Remove references to nyu (#1721) |
tree | commitdiff |
2018-03-22 |
Mathias Preiner | Ignore whitespaces and moved code for contrib/get-authors. |
tree | commitdiff |
2018-03-21 |
Mathias Preiner | Refactor mkoptions (#1631) |
tree | commitdiff |
2018-03-20 |
Mathias Preiner | Add support for CaDiCaL as eager BV SAT solver. (#1675) |
tree | commitdiff |
2018-03-13 |
Mathias Preiner | Use Cryptominisat version 5.0.2 (instead of 4.2.0)... |
tree | commitdiff |
2018-03-09 |
Mathias Preiner | Cleanup Cryptominisat SAT wrapper. (#1652) |
tree | commitdiff |
2018-03-09 |
Aina Niemetz | Fixed message in get-antlr script. |
tree | commitdiff |
2018-03-05 |
Mathias Preiner | Fix boost url in contrib/get-win-dependencies. |
tree | commitdiff |
2018-02-13 |
Aina Niemetz | Skip header for determining top contributors list.... |
tree | commitdiff |
2018-02-08 |
Mathias Preiner | Check whether Cryptominisat4/ABC was installed via... |
tree | commitdiff |
2018-02-07 |
Mathias Preiner | Use separate shell script for common get-* script parts... |
tree | commitdiff |
2018-02-06 |
Aina Niemetz | Updated year in update-copyright script. |
tree | commitdiff |
2018-01-08 |
Andres Noetzli | Fix broken GMP URL in get-win-dependencies script ... |
tree | commitdiff |
2017-11-29 |
Mathias Preiner | Add Cryptominisat script and patches to source file... |
tree | commitdiff |
2017-11-01 |
Andres Noetzli | Add option to build shared Windows dependencies (... |
tree | commitdiff |
2017-10-03 |
Andres Noetzli | Add initial version of the SMTCOMP2018 run scripts... |
tree | commitdiff |
2017-08-25 |
Aina Niemetz | Move LFSC checker out of the CVC repository. (#222) |
tree | commitdiff |
2017-07-11 |
Mathias Preiner | Remove trailing slashes from directories if specified... |
tree | commitdiff |
2017-07-10 |
Mathias Preiner | Disable tarball signing for now. |
tree | commitdiff |
2017-07-07 |
Mathias Preiner | Update copyright headers. |
tree | commitdiff |
2017-07-07 |
Mathias Preiner | Update files that are part of the CVC4 license, exclude... |
tree | commitdiff |
2017-07-07 |
Mathias Preiner | Use consistent author names for the copyright headers. |
tree | commitdiff |
2017-07-07 |
Mathias Preiner | Escape left brace in regex in update-copyright script. |
tree | commitdiff |
2017-07-06 |
Mathias Preiner | Fix passing antlr arguments to configure in contrib... |
tree | commitdiff |
2017-07-06 |
Aina Niemetz | cut-release: git co -> git checkout |
tree | commitdiff |
2017-07-06 |
Aina Niemetz | cut-release: option handling, get-antlr |
tree | commitdiff |
2017-07-05 |
ajreynol | Fix for logic info, update regressions. Update casc... |
tree | commitdiff |
2017-06-30 |
ajreynol | Minor change to trigger selection, fixes related to... |
tree | commitdiff |
2017-06-22 |
Andres Nötzli | Fix unsat cores script for SMT-COMP (#179) |
tree | commitdiff |
2017-06-21 |
Andrew Reynolds | Merge pull request #175 from CVC4/fix_uninit |
tree | commitdiff |
2017-06-21 |
Andres Nötzli | Add run script for unsat cores track at SMT-COMP (... |
tree | commitdiff |
2017-06-21 |
Andrew Reynolds | Merge pull request #176 from CVC4/smtcomp2017 |
tree | commitdiff |
2017-06-21 |
ajreynol | Update casc and sygus comp scripts. |
tree | commitdiff |
2017-06-19 |
Andres Noetzli | Better configuration for QF_NRA |
tree | commitdiff |
2017-06-17 |
Andres Nötzli | Change language in competition script to smt2.6 (#171) |
tree | commitdiff |
2017-06-16 |
Clark Barrett | Merge pull request #170 from CVC4/fix_2_6_parser3 |
tree | commitdiff |
2017-06-15 |
Andres Noetzli | Make comp script more robust |
tree | commitdiff |
2017-06-03 |
ajreynol | Minor to smt comp script. |
tree | commitdiff |
2017-06-02 |
ajreynol | Incorporate datatypes into smt comp script, add regression. |
tree | commitdiff |
2017-06-01 |
ajreynol | Minor optimizations related to cbqi. |
tree | commitdiff |
2017-05-31 |
ajreynol | Fix model construction for BV with cbqi. Minor change... |
tree | commitdiff |
2017-05-31 |
ajreynol | Change to-int, div, int-div skolems from CDAttribute... |
tree | commitdiff |
2017-05-31 |
ajreynol | Minor change to defaults, update smt comp script, minor... |
tree | commitdiff |
2017-05-28 |
Clark Barrett | Merge pull request #164 from CVC4/fix_comp |
tree | commitdiff |
2017-05-28 |
Andres Noetzli | [Competition] Fix ABC, fix CryptoMiniSat req |
tree | commitdiff |
2017-05-22 |
ajreynol | Initial draft of 2017 competition scripts. |
tree | commitdiff |
2017-03-15 |
Clark Barrett | Merge pull request #134 from 4tXJ7f/fix_host |
tree | commitdiff |
2017-03-15 |
Andres Notzli | Fix win-build script to use MinGW-w64 by default |
tree | commitdiff |
2017-03-14 |
Clark Barrett | Merge pull request #132 from 4tXJ7f/fix_mingw64 |
tree | commitdiff |
2017-03-08 |
Andres Notzli | Fix MinGW-w64 build |
tree | commitdiff |
2017-01-04 |
Tim King | Setting the executable bit for the newer run scripts... |
tree | commitdiff |
2016-07-05 |
PaulMeng | Merge branch 'master' of https://github.com/CVC4/CVC4.git |
tree | commitdiff |
2016-06-20 |
Guy | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
2016-06-17 |
ajreynol | Add syguscomp2016 scripts. |
tree | commitdiff |
2016-05-28 |
Clark Barrett | Updated incremental run script |
tree | commitdiff |
2016-05-27 |
Clark Barrett | Updated incremental script |
tree | commitdiff |
2016-05-27 |
Clark Barrett | Fixed bug in run script |
tree | commitdiff |
2016-05-26 |
Kshitij Bansal | Added cryptominisat flag to QF_NIA |
tree | commitdiff |
2016-05-26 |
Clark Barrett | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
2016-05-26 |
Clark Barrett | Small change in run script |
tree | commitdiff |
2016-05-26 |
lianah | Disabled m4ri in cryptominisat cmake command |
tree | commitdiff |
2016-05-26 |
ajreynol | Use term indexing in TheoryUF::computeCareGraph. Do... |
tree | commitdiff |
2016-05-26 |
Clark Barrett | Updated script, fixed bug in QF_NIA conversion. |
tree | commitdiff |
2016-05-25 |
Liana Hadarean | Forgot to add second patch file. |
tree | commitdiff |
2016-05-25 |
Liana Hadarean | Merged cryptominisat from experimental branch. |
tree | commitdiff |
2016-05-15 |
ajreynol | Work on --sygus-direct-eval. Minor optimizations, updat... |
tree | commitdiff |
2016-05-12 |
ajreynol | Add casc scripts. Improvements to qcf related to nested... |
tree | commitdiff |
2016-05-10 |
ajreynol | Add smt comp 2016 scripts. Fix for --relevant-triggers... |
tree | commitdiff |
2016-04-27 |
Tim King | Adding an example lsan supression file. |
tree | commitdiff |
2016-04-20 |
PaulMeng | update from the master |
tree | commitdiff |
2016-04-09 |
Guy | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
2016-04-04 |
Tim King | Updating the copyright headers and scripts. |
tree | commitdiff |
2016-01-28 |
Tim King | Adding listeners to Options. |
tree | commitdiff |
2016-01-06 |
Tim King | Add SmtGlobals Class |
tree | commitdiff |
2015-12-30 |
Tim King | Shuffling around public vs. private headers |
tree | commitdiff |
2015-12-15 |
Tim King | Refactoring Options Handler & Library Cycle Breaking |
tree | commitdiff |
2015-12-02 |
Tim King | Merge pull request #79 from CVC4/fix-mac-build-script |
tree | commitdiff |
2015-12-01 |
Chris Conway | Adds attempt to download config.guess to get-antlr... |
tree | commitdiff |
2015-12-01 |
Chris Conway | Reverts addition of autogen.sh to mac-build script. |
tree | commitdiff |
2015-11-26 |
Chris Conway | Adds required steps to contrib/mac-build. |
tree | commitdiff |
2015-11-12 |
Tim King | Updating the contrib/new-theory script and travis to... |
tree | commitdiff |
2015-11-07 |
Tim King | Changing file permissions to add or remove executable... |
tree | commitdiff |
2015-09-02 |
Kshitij Bansal | Merge remote-tracking branch 'origin/master' |
tree | commitdiff |
2015-08-27 |
ajreynol | Do ITE term bookkeeping when solving Sygus inputs.... |
tree | commitdiff |
2015-07-28 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
2015-07-05 |
ajreynol | Add options --partial-triggers, --elim-taut-quant,... |
tree | commitdiff |
2015-07-02 |
ajreynol | On-demand upper bound lemmas for deltas in quantified... |
tree | commitdiff |
2015-07-01 |
ajreynol | Add options --qcf-all-conflict, --ite-dtt-split-quant... |
tree | commitdiff |
2015-06-15 |
Clark Barrett | Changing options for QF_AUFNIA to avoid bug |
tree | commitdiff |
2015-06-13 |
Tim King | Changing the run script for master for the application... |
tree | commitdiff |
2015-06-13 |
ajreynol | Disable sort inference for SMT COMP |
tree | commitdiff |
2015-06-12 |
Kshitij Bansal | sync options of default-assertions run script with... |
tree | commitdiff |
2015-06-11 |
Kshitij Bansal | remove runscripts from master meant for experimental... |
tree | commitdiff |
2015-06-11 |
ajreynol | Update experimental scripts. Support top-level non... |
tree | commitdiff |
next |