projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Fix warning (#3053)
2019-06-13
Haniel Barbosa
Fix warning (#3053)
commit
|
commitdiff
|
tree
2019-04-12
Haniel Barbosa
Referring to prerelease 1.8 (#2943)
commit
|
commitdiff
|
tree
2019-04-09
Haniel Barbosa
Removing references to cvc4-bugs@... (#2945)
commit
|
commitdiff
|
tree
2019-04-09
Haniel Barbosa
"prerelease -> release" in INSTALL (#2944)
commit
|
commitdiff
|
tree
2019-04-08
Haniel Barbosa
fix copyright year in configuration file (#2942)
commit
|
commitdiff
|
tree
2019-04-05
Haniel Barbosa
prerelease -> release (#2941)
commit
|
commitdiff
|
tree
2019-04-05
Haniel Barbosa
fix fp issue (#2940)
commit
|
commitdiff
|
tree
2019-04-04
Haniel Barbosa
adding sygus news (#2934)
commit
|
commitdiff
|
tree
2019-04-04
Haniel Barbosa
Ignoring FP benchmarks with "unsafe" sizes unless option...
commit
|
commitdiff
|
tree
2019-04-04
Haniel Barbosa
Update release notes and lib version (#2933)
commit
|
commitdiff
|
tree
2019-03-29
Haniel Barbosa
removing deprecated rewriting signature / example ...
commit
|
commitdiff
|
tree
2019-03-28
Haniel Barbosa
fix ex_bv.plf (#2905)
commit
|
commitdiff
|
tree
2019-03-22
Haniel Barbosa
fix help information on TPTP parsing (#2884)
commit
|
commitdiff
|
tree
2019-03-15
Haniel Barbosa
New beta-reduction for HOL solving (#2869)
commit
|
commitdiff
|
tree
2019-03-15
Haniel Barbosa
Adding capture avoiding substitution (#2867)
commit
|
commitdiff
|
tree
2018-11-07
Haniel Barbosa
Adding default SyGuS grammar construction for arrays...
commit
|
commitdiff
|
tree
2018-11-03
Haniel Barbosa
Refactor default grammars construction (#2681)
commit
|
commitdiff
|
tree
2018-10-18
Haniel Barbosa
Introducing internal commands for SyGuS commands (...
commit
|
commitdiff
|
tree
2018-10-16
Haniel Barbosa
Option for shuffling condition pool in CegisUnif (...
commit
|
commitdiff
|
tree
2018-10-11
Haniel Barbosa
Fix default setting of CegisUnif options (#2605)
commit
|
commitdiff
|
tree
2018-10-05
Haniel Barbosa
Fix unif trace (#2550)
commit
|
commitdiff
|
tree
2018-10-03
Haniel Barbosa
Make CegisUnif with condition independent robust to...
commit
|
commitdiff
|
tree
2018-10-01
Haniel Barbosa
init scalar class members (coverity issues 1473720...
commit
|
commitdiff
|
tree
2018-09-29
Haniel Barbosa
Stream concrete values for variable agnostic enumerators...
commit
|
commitdiff
|
tree
2018-09-26
Haniel Barbosa
Makes SyGuS parsing more robust in invariant problems...
commit
|
commitdiff
|
tree
2018-09-18
Haniel Barbosa
fix assertion error (#2487)
commit
|
commitdiff
|
tree
2018-09-13
Haniel Barbosa
Uses information gain heuristic for building better...
commit
|
commitdiff
|
tree
2018-09-11
Haniel Barbosa
fix (#2446)
commit
|
commitdiff
|
tree
2018-09-11
Haniel Barbosa
Using a single condition enumerator in sygus-unif ...
commit
|
commitdiff
|
tree
2018-08-31
Haniel Barbosa
Allows SAT checks of repair const to have different...
commit
|
commitdiff
|
tree
2018-08-31
Haniel Barbosa
Fix export of bound variables (#2409)
commit
|
commitdiff
|
tree
2018-08-29
Haniel Barbosa
fix bv total ops printing (#2365)
commit
|
commitdiff
|
tree
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