projects / cvc5.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
adding sygus news (#2934)
2019-04-04 Haniel Barbosaadding sygus news (#2934)
 commit | commitdiff | tree
2019-04-04 Haniel BarbosaIgnoring FP benchmarks with "unsafe" sizes unless option...
commit | commitdiff | tree
2019-04-04 Haniel BarbosaUpdate release notes and lib version (#2933)
 commit | commitdiff | tree
2019-03-29 Haniel Barbosaremoving deprecated rewriting signature / example ...
commit | commitdiff | tree
2019-03-28 Haniel Barbosafix ex_bv.plf (#2905)
 commit | commitdiff | tree
2019-03-22 Haniel Barbosafix help information on TPTP parsing (#2884)
 commit | commitdiff | tree
2019-03-15 Haniel BarbosaNew beta-reduction for HOL solving (#2869)
 commit | commitdiff | tree
2019-03-15 Haniel BarbosaAdding capture avoiding substitution (#2867)
 commit | commitdiff | tree
2018-11-07 Haniel BarbosaAdding default SyGuS grammar construction for arrays...
commit | commitdiff | tree
2018-11-03 Haniel BarbosaRefactor default grammars construction (#2681)
 commit | commitdiff | tree
2018-10-18 Haniel BarbosaIntroducing internal commands for SyGuS commands (...
commit | commitdiff | tree
2018-10-16 Haniel BarbosaOption for shuffling condition pool in CegisUnif (...
commit | commitdiff | tree
2018-10-11 Haniel BarbosaFix default setting of CegisUnif options (#2605)
 commit | commitdiff | tree
2018-10-05 Haniel BarbosaFix unif trace (#2550)
 commit | commitdiff | tree
2018-10-03 Haniel BarbosaMake CegisUnif with condition independent robust to...
commit | commitdiff | tree
2018-10-01 Haniel Barbosainit scalar class members (coverity issues 1473720...
commit | commitdiff | tree
2018-09-29 Haniel BarbosaStream concrete values for variable agnostic enumerators...
commit | commitdiff | tree
2018-09-26 Haniel BarbosaMakes SyGuS parsing more robust in invariant problems...
commit | commitdiff | tree
2018-09-18 Haniel Barbosafix assertion error (#2487)
 commit | commitdiff | tree
2018-09-13 Haniel BarbosaUses information gain heuristic for building better...
commit | commitdiff | tree
2018-09-11 Haniel Barbosafix (#2446)
 commit | commitdiff | tree
2018-09-11 Haniel BarbosaUsing a single condition enumerator in sygus-unif ...
commit | commitdiff | tree
2018-08-31 Haniel BarbosaAllows SAT checks of repair const to have different...
commit | commitdiff | tree
2018-08-31 Haniel BarbosaFix export of bound variables (#2409)
 commit | commitdiff | tree
2018-08-29 Haniel Barbosafix bv total ops printing (#2365)
 commit | commitdiff | tree
2018-08-25 Haniel BarbosaRefactor nlExtPurify preprocessing pass (#1963)
 commit | commitdiff | tree
2018-08-23 Haniel BarbosaMakes the filename be set in the SMT engine by default...
commit | commitdiff | tree
2018-08-22 Haniel BarbosaAdds regression test for automatic generation of SyGuS...
commit | commitdiff | tree
2018-08-21 Haniel BarbosaMakes the new row propagation system default (#2335)
 commit | commitdiff | tree
2018-08-17 Haniel Barbosacleaning unnecessary timers/dumps (#2327)
 commit | commitdiff | tree
2018-08-17 Haniel BarbosaAdding support for bitvector SyGuS problems without...
commit | commitdiff | tree
2018-08-16 Haniel BarbosaRefactor extended rewriter preprocessing pass (#2324)
 commit | commitdiff | tree
2018-08-16 Haniel BarbosaRefactor apply2const (#2316)
 commit | commitdiff | tree
2018-05-23 Haniel BarbosaTowards better symbolic enumeration in SyGuS (#1971)
 commit | commitdiff | tree
2018-05-21 Haniel BarbosaAssign weight 1 for Boolean variables in SyGuS default...
commit | commitdiff | tree
2018-05-19 Haniel Barbosachanging default (#1944)
 commit | commitdiff | tree
2018-05-17 Haniel BarbosaOption to force return values of Bool functions to...
commit | commitdiff | tree
2018-05-15 Haniel Barbosaadding regressions (#1925)
 commit | commitdiff | tree
2018-05-15 Haniel BarbosaBuilding and refining solutions with dynamic condition...
commit | commitdiff | tree
2018-05-14 Haniel BarbosaFix purification in SygusUnifRL (#1912)
 commit | commitdiff | tree
2018-05-11 Haniel BarbosaAlso exclude ITEs from ITE conditions in SygusUnifStrat...
commit | commitdiff | tree
2018-05-10 Haniel BarbosaStatic learn redundant operators in CegisUnif (#1899)
 commit | commitdiff | tree
2018-05-09 Haniel BarbosaPiecing solutions together in CegisUnif (#1894)
 commit | commitdiff | tree
2018-05-08 Haniel BarbosaClassifying data in SygusUnifRL (#1886)
 commit | commitdiff | tree
2018-05-08 Haniel Barbosaonly lazy trie changes (#1885)
 commit | commitdiff | tree
2018-05-04 Haniel BarbosaMove Lazy trie datastructure to its own file (#1871)
 commit | commitdiff | tree
2018-05-03 Haniel BarbosaMake CegisUnif default to Cegis when no unif used ...
commit | commitdiff | tree
2018-04-30 Haniel BarbosaRefactor real2int (#1813)
 commit | commitdiff | tree
2018-04-28 Haniel BarbosaInitial implementation of SygusUnifRL (#1829)
 commit | commitdiff | tree
2018-04-27 Haniel BarbosaNew module for synthesizing functions in a data-driven...
commit | commitdiff | tree
2018-02-02 Haniel BarbosaOption to check solutions produced by SyGuS solver...
commit | commitdiff | tree
2017-12-05 Haniel BarbosaAdding SyGuS grammars for rationals. (#1426)
 commit | commitdiff | tree
2017-12-03 Haniel BarbosaNormalize grammars - 2 (#1420)
 commit | commitdiff | tree
2017-11-23 Haniel BarbosaConverting defined functions and let expressions from...
commit | commitdiff | tree
2017-11-21 Haniel BarbosaAdding infrastructure for normalizing SyGuS grammars...
commit | commitdiff | tree