summaryrefslogtreecommitdiff
path: root/contrib
AgeCommit message (Expand)Author
2018-06-26Merge branch 'master' of https://github.com/CVC4/CVC4 into sygusComp2018-2ajreynol
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-18Constant repair abort option, update script.ajreynol
2018-06-18Update scripts.ajreynol
2018-06-14Merge branch 'master' of https://github.com/CVC4/CVC4 into sygusComp2018-2ajreynol
2018-06-08Disable BV-abstraction in the competition script. (#2061)Mathias Preiner
2018-06-06Update CLIA script.ajreynol
2018-06-06Limit policy for reconstruction, remove all-abort cegqi-si.ajreynol
2018-06-05Merge branch 'master' of https://github.com/CVC4/CVC4 into sygusComp2018-2ajreynol
2018-06-04[SMT-COMP] Add new logics to run-scripts (#2022)Andres Noetzli
2018-06-01Updates to scriptsajreynol
2018-05-31Update script, fix any constant printing.ajreynol
2018-05-31Deterministic vs non-deterministic PBE strategies.ajreynol
2018-05-31Update generalajreynol
2018-05-31Draft scripts.ajreynol
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback