projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Node traversal iterator (#3845)
[cvc5.git]
/
contrib
/
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
2018-03-20
Mathias Preiner
Add support for CaDiCaL as eager BV SAT solver. (#1675)
tree
|
commitdiff
2018-03-13
Mathias Preiner
Use Cryptominisat version 5.0.2 (instead of 4.2.0)...
tree
|
commitdiff
2018-03-09
Mathias Preiner
Cleanup Cryptominisat SAT wrapper. (#1652)
tree
|
commitdiff
2018-03-09
Aina Niemetz
Fixed message in get-antlr script.
tree
|
commitdiff
2018-03-05
Mathias Preiner
Fix boost url in contrib/get-win-dependencies.
tree
|
commitdiff
2018-02-13
Aina Niemetz
Skip header for determining top contributors list....
tree
|
commitdiff
2018-02-08
Mathias Preiner
Check whether Cryptominisat4/ABC was installed via...
tree
|
commitdiff
2018-02-07
Mathias Preiner
Use separate shell script for common get-* script parts...
tree
|
commitdiff
2018-02-06
Aina Niemetz
Updated year in update-copyright script.
tree
|
commitdiff
2018-01-08
Andres Noetzli
Fix broken GMP URL in get-win-dependencies script ...
tree
|
commitdiff
2017-11-29
Mathias Preiner
Add 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 Noetzli
Add initial version of the SMTCOMP2018 run scripts...
tree
|
commitdiff
2017-08-25
Aina Niemetz
Move LFSC checker out of the CVC repository. (#222)
tree
|
commitdiff
2017-07-11
Mathias Preiner
Remove trailing slashes from directories if specified...
tree
|
commitdiff
2017-07-10
Mathias Preiner
Disable tarball signing for now.
tree
|
commitdiff
2017-07-07
Mathias Preiner
Update copyright headers.
tree
|
commitdiff
2017-07-07
Mathias Preiner
Update files that are part of the CVC4 license, exclude...
tree
|
commitdiff
2017-07-07
Mathias Preiner
Use consistent author names for the copyright headers.
tree
|
commitdiff
2017-07-07
Mathias Preiner
Escape left brace in regex in update-copyright script.
tree
|
commitdiff
2017-07-06
Mathias Preiner
Fix passing antlr arguments to configure in contrib...
tree
|
commitdiff
2017-07-06
Aina Niemetz
cut-release: git co -> git checkout
tree
|
commitdiff
2017-07-06
Aina Niemetz
cut-release: option handling, get-antlr
tree
|
commitdiff
2017-07-05
ajreynol
Fix for logic info, update regressions. Update casc...
tree
|
commitdiff
2017-06-30
ajreynol
Minor change to trigger selection, fixes related to...
tree
|
commitdiff
2017-06-22
Andres Nötzli
Fix unsat cores script for SMT-COMP (#179)
tree
|
commitdiff
2017-06-21
Andrew Reynolds
Merge pull request #175 from CVC4/fix_uninit
tree
|
commitdiff
2017-06-21
Andres Nötzli
Add run script for unsat cores track at SMT-COMP (...
tree
|
commitdiff
2017-06-21
Andrew Reynolds
Merge pull request #176 from CVC4/smtcomp2017
tree
|
commitdiff
2017-06-21
ajreynol
Update casc and sygus comp scripts.
tree
|
commitdiff
2017-06-19
Andres Noetzli
Better configuration for QF_NRA
tree
|
commitdiff
2017-06-17
Andres Nötzli
Change language in competition script to smt2.6 (#171)
tree
|
commitdiff
2017-06-16
Clark Barrett
Merge pull request #170 from CVC4/fix_2_6_parser3
tree
|
commitdiff
next