projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Fixes for quantifiers + incremental (#2009)
2018-05-23
Haniel Barbosa
Towards better symbolic enumeration in SyGuS (#1971)
commit
|
commitdiff
|
tree
2018-05-21
Haniel Barbosa
Assign weight 1 for Boolean variables in SyGuS default...
commit
|
commitdiff
|
tree
2018-05-19
Haniel Barbosa
changing default (#1944)
commit
|
commitdiff
|
tree
2018-05-17
Haniel Barbosa
Option to force return values of Bool functions to...
commit
|
commitdiff
|
tree
2018-05-15
Haniel Barbosa
adding regressions (#1925)
commit
|
commitdiff
|
tree
2018-05-15
Haniel Barbosa
Building and refining solutions with dynamic condition...
commit
|
commitdiff
|
tree
2018-05-14
Haniel Barbosa
Fix purification in SygusUnifRL (#1912)
commit
|
commitdiff
|
tree
2018-05-11
Haniel Barbosa
Also exclude ITEs from ITE conditions in SygusUnifStrat...
commit
|
commitdiff
|
tree
2018-05-10
Haniel Barbosa
Static learn redundant operators in CegisUnif (#1899)
commit
|
commitdiff
|
tree
2018-05-09
Haniel Barbosa
Piecing solutions together in CegisUnif (#1894)
commit
|
commitdiff
|
tree
2018-05-08
Haniel Barbosa
Classifying data in SygusUnifRL (#1886)
commit
|
commitdiff
|
tree
2018-05-08
Haniel Barbosa
only lazy trie changes (#1885)
commit
|
commitdiff
|
tree
2018-05-04
Haniel Barbosa
Move Lazy trie datastructure to its own file (#1871)
commit
|
commitdiff
|
tree
2018-05-03
Haniel Barbosa
Make CegisUnif default to Cegis when no unif used ...
commit
|
commitdiff
|
tree
2018-04-30
Haniel Barbosa
Refactor real2int (#1813)
commit
|
commitdiff
|
tree
2018-04-28
Haniel Barbosa
Initial implementation of SygusUnifRL (#1829)
commit
|
commitdiff
|
tree
2018-04-27
Haniel Barbosa
New module for synthesizing functions in a data-driven...
commit
|
commitdiff
|
tree
2018-02-02
Haniel Barbosa
Option to check solutions produced by SyGuS solver...
commit
|
commitdiff
|
tree
2017-12-05
Haniel Barbosa
Adding SyGuS grammars for rationals. (#1426)
commit
|
commitdiff
|
tree
2017-12-03
Haniel Barbosa
Normalize grammars - 2 (#1420)
commit
|
commitdiff
|
tree
2017-11-23
Haniel Barbosa
Converting defined functions and let expressions from...
commit
|
commitdiff
|
tree
2017-11-21
Haniel Barbosa
Adding infrastructure for normalizing SyGuS grammars...
commit
|
commitdiff
|
tree