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
/
datatypes
/
datatypes_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-04
Andrew Reynolds
Document datatypes sygus (#1818)
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-27
Andrew Reynolds
Improvements to sygus sampling (#1621)
blob
|
commitdiff
|
raw
|
diff to current
2018-02-14
Andrew Reynolds
Quantifiers subdirectories (#1608)
blob
|
commitdiff
|
raw
|
diff to current
2018-02-06
Andrew Reynolds
Statically eliminate redundant sygus constructors ...
blob
|
commitdiff
|
raw
|
diff to current
2018-02-01
Andrew Reynolds
Use sygus to synthesize/verify rewrite rules (#1547)
blob
|
commitdiff
|
raw
|
diff to current
2017-12-06
Andres Noetzli
Remove CDChunkList (#1414)
blob
|
commitdiff
|
raw
|
diff to current
2017-10-28
Andrew Reynolds
Sygus process conjecture (#1286)
blob
|
commitdiff
|
raw
|
diff to current
2017-10-17
Tim King
Fixing 2 instances of an unused variable. (#1253)
blob
|
commitdiff
|
raw
|
diff to current
2017-10-17
Andrew Reynolds
Sygus enumerators to conjecture (#1237)
blob
|
commitdiff
|
raw
|
diff to current
2017-07-10
ajreynol
Merge datatype shared selectors/sygus comp 2017 branch...
blob
|
commitdiff
|
raw
|
diff to current
2017-07-07
Mathias Preiner
Update copyright headers.
blob
|
commitdiff
|
raw
|
diff to current
2016-11-02
ajreynol
Fix a few obvious memory leaks in sygus and quantifiers...
blob
|
commitdiff
|
raw
|
diff to current
2016-04-20
PaulMeng
update from the master
blob
|
commitdiff
|
raw
|
diff to current
2016-04-09
Guy
Merge branch 'master' of https://github.com/CVC4/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2016-04-04
Tim King
Updating the copyright headers and scripts.
blob
|
commitdiff
|
raw
|
diff to current
2016-02-05
ajreynol
Add two optimizations for datatypes, currently disabled...
blob
|
commitdiff
|
raw
|
diff to current
2015-12-15
Tim King
Refactoring Options Handler & Library Cycle Breaking
blob
|
commitdiff
|
raw
|
diff to current
2015-02-06
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2015-02-04
ajreynol
Refactor sygus_util to TermDb. Initial work on solutio...
blob
|
commitdiff
|
raw
|
diff to current
2015-02-02
ajreynol
Single invocation module for counterexample guided...
blob
|
commitdiff
|
raw
|
diff to current
2015-02-02
ajreynol
Representative programs must be minimal size, minor...
blob
|
commitdiff
|
raw
|
diff to current
2015-02-01
ajreynol
Generalization of sygus lemmas based on arguments and...
blob
|
commitdiff
|
raw
|
diff to current
2015-01-31
ajreynol
Bug fix fairness for commutative operators in sygus...
blob
|
commitdiff
|
raw
|
diff to current
2015-01-31
ajreynol
Lemmas instead of conflicts in sygus sym break (do...
blob
|
commitdiff
|
raw
|
diff to current
2015-01-30
ajreynol
Generalize conflict clauses in sygus sym break, merge...
blob
|
commitdiff
|
raw
|
diff to current
2015-01-29
ajreynol
Apply sygus search space narrowing for all subprograms...
blob
|
commitdiff
|
raw
|
diff to current
2015-01-29
ajreynol
Apply global search space narrowing for multiple synth...
blob
|
commitdiff
|
raw
|
diff to current
2015-01-29
ajreynol
Add module for sygus search space narrowing based on...
blob
|
commitdiff
|
raw
|
diff to current
2015-01-26
ajreynol
Output solutions for synthesis conjectures with --dump...
blob
|
commitdiff
|
raw
|
diff to current
2015-01-26
ajreynol
Generalize sygus search space narrowing to arbitrary...
blob
|
commitdiff
|
raw
|
diff to current
2015-01-23
ajreynol
Refactor sygus arg nf. Minor improvements.
blob
|
commitdiff
|
raw
|
diff to current
2015-01-22
ajreynol
Narrow sygus search space based on NNF and rewriting...
blob
|
commitdiff
|
raw
|
diff to current
2015-01-22
ajreynol
Do not drop patterns during boolean term rewriting...
blob
|
commitdiff
|
raw
|
diff to current
2015-01-21
ajreynol
Avoid redundant constant arguments for SygusNormalForm...
blob
|
commitdiff
|
raw
|
diff to current
2015-01-21
ajreynol
Initial work on sygusNormalForm.
blob
|
commitdiff
|
raw
|
diff to current