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

2018-05-21	Andrew Reynolds	Refactor sygus eval unfold (#1946)	blob \| commitdiff \| raw
2018-05-17	Andrew Reynolds	Cegis-specific infrastructure (#1933)	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-03	Haniel Barbosa	Make CegisUnif default to Cegis when no unif used ...	blob \| commitdiff \| raw \| diff to current
2018-03-02	Andrew Reynolds	Simplify sygus wrt miniscoping (#1634)	blob \| commitdiff \| raw \| diff to current
2018-03-02	Andrew Reynolds	Create infrastructure for sygus modules (#1632)	blob \| commitdiff \| raw \| diff to current