projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
fix incorrect 64-bit detection -- powerpc64le doesn't end in 64 but is 64-bit (#8955)
[cvc5.git] / contrib /
2022-07-09 Andrew ReynoldsAdd scripts for casc j11 (#8941) tree | commitdiff
2022-07-06 Andres NoetzliUpdate SMT-COMP scripts (#8930) tree | commitdiff
2022-06-30 Andres Noetzli[SMT-COMP] Update use of `--decision` option (#8922) tree | commitdiff
2022-06-06 Andrew ReynoldsAdd MBQI to SMT comp script (#8858) tree | commitdiff
2022-05-03 Andres NoetzliUpdate LFSC version (#8713) tree | commitdiff
2022-04-14 Andrew ReynoldsUpdate LFSC version (#8614) tree | commitdiff
2022-04-05 Mathias PreinerUpdate copyright headers for release 1.0 (#8539) tree | commitdiff
2022-04-01 Mathias Preinermake-release: Clarify instructions for pushing commits... tree | commitdiff
2022-04-01 Mathias Preinermake-release: Change instructions for pushing tag. tree | commitdiff
2022-03-30 Mathias PreinerRename master branch to main. (#8452) tree | commitdiff
2022-03-23 Andrew ReynoldsClean options (#8309) tree | commitdiff
2022-03-22 Gereon KremerMake uncovered-api-functions.py exit with 1 if somethin... tree | commitdiff
2022-03-08 Gereon KremerScript to list not covered API functions (#8254) tree | commitdiff
2022-03-03 Gereon KremerBuild python wheels in our CI (#8087) tree | commitdiff
2022-02-28 Gereon KremerAdd scripts to build python wheels (#8132) tree | commitdiff
2022-01-14 Andrew ReynoldsClean enumerative instantiation options (#7947) tree | commitdiff
2021-12-20 Haniel Barbosa[proofs] Fix helper LFSC script (#7845) tree | commitdiff
2021-12-17 Andrew ReynoldsSimplify contrib/get-lfsc-checker and use cvc5 repo... tree | commitdiff
2021-11-01 Mathias Preinerbv: Remove layered solver. (#7455) tree | commitdiff
2021-10-18 Andres NoetzliUpdate SMT-COMP script (#7389) tree | commitdiff
2021-10-07 Gereon KremerAdd new versioning scheme (#7253) tree | commitdiff
2021-09-29 Mathias Preinercontrib: Fix check for get-script-header.sh. (#7259) tree | commitdiff
2021-09-11 Andrew ReynoldsAdd casc 28 scripts (#7070) tree | commitdiff
2021-06-16 Andres NoetzliArchive SMT-COMP 2021 run scripts (#6748) tree | commitdiff
2021-06-14 Andres NoetzliFinal update to SMT-COMP 2021 options (#6739) tree | commitdiff
2021-06-10 Mathias Preinersmtcomp: Change some BV configs for SQ and INC track... tree | commitdiff
2021-06-09 Andres NoetzliUpdate options for SMT-COMP (#6704) tree | commitdiff
2021-05-31 Andres NoetzliRemove invalid options from run scripts (#6645) tree | commitdiff
2021-05-27 Andrew ReynoldsEnable new justification heuristic by default (#6613) tree | commitdiff
2021-05-12 Andrew ReynoldsPreliminary draft of changes for SMT comp 2021 (#6522) tree | commitdiff
2021-04-21 Mathias PreinerGoodbye CVC4, hello cvc5! (#6371) tree | commitdiff
2021-04-12 Aina NiemetzRefactor and update copyright headers. (#6316) tree | commitdiff
2021-03-31 Gereon KremerRefactor GMP and Poly dependencies (#6245) tree | commitdiff
2021-03-31 Gereon KremerRefactor dependencies for external SAT solvers (#6215) tree | commitdiff
2021-03-31 Gereon KremerRefactor SymFPU dependency (#6218) tree | commitdiff
2021-03-27 Gereon KremerRefactor ANTLR3 dependency (#6202) tree | commitdiff
2021-03-24 Gereon KremerRefactor our integration of LFSC (#6201) tree | commitdiff
2021-03-15 Gereon KremerDisable sqlite (#6145) tree | commitdiff
2021-03-10 Andrew V. JonesImproved handing of 'lib64' vs. 'lib' for glpk-cut... tree | commitdiff
2021-03-09 Aina NiemetzUpdate copyright headers to 2021. (#6081) tree | commitdiff
2021-03-08 Mathias Preinercontrib: Do not use HOST env variable for cross-compila... tree | commitdiff
2021-03-02 Mathias PreinerAdd aarch64 (ARM64) cross-compile support. (#6033) tree | commitdiff
2020-12-04 Mathias Preinerupdate-copyright: Preserve file permissions. (#5597) tree | commitdiff
2020-11-16 Gereon KremerImprove accuracy of resource limitation (#4763) tree | commitdiff
2020-11-10 Alex OzdemirPin LFSC version (#5412) tree | commitdiff
2020-11-02 Aina Niemetzcontrib: Remove dependency directories. (#5367) tree | commitdiff
2020-10-07 Malte MuesImprove OSX support by adding os detection and adapting... tree | commitdiff
2020-09-22 Mathias PreinerUpdate copyright header script to support CMake and... tree | commitdiff
2020-09-04 Malte MuesChange the unavailable ABC mercury repository for the... tree | commitdiff
2020-09-02 Andrew V. JonesMigrating from using the 'glpk-cut-log' repo to using... tree | commitdiff
2020-09-01 Aina NiemetzCMS: Update to version 5.8.0. (#4991) tree | commitdiff
2020-08-21 Andrew ReynoldsRemove BV equality slicer (#4928) tree | commitdiff
2020-07-17 Gereon KremerIntegration of libpoly (#4679) tree | commitdiff
2020-07-10 Andrew ReynoldsUpdate competition scripts (#4715) tree | commitdiff
2020-06-30 Mathias PreinerFix GMP compilation for win64. (#4675) tree | commitdiff
2020-06-30 Mathias Preinercontrib: Update to GMP 6.2.0, compile static and shared... tree | commitdiff
2020-06-22 Aina Niemetzget-authors: Add alias for nafur. (#4646) tree | commitdiff
2020-06-19 Andrew ReynoldsAdd casc j10 scripts (#4621) tree | commitdiff
2020-06-16 Abdalrhman MohamedSimplify sygus conversion script. (#4627) tree | commitdiff
2020-06-16 Aina NiemetzUpdate copyright headers. tree | commitdiff
2020-06-03 Mathias PreinerFix normalization of author names in contrib/get-author... tree | commitdiff
2020-05-26 Mathias PreinerUpdate to CaDiCaL version 1.2.1. (#4530) tree | commitdiff
2020-05-24 Andres Noetzli[SMT-COMP] Redirect non-answers to /dev/null (#4528) tree | commitdiff
2020-05-22 Andres Noetzli[SMT-COMP] Use tear-down-incremental for arithmetic... tree | commitdiff
2020-05-22 Aina NiemetzAdd support for SAT solver Kissat. (#4514) tree | commitdiff
2020-05-20 Abdalrhman MohamedAdd a simple script to convert sygus v1 files to v2... tree | commitdiff
2020-05-06 Andres NoetzliUpdate run scripts for SMT-COMP 2020 (#4454) tree | commitdiff
2020-05-02 Aina NiemetzSMT-COMP 2020: Enable --fp-exp for new FP logics. ... tree | commitdiff
2020-04-29 Aina NiemetzSMT-COMP 2020: Fix scripts to use --no-type-checking... tree | commitdiff
2020-04-28 Andrew ReynoldsUpdates to SMT COMP script for 20 minute timeout (... tree | commitdiff
2020-04-28 Aina Niemetzcontrib/get-gmp: Rename and update install instructions... tree | commitdiff
2020-04-28 Andrew ReynoldsSupport the SMT-LIB Unicode string standard by default... tree | commitdiff
2020-04-22 Andrew ReynoldsAllow eager bitblasting with solve bv as int in QF_NIA... tree | commitdiff
2020-04-21 Andrew ReynoldsMake option names related to CEGQI consistent (#4316) tree | commitdiff
2020-04-17 Mathias Preinerantlr: Use relative path in ANTLR script. (#4324) tree | commitdiff
2020-04-15 Andrew ReynoldsChange option names --default-dag-thresh and --default... tree | commitdiff
2020-04-06 Andrew ReynoldsRemove links field in all toml files (#4201) tree | commitdiff
2020-04-01 Mathias PreinerFix install for ANTLR contrib script and CI dependency... tree | commitdiff
2020-03-24 yoni206Int2BV fail on demand (#4079) tree | commitdiff
2020-03-11 Andrew ReynoldsDo not enable some SMT-COMP specific options by default... tree | commitdiff
2020-02-05 Andrew ReynoldsFix QF_NIA smt comp script (#3715) tree | commitdiff
2020-02-03 Andrew V. JonesRenaming '--bsd' to '--no-gpl' (#3609) tree | commitdiff
2019-12-06 Mathias Preinercontrib: Setup all dependencies in deps/ directory... tree | commitdiff
2019-10-02 Andres Noetzli[SMT-COMP] Remove --unconstrained-simp for incremental... tree | commitdiff
2019-09-18 Andres NoetzliAdd run script for next SMT-COMP (#3298) tree | commitdiff
2019-09-16 Haniel BarbosaAdding new scripts for CASC/TPTP (#3291) tree | commitdiff
2019-08-26 Mathias PreinerMake contrib/get-* more robust. (#3198) tree | commitdiff
2019-08-08 Andrew ReynoldsAdd subdirectories to contrib for competition scripts... tree | commitdiff
2019-08-06 Haniel BarbosaScripts for CASC-27 (#3163) tree | commitdiff
2019-08-02 Mathias PreinerUpdate CaDiCaL to version 1.0.3. (#3137) tree | commitdiff
2019-08-02 Mathias PreinerAdd better Python detection for contrib scripts. (... tree | commitdiff
2019-08-02 makaimannUse python realpath instead of relying on shell realpat... tree | commitdiff
2019-07-24 Haniel Barbosaadding runscripts for syguscomp2019 (#3118) tree | commitdiff
2019-06-03 Andres Noetzli[SMT-COMP] No unconstrained simp for QF_LIA UC (#3039) tree | commitdiff
2019-06-03 Andres Noetzli[SMT-COMP] Increase sequential portfolio times (#3038) tree | commitdiff
2019-06-03 Andres Noetzli[SMT-COMP 2019] Use lazy BV as backup for QF_UFBV ... tree | commitdiff
2019-06-03 Andres NoetzliEnable SymFPU assertions in production (#3036) tree | commitdiff
2019-06-03 Andres Noetzli[SMT-COMP 2019] Update run script for unsat cores ... tree | commitdiff
2019-06-01 Aina NiemetzUpdate QF_BV options for SMT-COMP 2019. (#3033) tree | commitdiff
2019-05-21 MartinUpdate to symfpu 0.0.7, fixes RTI 3/5 issue (#3007) tree | commitdiff
next