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

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

2020-01-31	Andrew Reynolds	Update sygus grammar normalization to use node-level...	blob \| commitdiff \| raw
2019-12-13	Andrew Reynolds	Eliminate Expr-level calls in TypeNode (#3562)	blob \| commitdiff \| raw \| diff to current
2019-11-18	Andrew Reynolds	Improve interface for sygus datatype, fix utilities...	blob \| commitdiff \| raw \| diff to current
2019-11-16	Andrew Reynolds	Use standard interface for sygus default grammar constr...	blob \| commitdiff \| raw \| diff to current
2019-11-15	Andrew Reynolds	Introduce SyGuS datatype API (#3465)	blob \| commitdiff \| raw \| diff to current
2019-10-17	Andrew Reynolds	Move datatype utility functions to own file (#3397)	blob \| commitdiff \| raw \| diff to current
2019-08-05	Andrew Reynolds	Remove forward declarations in quantifiers engine ...	blob \| commitdiff \| raw \| diff to current
2019-03-26	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-10-11	Andrew Reynolds	Fix partial operator elimination in sygus grammar...	blob \| commitdiff \| raw \| diff to current
2018-10-11	Andrew Reynolds	Synthesize rewrite rules from inputs (#2608)	blob \| commitdiff \| raw \| diff to current
2018-10-03	Andrew Reynolds	Eliminate partial operators within lambdas during gramm...	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-08-24	Andrew Reynolds	Do not print internally generated datatypes in externa...	blob \| commitdiff \| raw \| diff to current
2018-08-17	Andrew Reynolds	Eliminate partial operators in sygus grammar normaliza...	blob \| commitdiff \| raw \| diff to current
2018-07-13	Andrew Reynolds	Fix and improve grammar normalization for any constant...	blob \| commitdiff \| raw \| diff to current
2018-06-25	Aina Niemetz	Updated copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-05-28	Andrew Reynolds	Builtin evaluation functions for sygus (#1991)	blob \| commitdiff \| raw \| diff to current
2018-05-23	Andrew Reynolds	Repair constants using symbolic constructors (#1960)	blob \| commitdiff \| raw \| diff to current
2018-02-14	Andrew Reynolds	Quantifiers subdirectories (#1608)	blob \| commitdiff \| raw \| diff to current

RSS Atom