summaryrefslogtreecommitdiff
path: root/contrib
AgeCommit message (Expand)Author
2021-05-12Preliminary draft of changes for SMT comp 2021 (#6522)Andrew Reynolds
2021-04-21Goodbye CVC4, hello cvc5! (#6371)Mathias Preiner
2021-04-12Refactor and update copyright headers. (#6316)Aina Niemetz
2021-03-31Refactor GMP and Poly dependencies (#6245)Gereon Kremer
2021-03-31Refactor dependencies for external SAT solvers (#6215)Gereon Kremer
2021-03-31Refactor SymFPU dependency (#6218)Gereon Kremer
2021-03-27Refactor ANTLR3 dependency (#6202)Gereon Kremer
2021-03-24Refactor our integration of LFSC (#6201)Gereon Kremer
2021-03-15Disable sqlite (#6145)Gereon Kremer
2021-03-10Improved handing of 'lib64' vs. 'lib' for glpk-cut-log and antlr-3.4 (#6091)Andrew V. Jones
2021-03-09Update copyright headers to 2021. (#6081)Aina Niemetz
2021-03-08contrib: Do not use HOST env variable for cross-compilation host target. (#6078)Mathias Preiner
2021-03-02Add aarch64 (ARM64) cross-compile support. (#6033)Mathias Preiner
2020-12-04update-copyright: Preserve file permissions. (#5597)Mathias Preiner
2020-11-16Improve accuracy of resource limitation (#4763)Gereon Kremer
2020-11-10Pin LFSC version (#5412)Alex Ozdemir
2020-11-02contrib: Remove dependency directories. (#5367)Aina Niemetz
2020-10-06Improve OSX support by adding os detection and adapting calls for OSX. (#5023)Malte Mues
2020-09-22Update copyright header script to support CMake and Python files (#5067)Mathias Preiner
2020-09-04Change the unavailable ABC mercury repository for the ABC solver code base on...Malte Mues
2020-09-02Migrating from using the 'glpk-cut-log' repo to using an official GPLK releas...Andrew V. Jones
2020-09-01CMS: Update to version 5.8.0. (#4991)Aina Niemetz
2020-08-21Remove BV equality slicer (#4928)Andrew Reynolds
2020-07-17Integration of libpoly (#4679)Gereon Kremer
2020-07-10Update competition scripts (#4715)Andrew Reynolds
2020-06-30Fix GMP compilation for win64. (#4675)Mathias Preiner
2020-06-30contrib: Update to GMP 6.2.0, compile static and shared libraries. (#4671)Mathias Preiner
2020-06-22get-authors: Add alias for nafur. (#4646)Aina Niemetz
2020-06-19Add casc j10 scripts (#4621)Andrew Reynolds
2020-06-16Simplify sygus conversion script. (#4627)Abdalrhman Mohamed
2020-06-16Update copyright headers.Aina Niemetz
2020-06-03Fix normalization of author names in contrib/get-authors. (#4553)Mathias Preiner
2020-05-25Update to CaDiCaL version 1.2.1. (#4530)Mathias Preiner
2020-05-23[SMT-COMP] Redirect non-answers to /dev/null (#4528)Andres Noetzli
2020-05-22[SMT-COMP] Use tear-down-incremental for arithmetic (#4518)Andres Noetzli
2020-05-22Add support for SAT solver Kissat. (#4514)Aina Niemetz
2020-05-19Add a simple script to convert sygus v1 files to v2. (#4409)Abdalrhman Mohamed
2020-05-06Update run scripts for SMT-COMP 2020 (#4454)Andres Noetzli
2020-05-01SMT-COMP 2020: Enable --fp-exp for new FP logics. (#4432)Aina Niemetz
2020-04-29SMT-COMP 2020: Fix scripts to use --no-type-checking instead of --no-checking...Aina Niemetz
2020-04-28Updates to SMT COMP script for 20 minute timeout (#4406)Andrew Reynolds
2020-04-28contrib/get-gmp: Rename and update install instructions with a warning. (#4407)Aina Niemetz
2020-04-28Support the SMT-LIB Unicode string standard by default (#4378)Andrew Reynolds
2020-04-22Allow eager bitblasting with solve bv as int in QF_NIA (#4373)Andrew Reynolds
2020-04-20Make option names related to CEGQI consistent (#4316)Andrew Reynolds
2020-04-16antlr: Use relative path in ANTLR script. (#4324)Mathias Preiner
2020-04-15Change option names --default-dag-thresh and --default-expr-depth (#4309)Andrew Reynolds
2020-04-06Remove links field in all toml files (#4201)Andrew Reynolds
2020-03-31Fix install for ANTLR contrib script and CI dependency caching. (#4196)Mathias Preiner
2020-03-24Int2BV fail on demand (#4079)yoni206
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback