git.libre-soc.org Git - cvc5.git/history - src/util/configuration

[cvc5.git] / src / util / configuration_private.h

2012-03-01	Morgan Deters	Partial merge from kind-backend branch, including Minis...	blob \| commitdiff \| raw
2012-02-12	Morgan Deters	copyright year updated to 2012	blob \| commitdiff \| raw \| diff to current
2011-10-28	Liana Hadarean	merged the proofgen3 branch into trunk:	blob \| commitdiff \| raw \| diff to current
2011-10-21	Morgan Deters	add gcc version information to Configuration, and warn...	blob \| commitdiff \| raw \| diff to current
2011-09-02	Morgan Deters	Merge from my post-smtcomp branch. Includes:	blob \| commitdiff \| raw \| diff to current
2011-06-30	Morgan Deters	some things I had laying around in a directory but...	blob \| commitdiff \| raw \| diff to current
2011-04-10	Morgan Deters	merge from replay branch	blob \| commitdiff \| raw \| diff to current
2011-03-15	Morgan Deters	Merge from cudd branch. This mostly just adds support...	blob \| commitdiff \| raw \| diff to current
2011-02-26	Morgan Deters	Commit to fix bug 241 (improper "using namespace std...	blob \| commitdiff \| raw \| diff to current
2010-11-19	Morgan Deters	add statistics support information to --show-config	blob \| commitdiff \| raw \| diff to current
2010-10-08	Morgan Deters	* (define-fun...) now has proper type checking in non...	blob \| commitdiff \| raw \| diff to current
2010-10-04	Morgan Deters	remove/shuffle some #include dependencies; fix some...	blob \| commitdiff \| raw \| diff to current
2010-10-03	Morgan Deters	file header documentation regenerated with contributors...	blob \| commitdiff \| raw \| diff to current
2010-09-27	ACSYS	add workaround for systems (i.e., Mac OS X) that don...	blob \| commitdiff \| raw \| diff to current
2010-07-29	Christopher L. Conway	Adding configuration_private.h to allow inlining of...	blob \| commitdiff \| raw \| diff to current

RSS Atom