git.libre-soc.org Git - cvc5.git/history - src/preprocessing/passes/sygus

2020-07-07	Andrew Reynolds	Transfer ownership of internal Options from NodeManager...	blob \| commitdiff \| raw
2020-06-16	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2020-03-20	Andrew Reynolds	Fix variable shadowing issue in sygus-inference (#4121)	blob \| commitdiff \| raw \| diff to current
2020-03-05	Mathias Preiner	Enable -Wshadow and fix warnings. (#3909)	blob \| commitdiff \| raw \| diff to current
2019-12-02	Andrew Reynolds	Fix case of higher-order + sygus inference (#3509)	blob \| commitdiff \| raw \| diff to current
2019-11-27	Andrew Reynolds	Fix sygus inference for choice functions introduced...	blob \| commitdiff \| raw \| diff to current
2019-10-08	Andrew Reynolds	Limit cases of sygus inference based on type (#3370)	blob \| commitdiff \| raw \| diff to current
2019-08-20	Andrew Reynolds	Fixes for sygus inference on quantifier free problems...	blob \| commitdiff \| raw \| diff to current
2019-03-26	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-10-02	Andres Noetzli	Make registration of preprocessing passes explicit...	blob \| commitdiff \| raw \| diff to current
2018-10-01	Andres Noetzli	Refactor preprocessing pass registration (#2468)	blob \| commitdiff \| raw \| diff to current
2018-08-20	Andrew Reynolds	Make sygus inference a preprocessing pass (#2334)	blob \| commitdiff \| raw \| diff to current