projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Builtin evaluation functions for sygus (#1991)
[cvc5.git]
/
src
/
theory
/
quantifiers
/
sygus
/
term_database_sygus.h
2018-05-28
Andrew Reynolds
Builtin evaluation functions for sygus (#1991)
blob
|
commitdiff
|
raw
2018-05-24
Andrew Reynolds
Improve simple constant symmetry breaking for sygus...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-23
Andrew Reynolds
Repair constants using symbolic constructors (#1960)
blob
|
commitdiff
|
raw
|
diff to current
2018-05-21
Andrew Reynolds
Refactor sygus eval unfold (#1946)
blob
|
commitdiff
|
raw
|
diff to current
2018-05-18
Andrew Reynolds
Unified fairness scheme for cegis unif (#1941)
blob
|
commitdiff
|
raw
|
diff to current
2018-05-17
Andrew Reynolds
Catch type errors in sygus grammars for lambda (define...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-17
Andrew Reynolds
Internal propagation for refinement lemmas (#1932)
blob
|
commitdiff
|
raw
|
diff to current
2018-05-10
Andrew Reynolds
Exclude Boolean connectives from ITE conditions in...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-10
Andrew Reynolds
Sygus repair constants (#1812)
blob
|
commitdiff
|
raw
|
diff to current
2018-03-20
Andrew Reynolds
Minor refactor datatypes sygus (#1673)
blob
|
commitdiff
|
raw
|
diff to current
2018-03-06
Andrew Reynolds
Refactor symmetry breaking in datatypes sygus (#1640)
blob
|
commitdiff
|
raw
|
diff to current
2018-02-14
Andrew Reynolds
Quantifiers subdirectories (#1608)
blob
|
commitdiff
|
raw
|
diff to current