git.libre-soc.org Git - cvc5.git/history

2012-09-27	Morgan Deters	* Rename SMT parts (printer, parser) to SMT1	blob \| commitdiff \| raw
2012-09-22	Morgan Deters	Separate public-facing and internal-facing interfaces...	blob \| commitdiff \| raw \| diff to current
2012-09-19	Morgan Deters	General subscriber infrastructure for NodeManager,...	blob \| commitdiff \| raw \| diff to current
2012-09-14	Morgan Deters	Fix a few minor issues in options processing, improving...	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-17	Morgan Deters	SMT-LIBv2 compliance updates:	blob \| commitdiff \| raw \| diff to current
2012-06-22	François Bobot	TPTP: add parser for cnf and fof	blob \| commitdiff \| raw \| diff to current
2012-06-08	Morgan Deters	Extend Printer infrastructure also to the "Result"...	blob \| commitdiff \| raw \| diff to current
2011-11-22	Morgan Deters	More language bindings work:	blob \| commitdiff \| raw \| diff to current
2011-09-02	Morgan Deters	Merge from my post-smtcomp branch. Includes:	blob \| commitdiff \| raw \| diff to current
2010-11-15	Morgan Deters	cleanup from today's commits: delegate as-yet-unimpleme...	blob \| commitdiff \| raw \| diff to current
2010-11-15	Morgan Deters	Pretty-printer infrastructure created (in src/printer...	blob \| commitdiff \| raw \| diff to current