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

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-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-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