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

2012-07-31	Morgan Deters	Moving some instantiation-related stuff from src/theory...	blob \| commitdiff \| raw
2012-07-31	Morgan Deters	Options merge. This commit:	blob \| commitdiff \| raw \| diff to current
2012-07-27	Andrew Reynolds	merging fmf-devel branch, includes refactored datatype...	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-14	Morgan Deters	The "no-tears-in-competition-mode" commit. Change...	blob \| commitdiff \| raw \| diff to current
2012-06-11	Morgan Deters	Merge from quantifiers2-trunkmerge branch.	blob \| commitdiff \| raw \| diff to current