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

[cvc5.git] / src / theory / quantifiers / sygus / sygus_pbe.h

2020-02-11	Andrew Reynolds	Use example evaluation cache instead of sygus PBE ...	blob \| commitdiff \| raw
2020-01-14	Andrew Reynolds	Generalize example-based sym breaking to conjectures...	blob \| commitdiff \| raw \| diff to current
2019-08-23	Andrew Reynolds	Pass synthesis conjecture to sygus modules (#3212)	blob \| commitdiff \| raw \| diff to current
2019-04-24	Mathias Preiner	Do not use __ prefix for header guards. (#2974)	blob \| commitdiff \| raw \| diff to current
2019-03-26	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
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-09	Andrew Reynolds	Support for basic actively-generated enumerators ...	blob \| commitdiff \| raw \| diff to current
2018-09-25	Andrew Reynolds	Allow partial models for multiple sygus enumerators...	blob \| commitdiff \| raw \| diff to current
2018-09-18	Andrew Reynolds	Move and rename sygus solver classes (#2488)	blob \| commitdiff \| raw \| diff to current
2018-06-25	Aina Niemetz	Updated copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-05-17	Andrew Reynolds	Internal propagation for refinement lemmas (#1932)	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-03	Andrew Reynolds	Make sygus unif I/O an subclass of sygus unif (#1741)	blob \| commitdiff \| raw \| diff to current
2018-04-02	Andrew Reynolds	Make sygus unif utility use sygus unif strategies ...	blob \| commitdiff \| raw \| diff to current
2018-03-27	Andrew Reynolds	Make sygus pbe use sygus unif utility (#1724)	blob \| commitdiff \| raw \| diff to current
2018-03-27	Andrew Reynolds	Make sygus unif utility (#1720)	blob \| commitdiff \| raw \| diff to current
2018-03-27	Andrew Reynolds	Documentation and simplifications for PBE (#1677)	blob \| commitdiff \| raw \| diff to current
2018-03-02	Andrew Reynolds	Create infrastructure for sygus modules (#1632)	blob \| commitdiff \| raw \| diff to current
2018-02-14	Andrew Reynolds	Quantifiers subdirectories (#1608)	blob \| commitdiff \| raw \| diff to current

RSS Atom