projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Track instantiation reasons in proofs (#6935)
[cvc5.git]
/
src
/
theory
/
inference_id.h
2021-07-27
Andrew Reynolds
Track instantiation reasons in proofs (#6935)
blob
|
commitdiff
|
raw
2021-07-26
Andrew Reynolds
Enable default equality proofs for sets (#6931)
blob
|
commitdiff
|
raw
|
diff to current
2021-07-15
Mathias Preiner
bv: Rename lazy solver to layered solver. (#6889)
blob
|
commitdiff
|
raw
|
diff to current
2021-07-15
Mathias Preiner
bv: Rename simple solver to bitblast-internal. (#6888)
blob
|
commitdiff
|
raw
|
diff to current
2021-07-12
Andrew Reynolds
Add trace for combination splits (#6862)
blob
|
commitdiff
|
raw
|
diff to current
2021-06-26
yoni206
pow2 -- final changes (#6800)
blob
|
commitdiff
|
raw
|
diff to current
2021-06-25
yoni206
pow2: Adding monotonicity lemma (#6793)
blob
|
commitdiff
|
raw
|
diff to current
2021-06-15
yoni206
pow2: adding a kind, inference rules, and some implemen...
blob
|
commitdiff
|
raw
|
diff to current
2021-05-19
Andrew Reynolds
Add more missing inference ids (#6313)
blob
|
commitdiff
|
raw
|
diff to current
2021-04-14
Aina Niemetz
Rename public and private headers in src/include. ...
blob
|
commitdiff
|
raw
|
diff to current
2021-04-13
Andrew Reynolds
Add pool instantiation strategy (#6308)
blob
|
commitdiff
|
raw
|
diff to current
2021-04-12
Aina Niemetz
Refactor and update copyright headers. (#6316)
blob
|
commitdiff
|
raw
|
diff to current
2021-04-09
Aina Niemetz
Rename CVC4__ header guards to CVC5__. (#6326)
blob
|
commitdiff
|
raw
|
diff to current
2021-04-08
Andrew Reynolds
Add identifiers for sources of incompleteness (#6311)
blob
|
commitdiff
|
raw
|
diff to current
2021-04-01
Aina Niemetz
Rename namespace CVC5 to cvc5. (#6258)
blob
|
commitdiff
|
raw
|
diff to current
2021-03-31
Aina Niemetz
Rename namespace CVC4 to CVC5. (#6249)
blob
|
commitdiff
|
raw
|
diff to current
2021-03-31
Andrew Reynolds
Add missing inference ids (#6242)
blob
|
commitdiff
|
raw
|
diff to current
2021-03-21
Andrew Reynolds
Clean up remaining raw uses of output channel (#6161)
blob
|
commitdiff
|
raw
|
diff to current
2021-03-16
Andrew Reynolds
Further standardization of strings statistics (#6128)
blob
|
commitdiff
|
raw
|
diff to current
2021-03-11
Gereon Kremer
Make linear arithmetic use its inference manager (...
blob
|
commitdiff
|
raw
|
diff to current
2021-03-11
Andrew Reynolds
Introduce inference ids for quantifier instantiation...
blob
|
commitdiff
|
raw
|
diff to current
2021-03-11
Andrew Reynolds
Direct lemmas and inference ids for sygus extension...
blob
|
commitdiff
|
raw
|
diff to current
2021-03-09
Gereon Kremer
Some more cleanup of includes (#6083)
blob
|
commitdiff
|
raw
|
diff to current
2021-03-09
Aina Niemetz
Update copyright headers to 2021. (#6081)
blob
|
commitdiff
|
raw
|
diff to current
2021-03-08
Andrew Reynolds
(proof-new) Prepare arithmetic for changes to ppRewrite...
blob
|
commitdiff
|
raw
|
diff to current
2021-02-22
Andrew Reynolds
Eliminate raw use of output channel and valuation in...
blob
|
commitdiff
|
raw
|
diff to current
2021-02-19
Andrew Reynolds
Fill in missing inference ids in datatypes theory ...
blob
|
commitdiff
|
raw
|
diff to current
2021-02-19
Gereon Kremer
Cleanup of inferences in arithmetic theory (#5927)
blob
|
commitdiff
|
raw
|
diff to current
2021-02-18
Gereon Kremer
Add InferenceIds for sets theory. (#5900)
blob
|
commitdiff
|
raw
|
diff to current
2021-02-18
Gereon Kremer
New InferenceIds for BV theory (#5909)
blob
|
commitdiff
|
raw
|
diff to current
2021-02-18
Andrew Reynolds
Document UF inferences (#5917)
blob
|
commitdiff
|
raw
|
diff to current
2021-02-17
Gereon Kremer
Use InferenceId in sep theory. (#5912)
blob
|
commitdiff
|
raw
|
diff to current
2021-02-17
Gereon Kremer
TheoryIds for UF theory. (#5901)
blob
|
commitdiff
|
raw
|
diff to current
2021-02-17
Gereon Kremer
Add InferenceIds for theory of arrays (#5910)
blob
|
commitdiff
|
raw
|
diff to current
2021-02-11
Gereon Kremer
Merge InferenceIds into one enum (#5892)
blob
|
commitdiff
|
raw
|
diff to current
projects / cvc5.git / history