git.libre-soc.org Git - cvc5.git/history - src/theory/datatypes/theory_datatypes

2020-09-22	Mathias Preiner	Update copyright header script to support CMake and...	blob \| commitdiff \| raw
2020-06-16	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2020-06-13	Andrew Reynolds	Move sygus datatype utility functions to their own...	blob \| commitdiff \| raw \| diff to current
2020-06-04	Andrew Reynolds	Add sygus datatype substitution utility method (#4390)	blob \| commitdiff \| raw \| diff to current
2020-04-11	Andrew Reynolds	Ensure exported sygus solutions match grammar (#4270)	blob \| commitdiff \| raw \| diff to current
2019-12-12	Andrew Reynolds	Use the node-level datatypes API (#3556)	blob \| commitdiff \| raw \| diff to current
2019-12-06	Andrew Reynolds	Optimize the rewriter for DT_SYGUS_EVAL (#3529)	blob \| commitdiff \| raw \| diff to current
2019-12-04	Andrew Reynolds	New grammar construction modes for SyGuS (#3486)	blob \| commitdiff \| raw \| diff to current
2019-11-15	Andrew Reynolds	Introduce SyGuS datatype API (#3465)	blob \| commitdiff \| raw \| diff to current
2019-11-01	Andrew Reynolds	Eagerly beta reduce during sygus to builtin term conver...	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