projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Split sygus template inference to its own file (#5388)
[cvc5.git]
/
contrib
/
2020-11-02
Aina Niemetz
contrib: Remove dependency directories. (#5367)
tree
|
commitdiff
2020-10-07
Malte Mues
Improve OSX support by adding os detection and adapting...
tree
|
commitdiff
2020-09-22
Mathias Preiner
Update copyright header script to support CMake and...
tree
|
commitdiff
2020-09-04
Malte Mues
Change the unavailable ABC mercury repository for the...
tree
|
commitdiff
2020-09-02
Andrew V. Jones
Migrating from using the 'glpk-cut-log' repo to using...
tree
|
commitdiff
2020-09-01
Aina Niemetz
CMS: Update to version 5.8.0. (#4991)
tree
|
commitdiff
2020-08-21
Andrew Reynolds
Remove BV equality slicer (#4928)
tree
|
commitdiff
2020-07-17
Gereon Kremer
Integration of libpoly (#4679)
tree
|
commitdiff
2020-07-10
Andrew Reynolds
Update competition scripts (#4715)
tree
|
commitdiff
2020-06-30
Mathias Preiner
Fix GMP compilation for win64. (#4675)
tree
|
commitdiff
2020-06-30
Mathias Preiner
contrib: Update to GMP 6.2.0, compile static and shared...
tree
|
commitdiff
2020-06-22
Aina Niemetz
get-authors: Add alias for nafur. (#4646)
tree
|
commitdiff
2020-06-19
Andrew Reynolds
Add casc j10 scripts (#4621)
tree
|
commitdiff
2020-06-16
Abdalrhman Mohamed
Simplify sygus conversion script. (#4627)
tree
|
commitdiff
2020-06-16
Aina Niemetz
Update copyright headers.
tree
|
commitdiff
2020-06-03
Mathias Preiner
Fix normalization of author names in contrib/get-author...
tree
|
commitdiff
2020-05-26
Mathias Preiner
Update 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 Niemetz
Add support for SAT solver Kissat. (#4514)
tree
|
commitdiff
2020-05-20
Abdalrhman Mohamed
Add a simple script to convert sygus v1 files to v2...
tree
|
commitdiff
2020-05-06
Andres Noetzli
Update run scripts for SMT-COMP 2020 (#4454)
tree
|
commitdiff
2020-05-02
Aina Niemetz
SMT-COMP 2020: Enable --fp-exp for new FP logics. ...
tree
|
commitdiff
2020-04-29
Aina Niemetz
SMT-COMP 2020: Fix scripts to use --no-type-checking...
tree
|
commitdiff
2020-04-28
Andrew Reynolds
Updates to SMT COMP script for 20 minute timeout (...
tree
|
commitdiff
2020-04-28
Aina Niemetz
contrib/get-gmp: Rename and update install instructions...
tree
|
commitdiff
2020-04-28
Andrew Reynolds
Support the SMT-LIB Unicode string standard by default...
tree
|
commitdiff
2020-04-22
Andrew Reynolds
Allow eager bitblasting with solve bv as int in QF_NIA...
tree
|
commitdiff
2020-04-21
Andrew Reynolds
Make option names related to CEGQI consistent (#4316)
tree
|
commitdiff
2020-04-17
Mathias Preiner
antlr: Use relative path in ANTLR script. (#4324)
tree
|
commitdiff
2020-04-15
Andrew Reynolds
Change option names --default-dag-thresh and --default...
tree
|
commitdiff
2020-04-06
Andrew Reynolds
Remove links field in all toml files (#4201)
tree
|
commitdiff
2020-04-01
Mathias Preiner
Fix install for ANTLR contrib script and CI dependency...
tree
|
commitdiff
2020-03-24
yoni206
Int2BV fail on demand (#4079)
tree
|
commitdiff
2020-03-11
Andrew Reynolds
Do not enable some SMT-COMP specific options by default...
tree
|
commitdiff
2020-02-05
Andrew Reynolds
Fix QF_NIA smt comp script (#3715)
tree
|
commitdiff
2020-02-03
Andrew V. Jones
Renaming '--bsd' to '--no-gpl' (#3609)
tree
|
commitdiff
2019-12-06
Mathias Preiner
contrib: 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 Noetzli
Add run script for next SMT-COMP (#3298)
tree
|
commitdiff
2019-09-16
Haniel Barbosa
Adding new scripts for CASC/TPTP (#3291)
tree
|
commitdiff
2019-08-26
Mathias Preiner
Make contrib/get-* more robust. (#3198)
tree
|
commitdiff
2019-08-08
Andrew Reynolds
Add subdirectories to contrib for competition scripts...
tree
|
commitdiff
2019-08-06
Haniel Barbosa
Scripts for CASC-27 (#3163)
tree
|
commitdiff
2019-08-02
Mathias Preiner
Update CaDiCaL to version 1.0.3. (#3137)
tree
|
commitdiff
2019-08-02
Mathias Preiner
Add better Python detection for contrib scripts. (...
tree
|
commitdiff
2019-08-02
makaimann
Use python realpath instead of relying on shell realpat...
tree
|
commitdiff
2019-07-24
Haniel Barbosa
adding 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 Noetzli
Enable 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 Niemetz
Update QF_BV options for SMT-COMP 2019. (#3033)
tree
|
commitdiff
2019-05-21
Martin
Update 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 Reynolds
Update QF_NIA strategy (#3012)
tree
|
commitdiff
2019-05-18
Andres Noetzli
[SMT-COMP2019] Better strings configuration (#3010)
tree
|
commitdiff
2019-05-18
Andres Noetzli
Support for incremental bit-blasting with CaDiCaL ...
tree
|
commitdiff
2019-04-15
Andres Noetzli
Initial version of run scripts for SMT-COMP 2019 (...
tree
|
commitdiff
2019-04-03
Aina Niemetz
get-authors: Add GitHub user ayveejay -> Andrew V....
tree
|
commitdiff
2019-03-26
Aina Niemetz
update-copyright: Update to 2019.
tree
|
commitdiff
2019-03-26
Mathias Preiner
get-authors: Exclude empty lines.
tree
|
commitdiff
2019-03-26
Mathias Preiner
get-authors: Exclude common source code patterns. ...
tree
|
commitdiff
2019-03-25
Aina Niemetz
update-copyright: Fix matching of excluded paths.
tree
|
commitdiff
2019-03-25
Aina Niemetz
get-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 Smeding
Use https for antlr3.org downloads (#2701)
tree
|
commitdiff
2018-10-22
Andres Noetzli
Only build CryptoMiniSat library, no binary (#2657)
tree
|
commitdiff
2018-10-19
Mathias Preiner
Remove autotools build system. (#2639)
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Add support for cross-compiling for Windows.
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Various CMakeLists.txt fixes/cleanup.
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: Added initial build infrastructure.
tree
|
commitdiff
2018-09-17
Andres Noetzli
Follow redirects with cURL in contrib/get* scripts...
tree
|
commitdiff
2018-09-04
Andres Noetzli
Remove CVC3 compatibility layer (#2418)
tree
|
commitdiff
2018-08-15
Mathias Preiner
Add contrib/get-gmp script. (#2292)
tree
|
commitdiff
2018-08-02
Andres Noetzli
Remove outdated references to TLS (#2245)
tree
|
commitdiff
2018-07-25
Mathias Preiner
Use CryptoMiniSat 5.6.3. (#2205)
tree
|
commitdiff
2018-06-26
Andrew Reynolds
sygusComp2018: add scripts. (#2103)
tree
|
commitdiff
2018-06-26
Andrew Reynolds
Add casc j9 tfn script (#2100)
tree
|
commitdiff
2018-06-25
Aina Niemetz
Do not use git blame -C in get-authors (too many false...
tree
|
commitdiff
2018-06-25
Aina Niemetz
Fix update-copyright script for files without a header.
tree
|
commitdiff
2018-06-25
Aina Niemetz
Added Makai and Yoni to get-authors script.
tree
|
commitdiff
2018-06-08
Mathias Preiner
Disable 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 Preiner
Use CaDiCaL for eager bit-blasting in QF_NIA and QF_UFB...
tree
|
commitdiff
2018-05-30
Andrew Reynolds
Draft run script for strings smt comp 2018. (#2016)
tree
|
commitdiff
2018-05-27
Andres Noetzli
Fix no-cbqi-innermost option name in run script (#1994)
tree
|
commitdiff
2018-05-26
Mathias Preiner
Update SymFPU. (#1992)
tree
|
commitdiff
2018-05-25
Mathias Preiner
Add QF_BV configuration for SMTCOMP'18. (#1981)
tree
|
commitdiff
2018-05-14
Mathias Preiner
Add contrib/get-symfpu for downloading symfpu. (#1905)
tree
|
commitdiff
2018-05-03
Andrew Reynolds
Option to interleave tangent plane inferences (#1833)
tree
|
commitdiff
2018-04-23
Andrew Reynolds
Draft smt comp 2018 for quantifiers and non-linear...
tree
|
commitdiff
2018-04-20
Andrew Reynolds
Draft of casc j9 scripts (#1800)
tree
|
commitdiff
2018-04-08
Andres Noetzli
Warn about trailing spaces in src/Makefile.am (#1759)
tree
|
commitdiff
2018-04-07
Aina Niemetz
Fixed get-authors.
tree
|
commitdiff
2018-04-02
Clark Barrett
Remove references to nyu (#1721)
tree
|
commitdiff
2018-03-22
Mathias Preiner
Ignore whitespaces and moved code for contrib/get-authors.
tree
|
commitdiff
2018-03-21
Mathias Preiner
Refactor mkoptions (#1631)
tree
|
commitdiff
next