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

[cvc5.git] / src / theory / quantifiers / sygus / sygus_unif_io.cpp

2018-11-28	Andrew Reynolds	Information gain heuristic for PBE (#2719)	blob \| commitdiff \| raw
2018-11-21	Andrew Reynolds	Cache evaluations for PBE (#2699)	blob \| commitdiff \| raw \| diff to current
2018-11-21	Andrew Reynolds	Quickly recognize when PBE conjectures are infeasible...	blob \| commitdiff \| raw \| diff to current
2018-10-31	Andrew Reynolds	Add optimized sygus enumeration (#2677)	blob \| commitdiff \| raw \| diff to current
2018-10-09	Aina Niemetz	Random: support URNG interface (#2595)	blob \| commitdiff \| raw \| diff to current
2018-09-27	Andrew Reynolds	Infrastructure for using active enumerators in sygus...	blob \| commitdiff \| raw \| diff to current
2018-08-28	Andrew Reynolds	Fix warning in sygus io. (#2391)	blob \| commitdiff \| raw \| diff to current
2018-08-23	Andrew Reynolds	Fixing some coverity warnings (#2357)	blob \| commitdiff \| raw \| diff to current
2018-07-21	Andrew Reynolds	sygusComp2018: refactor and improve sygus io utility...	blob \| commitdiff \| raw \| diff to current
2018-06-25	Aina Niemetz	Updated copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-05-16	Andrew Reynolds	Improve the separation resolution scheme in cegis unif...	blob \| commitdiff \| raw \| diff to current
2018-05-15	Andrew Reynolds	Incorporating dynamic condition enumeration into cegis...	blob \| commitdiff \| raw \| diff to current
2018-05-10	Haniel Barbosa	Static learn redundant operators in CegisUnif (#1899)	blob \| commitdiff \| raw \| diff to current
2018-05-04	Andrew Reynolds	Initialize cegis unif strategy (#1861)	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	Andrew Reynolds	Make construct solution behavior specific to SygusIO...	blob \| commitdiff \| raw \| diff to current
2018-04-03	Andrew Reynolds	Make sygus unif I/O an subclass of sygus unif (#1741)	blob \| commitdiff \| raw \| diff to current

RSS Atom