2019-05-21 |
Martin | Update to symfpu 0.0.7, fixes RTI 3/5 issue (#3007) |
tree | commitdiff |
2019-05-20 |
Andres Noetzli | [SMT-COMP 2019] Update run scripts to match tracks... |
tree | commitdiff |
2019-05-18 |
Andrew Reynolds | Update QF_NIA strategy (#3012) |
tree | commitdiff |
2019-05-18 |
Andres Noetzli | [SMT-COMP2019] Better strings configuration (#3010) |
tree | commitdiff |
2019-05-18 |
Andres Noetzli | Support for incremental bit-blasting with CaDiCaL ... |
tree | commitdiff |
2019-04-15 |
Andres Noetzli | Initial version of run scripts for SMT-COMP 2019 (... |
tree | commitdiff |
2019-04-03 |
Aina Niemetz | get-authors: Add GitHub user ayveejay -> Andrew V.... |
tree | commitdiff |
2019-03-26 |
Aina Niemetz | update-copyright: Update to 2019. |
tree | commitdiff |
2019-03-26 |
Mathias Preiner | get-authors: Exclude empty lines. |
tree | commitdiff |
2019-03-26 |
Mathias Preiner | get-authors: Exclude common source code patterns. ... |
tree | commitdiff |
2019-03-25 |
Aina Niemetz | update-copyright: Fix matching of excluded paths. |
tree | commitdiff |
2019-03-25 |
Aina Niemetz | get-authors: Readd option -C to git blame command. |
tree | commitdiff |
2018-12-17 |
Alex Ozdemir | Configured for linking against drat2er (#2754) |
tree | commitdiff |
2018-11-23 |
Tom Smeding | Use https for antlr3.org downloads (#2701) |
tree | commitdiff |
2018-10-22 |
Andres Noetzli | Only build CryptoMiniSat library, no binary (#2657) |
tree | commitdiff |
2018-10-19 |
Mathias Preiner | Remove autotools build system. (#2639) |
tree | commitdiff |
2018-09-22 |
Mathias Preiner | cmake: Add support for cross-compiling for Windows. |
tree | commitdiff |
2018-09-22 |
Mathias Preiner | cmake: Various CMakeLists.txt fixes/cleanup. |
tree | commitdiff |
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 |
next |