projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fixes for SyGuS + regular expressions (#3313)
[cvc5.git] / contrib /
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
2019-05-20 Andres Noetzli[SMT-COMP 2019] Update run scripts to match tracks... tree | commitdiff
2019-05-18 Andrew ReynoldsUpdate QF_NIA strategy (#3012) tree | commitdiff
2019-05-18 Andres Noetzli[SMT-COMP2019] Better strings configuration (#3010) tree | commitdiff
2019-05-18 Andres NoetzliSupport for incremental bit-blasting with CaDiCaL ... tree | commitdiff
2019-04-15 Andres NoetzliInitial version of run scripts for SMT-COMP 2019 (... tree | commitdiff
2019-04-03 Aina Niemetzget-authors: Add GitHub user ayveejay -> Andrew V.... tree | commitdiff
2019-03-26 Aina Niemetzupdate-copyright: Update to 2019. tree | commitdiff
2019-03-26 Mathias Preinerget-authors: Exclude empty lines. tree | commitdiff
2019-03-26 Mathias Preinerget-authors: Exclude common source code patterns. ... tree | commitdiff
2019-03-25 Aina Niemetzupdate-copyright: Fix matching of excluded paths. tree | commitdiff
2019-03-25 Aina Niemetzget-authors: Readd option -C to git blame command. tree | commitdiff
2018-12-17 Alex Ozdemir Configured for linking against drat2er (#2754) tree | commitdiff
2018-11-23 Tom SmedingUse https for antlr3.org downloads (#2701) tree | commitdiff
2018-10-22 Andres NoetzliOnly build CryptoMiniSat library, no binary (#2657) tree | commitdiff
2018-10-19 Mathias PreinerRemove autotools build system. (#2639) tree | commitdiff
2018-09-22 Mathias Preinercmake: Add support for cross-compiling for Windows. tree | commitdiff
2018-09-22 Mathias Preinercmake: Various CMakeLists.txt fixes/cleanup. tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added initial build infrastructure. tree | commitdiff
2018-09-17 Andres NoetzliFollow redirects with cURL in contrib/get* scripts... tree | commitdiff
2018-09-04 Andres NoetzliRemove CVC3 compatibility layer (#2418) tree | commitdiff
2018-08-15 Mathias PreinerAdd contrib/get-gmp script. (#2292) tree | commitdiff
2018-08-02 Andres NoetzliRemove outdated references to TLS (#2245) tree | commitdiff
2018-07-25 Mathias PreinerUse CryptoMiniSat 5.6.3. (#2205) tree | commitdiff
2018-06-26 Andrew ReynoldssygusComp2018: add scripts. (#2103) tree | commitdiff
2018-06-26 Andrew ReynoldsAdd casc j9 tfn script (#2100) tree | commitdiff
2018-06-25 Aina NiemetzDo not use git blame -C in get-authors (too many false... tree | commitdiff
2018-06-25 Aina NiemetzFix update-copyright script for files without a header. tree | commitdiff
2018-06-25 Aina NiemetzAdded Makai and Yoni to get-authors script. tree | commitdiff
2018-06-08 Mathias PreinerDisable BV-abstraction in the competition script. ... tree | commitdiff
2018-06-04 Andres Noetzli[SMT-COMP] Add new logics to run-scripts (#2022) tree | commitdiff
2018-05-30 Andres Noetzli[SMT-COMP] Print non-(un)sat output to stderr (#2019) tree | commitdiff
2018-05-30 Mathias PreinerUse CaDiCaL for eager bit-blasting in QF_NIA and QF_UFB... tree | commitdiff
2018-05-30 Andrew ReynoldsDraft run script for strings smt comp 2018. (#2016) tree | commitdiff
2018-05-27 Andres NoetzliFix no-cbqi-innermost option name in run script (#1994) tree | commitdiff
2018-05-26 Mathias PreinerUpdate SymFPU. (#1992) tree | commitdiff
2018-05-25 Mathias PreinerAdd QF_BV configuration for SMTCOMP'18. (#1981) tree | commitdiff
2018-05-14 Mathias PreinerAdd contrib/get-symfpu for downloading symfpu. (#1905) tree | commitdiff
2018-05-03 Andrew ReynoldsOption to interleave tangent plane inferences (#1833) tree | commitdiff
2018-04-23 Andrew ReynoldsDraft smt comp 2018 for quantifiers and non-linear... tree | commitdiff
2018-04-20 Andrew ReynoldsDraft of casc j9 scripts (#1800) tree | commitdiff
2018-04-08 Andres NoetzliWarn about trailing spaces in src/Makefile.am (#1759) tree | commitdiff
2018-04-07 Aina NiemetzFixed get-authors. tree | commitdiff
2018-04-02 Clark BarrettRemove references to nyu (#1721) tree | commitdiff
2018-03-22 Mathias PreinerIgnore whitespaces and moved code for contrib/get-authors. tree | commitdiff
2018-03-21 Mathias PreinerRefactor mkoptions (#1631) tree | commitdiff
2018-03-20 Mathias PreinerAdd support for CaDiCaL as eager BV SAT solver. (#1675) tree | commitdiff
2018-03-13 Mathias PreinerUse Cryptominisat version 5.0.2 (instead of 4.2.0)... tree | commitdiff
2018-03-09 Mathias PreinerCleanup Cryptominisat SAT wrapper. (#1652) tree | commitdiff
2018-03-09 Aina NiemetzFixed message in get-antlr script. tree | commitdiff
2018-03-05 Mathias PreinerFix boost url in contrib/get-win-dependencies. tree | commitdiff
2018-02-13 Aina NiemetzSkip header for determining top contributors list.... tree | commitdiff
2018-02-08 Mathias PreinerCheck whether Cryptominisat4/ABC was installed via... tree | commitdiff
2018-02-07 Mathias PreinerUse separate shell script for common get-* script parts... tree | commitdiff
2018-02-06 Aina NiemetzUpdated year in update-copyright script. tree | commitdiff
2018-01-08 Andres NoetzliFix broken GMP URL in get-win-dependencies script ... tree | commitdiff
2017-11-29 Mathias PreinerAdd Cryptominisat script and patches to source file... tree | commitdiff
2017-11-01 Andres Noetzli Add option to build shared Windows dependencies (... tree | commitdiff
2017-10-03 Andres NoetzliAdd initial version of the SMTCOMP2018 run scripts... tree | commitdiff
2017-08-25 Aina NiemetzMove LFSC checker out of the CVC repository. (#222) tree | commitdiff
2017-07-11 Mathias PreinerRemove trailing slashes from directories if specified... tree | commitdiff
2017-07-10 Mathias PreinerDisable tarball signing for now. tree | commitdiff
2017-07-07 Mathias PreinerUpdate copyright headers. tree | commitdiff
2017-07-07 Mathias PreinerUpdate files that are part of the CVC4 license, exclude... tree | commitdiff
2017-07-07 Mathias PreinerUse consistent author names for the copyright headers. tree | commitdiff
2017-07-07 Mathias PreinerEscape left brace in regex in update-copyright script. tree | commitdiff
2017-07-06 Mathias PreinerFix passing antlr arguments to configure in contrib... tree | commitdiff
2017-07-06 Aina Niemetzcut-release: git co -> git checkout tree | commitdiff
2017-07-06 Aina Niemetzcut-release: option handling, get-antlr tree | commitdiff
2017-07-05 ajreynolFix for logic info, update regressions. Update casc... tree | commitdiff
2017-06-30 ajreynolMinor change to trigger selection, fixes related to... tree | commitdiff
2017-06-22 Andres NötzliFix unsat cores script for SMT-COMP (#179) tree | commitdiff
2017-06-21 Andrew ReynoldsMerge pull request #175 from CVC4/fix_uninit tree | commitdiff
2017-06-21 Andres NötzliAdd run script for unsat cores track at SMT-COMP (... tree | commitdiff
2017-06-21 Andrew ReynoldsMerge pull request #176 from CVC4/smtcomp2017 tree | commitdiff
2017-06-21 ajreynolUpdate casc and sygus comp scripts. tree | commitdiff
2017-06-19 Andres NoetzliBetter configuration for QF_NRA tree | commitdiff
2017-06-17 Andres NötzliChange language in competition script to smt2.6 (#171) tree | commitdiff
2017-06-16 Clark BarrettMerge pull request #170 from CVC4/fix_2_6_parser3 tree | commitdiff
2017-06-15 Andres NoetzliMake comp script more robust tree | commitdiff
2017-06-03 ajreynolMinor to smt comp script. tree | commitdiff
2017-06-02 ajreynolIncorporate datatypes into smt comp script, add regression. tree | commitdiff
2017-06-01 ajreynolMinor optimizations related to cbqi. tree | commitdiff
2017-05-31 ajreynolFix model construction for BV with cbqi. Minor change... tree | commitdiff
next