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

2012-12-11	Andrew Reynolds	adding cache for preprocessing datatypes terms to fix...	blob \| commitdiff \| raw
2012-11-30	Andrew Reynolds	quantifiers now uses master equality engine, preparatio...	blob \| commitdiff \| raw \| diff to current
2012-11-26	Dejan Jovanović	Adding support for a master equality engine. Each theor...	blob \| commitdiff \| raw \| diff to current
2012-10-11	Morgan Deters	Standardizing copyright notice. Touches ALL source...	blob \| commitdiff \| raw \| diff to current
2012-09-22	Morgan Deters	Separate public-facing and internal-facing interfaces...	blob \| commitdiff \| raw \| diff to current
2012-08-31	Andrew Reynolds	merge from fmf-devel branch. more updates to models...	blob \| commitdiff \| raw \| diff to current
2012-07-27	François Bobot	Merge quantifiers2-trunk:	blob \| commitdiff \| raw \| diff to current
2012-07-12	Andrew Reynolds	merged fmf-devel branch, includes support for SMT2...	blob \| commitdiff \| raw \| diff to current
2012-06-11	Morgan Deters	Merge from quantifiers2-trunkmerge branch.	blob \| commitdiff \| raw \| diff to current