projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Require that FMF model basis terms are variables (#3031)
2019-04-23
Alex Ozdemir
[BV] An option for SAT proof optimization (#2915)
commit
|
commitdiff
|
tree
2019-04-05
Alex Ozdemir
SatClauseSetHashFunction (#2916)
commit
|
commitdiff
|
tree
2019-03-16
Alex Ozdemir
Enable CryptoMiniSat-backed BV proofs (#2847)
commit
|
commitdiff
|
tree
2019-03-01
Alex Ozdemir
ErProof class with LFSC output (#2812)
commit
|
commitdiff
|
tree
2019-01-24
Alex Ozdemir
Extended DRAT signature to operational DRAT (#2815)
commit
|
commitdiff
|
tree
2019-01-18
Alex Ozdemir
Extract DIMACS Printing (#2800)
commit
|
commitdiff
|
tree
2019-01-16
Alex Ozdemir
Bugfix: LFSC clause equality (#2801)
commit
|
commitdiff
|
tree
2019-01-16
Alex Ozdemir
Extended Resolution Signature (#2788)
commit
|
commitdiff
|
tree
2019-01-14
Alex Ozdemir
ClausalBitvectorProof (#2786)
commit
|
commitdiff
|
tree
2019-01-13
Alex Ozdemir
LFSC LRAT Output (#2787)
commit
|
commitdiff
|
tree
2019-01-12
Alex Ozdemir
LratInstruction inheritance (#2784)
commit
|
commitdiff
|
tree
2019-01-11
Alex Ozdemir
Fixed linking against drat2er, and use drat2er (#2785)
commit
|
commitdiff
|
tree
2019-01-09
Alex Ozdemir
[BV Proofs] Option for proof format (#2777)
commit
|
commitdiff
|
tree
2019-01-09
Alex Ozdemir
Clause proof printing (#2779)
commit
|
commitdiff
|
tree
2019-01-09
Alex Ozdemir
LFSC drat output (#2776)
commit
|
commitdiff
|
tree
2019-01-06
Alex Ozdemir
[DRAT] DRAT data structure (#2767)
commit
|
commitdiff
|
tree
2019-01-04
Alex Ozdemir
[LRAT] A C++ data structure for LRAT. (#2737)
commit
|
commitdiff
|
tree
2019-01-03
Alex Ozdemir
[LRA proof] Recording & Printing LRA Proofs (#2758)
commit
|
commitdiff
|
tree
2018-12-17
Alex Ozdemir
Configured for linking against drat2er (#2754)
commit
|
commitdiff
|
tree
2018-12-17
Alex Ozdemir
DRAT Signature (#2757)
commit
|
commitdiff
|
tree
2018-12-15
Alex Ozdemir
[LRA Proof] Storage for LRA proofs (#2747)
commit
|
commitdiff
|
tree
2018-12-12
Alex Ozdemir
[LRA proof] More complete LRA example proofs. (#2722)
commit
|
commitdiff
|
tree
2018-12-12
Alex Ozdemir
[LRAT] signature robust against duplicate literals...
commit
|
commitdiff
|
tree
2018-12-11
Alex Ozdemir
LRAT signature (#2731)
commit
|
commitdiff
|
tree
2018-12-07
Alex Ozdemir
Arith Constraint Proof Loggin (#2732)
commit
|
commitdiff
|
tree
2018-12-07
Alex Ozdemir
Enable BV proofs when using an eager bitblaster (#2733)
commit
|
commitdiff
|
tree
2018-12-03
Alex Ozdemir
Bit vector proof superclass (#2599)
commit
|
commitdiff
|
tree
2018-11-27
Alex Ozdemir
LRA proof signature fixes and a first proof for linear...
commit
|
commitdiff
|
tree
2018-11-20
Alex Ozdemir
Change lemma proof step storage & iterators (#2712)
commit
|
commitdiff
|
tree
2018-10-02
Alex Ozdemir
Fix documentation for `make regress`. (#2557)
commit
|
commitdiff
|
tree