projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
New C++ API: Fix isDefinedKind() to not be ambigious with respect to … (#2384)
2018-08-25
Haniel Barbosa
Refactor nlExtPurify preprocessing pass (#1963)
commit
|
commitdiff
|
tree
2018-08-23
Haniel Barbosa
Makes the filename be set in the SMT engine by default...
commit
|
commitdiff
|
tree
2018-08-22
Haniel Barbosa
Adds regression test for automatic generation of SyGuS...
commit
|
commitdiff
|
tree
2018-08-21
Haniel Barbosa
Makes the new row propagation system default (#2335)
commit
|
commitdiff
|
tree
2018-08-17
Haniel Barbosa
cleaning unnecessary timers/dumps (#2327)
commit
|
commitdiff
|
tree
2018-08-17
Haniel Barbosa
Adding support for bitvector SyGuS problems without...
commit
|
commitdiff
|
tree
2018-08-16
Haniel Barbosa
Refactor extended rewriter preprocessing pass (#2324)
commit
|
commitdiff
|
tree
2018-08-16
Haniel Barbosa
Refactor apply2const (#2316)
commit
|
commitdiff
|
tree
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