2018-09-22 |
Aina Niemetz | cmake: Added initial build infrastructure. |
tree | commitdiff |
2018-09-17 |
Andres Noetzli | Follow redirects with cURL in contrib/get* scripts... |
tree | commitdiff |
2018-09-04 |
Andres Noetzli | Remove CVC3 compatibility layer (#2418) |
tree | commitdiff |
2018-08-15 |
Mathias Preiner | Add contrib/get-gmp script. (#2292) |
tree | commitdiff |
2018-08-02 |
Andres Noetzli | Remove outdated references to TLS (#2245) |
tree | commitdiff |
2018-07-25 |
Mathias Preiner | Use CryptoMiniSat 5.6.3. (#2205) |
tree | commitdiff |
2018-06-26 |
Andrew Reynolds | sygusComp2018: add scripts. (#2103) |
tree | commitdiff |
2018-06-26 |
Andrew Reynolds | Add casc j9 tfn script (#2100) |
tree | commitdiff |
2018-06-25 |
Aina Niemetz | Do not use git blame -C in get-authors (too many false... |
tree | commitdiff |
2018-06-25 |
Aina Niemetz | Fix update-copyright script for files without a header. |
tree | commitdiff |
2018-06-25 |
Aina Niemetz | Added Makai and Yoni to get-authors script. |
tree | commitdiff |
2018-06-08 |
Mathias Preiner | Disable BV-abstraction in the competition script. ... |
tree | commitdiff |
2018-06-04 |
Andres Noetzli | [SMT-COMP] Add new logics to run-scripts (#2022) |
tree | commitdiff |
2018-05-30 |
Andres Noetzli | [SMT-COMP] Print non-(un)sat output to stderr (#2019) |
tree | commitdiff |
2018-05-30 |
Mathias Preiner | Use CaDiCaL for eager bit-blasting in QF_NIA and QF_UFB... |
tree | commitdiff |
2018-05-30 |
Andrew Reynolds | Draft run script for strings smt comp 2018. (#2016) |
tree | commitdiff |
2018-05-27 |
Andres Noetzli | Fix no-cbqi-innermost option name in run script (#1994) |
tree | commitdiff |
2018-05-26 |
Mathias Preiner | Update SymFPU. (#1992) |
tree | commitdiff |
2018-05-25 |
Mathias Preiner | Add QF_BV configuration for SMTCOMP'18. (#1981) |
tree | commitdiff |
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 |
next |