projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Fix quantifiers variable elimination for parametric datatypes (#7358)
2021-09-23
Lachnitt
[proofs[ Alethe: Fix Order of Arguments of addAletheStepFrom...
commit
|
commitdiff
|
tree
2021-09-23
Lachnitt
[proofs] Alethe: Translate THEORY_REWRITE (#7236)
commit
|
commitdiff
|
tree
2021-09-23
Lachnitt
[proofs] Alethe: Add Alethe Files to be Compiled ...
commit
|
commitdiff
|
tree
2021-09-23
Lachnitt
[proofs] Alethe: Translate SCOPE rule (#7224)
commit
|
commitdiff
|
tree
2021-09-21
Lachnitt
[Proofs] Alethe: Translate ASSUME rule (#7213)
commit
|
commitdiff
|
tree
2021-09-21
Lachnitt
[proofs] Alethe: Implementation of AletheProofPostprocessCal...
commit
|
commitdiff
|
tree
2021-09-17
Lachnitt
[proofs] Alethe: Added Proof Postprocessor to alethe_proof_p...
commit
|
commitdiff
|
tree
2021-09-17
Lachnitt
[proofs] Alethe: Added Final Callback Function to alethe_pro...
commit
|
commitdiff
|
tree
2021-09-15
Lachnitt
[proofs] Alethe: Added Callback Function to alethe_proof_pro...
commit
|
commitdiff
|
tree
2021-09-15
Lachnitt
[proof] Added printer for proof rule names (#7185)
commit
|
commitdiff
|
tree
2021-09-15
Lachnitt
[proof] Alethe proof rules (#7180)
commit
|
commitdiff
|
tree