summaryrefslogtreecommitdiff
path: root/contrib
AgeCommit message (Expand)Author
2018-09-22cmake: Various CMakeLists.txt fixes/cleanup.Mathias Preiner
2018-09-22cmake: Added initial build infrastructure.Aina Niemetz
2018-09-17Follow redirects with cURL in contrib/get* scripts (#2471)Andres Noetzli
2018-09-04Remove CVC3 compatibility layer (#2418)Andres Noetzli
2018-08-15Add contrib/get-gmp script. (#2292)Mathias Preiner
2018-08-01Remove outdated references to TLS (#2245)Andres Noetzli
2018-07-25Use CryptoMiniSat 5.6.3. (#2205)Mathias Preiner
2018-06-26sygusComp2018: add scripts. (#2103)Andrew Reynolds
2018-06-26Add casc j9 tfn script (#2100)Andrew Reynolds
2018-06-25Do not use git blame -C in get-authors (too many false positives).Aina Niemetz
2018-06-25Fix update-copyright script for files without a header.Aina Niemetz
2018-06-25Added Makai and Yoni to get-authors script.Aina Niemetz
2018-06-08Disable BV-abstraction in the competition script. (#2061)Mathias Preiner
2018-06-04[SMT-COMP] Add new logics to run-scripts (#2022)Andres Noetzli
2018-05-30[SMT-COMP] Print non-(un)sat output to stderr (#2019)Andres Noetzli
2018-05-30Use CaDiCaL for eager bit-blasting in QF_NIA and QF_UFBV. (#2018)Mathias Preiner
2018-05-30Draft run script for strings smt comp 2018. (#2016)Andrew Reynolds
2018-05-27Fix no-cbqi-innermost option name in run script (#1994)Andres Noetzli
2018-05-26Update SymFPU. (#1992)Mathias Preiner
2018-05-25Add QF_BV configuration for SMTCOMP'18. (#1981)Mathias Preiner
2018-05-14Add contrib/get-symfpu for downloading symfpu. (#1905)Mathias Preiner
2018-05-03Option to interleave tangent plane inferences (#1833)Andrew Reynolds
2018-04-23Draft smt comp 2018 for quantifiers and non-linear (#1808)Andrew Reynolds
2018-04-20Draft of casc j9 scripts (#1800)Andrew Reynolds
2018-04-08Warn about trailing spaces in src/Makefile.am (#1759)Andres Noetzli
2018-04-07Fixed get-authors.Aina Niemetz
2018-04-02Remove references to nyu (#1721)Clark Barrett
2018-03-21Ignore whitespaces and moved code for contrib/get-authors.Mathias Preiner
2018-03-21Refactor mkoptions (#1631)Mathias Preiner
2018-03-20Add support for CaDiCaL as eager BV SAT solver. (#1675)Mathias Preiner
2018-03-13Use Cryptominisat version 5.0.2 (instead of 4.2.0). (#1664)Mathias Preiner
2018-03-08Cleanup Cryptominisat SAT wrapper. (#1652)Mathias Preiner
2018-03-08Fixed message in get-antlr script.Aina Niemetz
2018-03-05Fix boost url in contrib/get-win-dependencies.Mathias Preiner
2018-02-13Skip header for determining top contributors list. (#1603)Aina Niemetz
2018-02-08Check whether Cryptominisat4/ABC was installed via get-* script. (#1565)Mathias Preiner
2018-02-06Use separate shell script for common get-* script parts. (#1567)Mathias Preiner
2018-02-06Updated year in update-copyright script.Aina Niemetz
2018-01-08Fix broken GMP URL in get-win-dependencies script (#1493)Andres Noetzli
2017-11-28Add Cryptominisat script and patches to source file distribution.Mathias Preiner
2017-11-01 Add option to build shared Windows dependencies (#1282)Andres Noetzli
2017-10-03Add initial version of the SMTCOMP2018 run scripts (#1185)Andres Noetzli
2017-08-25Move LFSC checker out of the CVC repository. (#222)Aina Niemetz
2017-07-11Remove trailing slashes from directories if specified via command line.Mathias Preiner
2017-07-10Disable tarball signing for now.Mathias Preiner
2017-07-07Update copyright headers.Mathias Preiner
2017-07-07Update files that are part of the CVC4 license, exclude minisat files.Mathias Preiner
2017-07-07Use consistent author names for the copyright headers.Mathias Preiner
2017-07-07Escape left brace in regex in update-copyright script.Mathias Preiner
2017-07-06Fix passing antlr arguments to configure in contrib/cut-releaseMathias Preiner
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback