summaryrefslogtreecommitdiff
path: root/contrib
AgeCommit message (Expand)Author
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
2017-07-06cut-release: git co -> git checkoutAina Niemetz
2017-07-06cut-release: option handling, get-antlrAina Niemetz
2017-07-05Fix for logic info, update regressions. Update casc tfa script.ajreynol
2017-06-30Minor change to trigger selection, fixes related to subtypes (in macros, cbqi...ajreynol
2017-06-21Fix unsat cores script for SMT-COMP (#179)Andres Nötzli
2017-06-21Add run script for unsat cores track at SMT-COMP (#177)Andres Nötzli
2017-06-21Merge pull request #176 from CVC4/smtcomp2017Andrew Reynolds
2017-06-21Update casc and sygus comp scripts.ajreynol
2017-06-18Better configuration for QF_NRAAndres Noetzli
2017-06-16Change language in competition script to smt2.6 (#171)Andres Nötzli
2017-06-15Make comp script more robustAndres Noetzli
2017-06-03Minor to smt comp script.ajreynol
2017-06-02Incorporate datatypes into smt comp script, add regression.ajreynol
2017-06-01Minor optimizations related to cbqi.ajreynol
2017-05-31Fix model construction for BV with cbqi. Minor change to defaults.ajreynol
2017-05-31Change to-int, div, int-div skolems from CDAttribute to stored in CDHashMap. ...ajreynol
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback