projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Make lambda rewriter more robust (#3806)
[cvc5.git]
/
test
/
regress
/
regress0
/
ho
/
2019-12-05
Andrew Reynolds
Fix the subtyping relation for functions (#3494)
tree
|
commitdiff
2019-07-31
Haniel Barbosa
Parsing THF and adding several regressions (#3131)
tree
|
commitdiff
2019-03-15
Haniel Barbosa
New beta-reduction for HOL solving (#2869)
tree
|
commitdiff
2018-04-13
Andrew Reynolds
Fix alpha equivalence for higher-order (#1769)
tree
|
commitdiff
2018-04-11
Andrew Reynolds
Properly implement function extensionality based on...
tree
|
commitdiff
2018-04-04
Andrew Reynolds
Fix for corner case of higher-order matching (#1708)
tree
|
commitdiff
2018-03-21
Andres Noetzli
Move regression tests to single Makefile.am (#1658)
tree
|
commitdiff
2018-02-15
Andrew Reynolds
Refactor regressions (#1581)
tree
|
commitdiff
2017-11-25
Andrew Reynolds
Fixes for higher-order (#1405)
tree
|
commitdiff
2017-11-24
Andrew Reynolds
Ho parsing and regressions (#1350)
tree
|
commitdiff