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

2010-10-03	Morgan Deters	file header documentation regenerated with contributors...	blob \| commitdiff \| raw
2010-09-27	ACSYS	add workaround for systems (i.e., Mac OS X) that don...	blob \| commitdiff \| raw \| diff to current
2010-07-06	Morgan Deters	add Configuration::isCompetitionBuild() and some main...	blob \| commitdiff \| raw \| diff to current
2010-07-03	Morgan Deters	With this commit come a number of changes to build...	blob \| commitdiff \| raw \| diff to current
2010-06-04	Morgan Deters	** Don't fear the files-changed list, almost all change...	blob \| commitdiff \| raw \| diff to current
2010-04-01	Morgan Deters	PARSER STUFF:	blob \| commitdiff \| raw \| diff to current
2010-02-22	Morgan Deters	* configure.ac: Remove doc/ from search path for Makefi...	blob \| commitdiff \| raw \| diff to current
2010-02-22	Morgan Deters	fix bug 22 (remove tracing from non-trace builds; remov...	blob \| commitdiff \| raw \| diff to current