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

2018-08-22	Andrew Reynolds	More unused code elimination (#2358)	blob \| commitdiff \| raw
2018-06-25	Aina Niemetz	Updated copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-03-05	Mathias Preiner	Enable -Wsuggest-override by default. (#1643)	blob \| commitdiff \| raw \| diff to current
2017-11-02	Andrew Reynolds	(Move-only) Split quant util (#1306)	blob \| commitdiff \| raw \| diff to current