git.libre-soc.org Git - cvc5.git/history - src/theory/quantifiers/sygus/cegis

2018-05-10	Andrew Reynolds	Fix priority of decisions for cegis unif (#1897)	blob \| commitdiff \| raw
2018-05-09	Haniel Barbosa	Piecing solutions together in CegisUnif (#1894)	blob \| commitdiff \| raw \| diff to current
2018-05-08	Haniel Barbosa	Classifying data in SygusUnifRL (#1886)	blob \| commitdiff \| raw \| diff to current
2018-05-04	Andrew Reynolds	Cegis unif register evaluation points (#1878)	blob \| commitdiff \| raw \| diff to current
2018-05-04	Andrew Reynolds	Initialize cegis unif strategy (#1861)	blob \| commitdiff \| raw \| diff to current
2018-05-03	Andrew Reynolds	Link cegis unif with the enumeration manager (#1859)	blob \| commitdiff \| raw \| diff to current
2018-05-03	Haniel Barbosa	Make CegisUnif default to Cegis when no unif used ...	blob \| commitdiff \| raw \| diff to current
2018-05-01	Andrew Reynolds	Cegis unif enumerator manager (#1837)	blob \| commitdiff \| raw \| diff to current
2018-04-30	Andrew Reynolds	Allow multiple functions in sygus unif approaches ...	blob \| commitdiff \| raw \| diff to current
2018-04-28	Haniel Barbosa	Initial implementation of SygusUnifRL (#1829)	blob \| commitdiff \| raw \| diff to current
2018-04-27	Haniel Barbosa	New module for synthesizing functions in a data-driven...	blob \| commitdiff \| raw \| diff to current