cvc5.git - CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Age	Commit message (Collapse)	Author
2019-04-24	Do not use __ prefix for header guards. (#2974)	Mathias Preiner
	Fixes 2887.
2019-03-26	Update copyright headers.	Aina Niemetz

2018-06-25	Updated copyright headers.	Aina Niemetz

2017-07-07	Update copyright headers.	Mathias Preiner

2016-04-20	update from the master	PaulMeng

2014-07-01	Update copyrights.	Morgan Deters

2013-04-02	Regenerated copyrights: canonicalized names, no emails	Morgan Deters

2013-04-01	update copyrights	Morgan Deters

2012-10-11	Standardizing copyright notice. Touches ALL sources, guys, sorry.. it's	Morgan Deters
	just the header comments at the top, though. Don't update to this rev if you don't have time for a complete rebuild, and exclude this rev if you want to see what's new across a range of commits. (this commit was certified error- and warning-free by the test-and-commit script.)
2011-04-10	Add -lprofiler when --with-google-perftools is offered; also fix some ↵	Morgan Deters
	newswire-raised documentation issues.
2010-10-20	Fixing minor whitespace bug in the parser	Christopher L. Conway

2010-10-03	file header documentation regenerated with contributors names; no code ↵	Morgan Deters
	modified in this commit
2010-07-06	Fixes for doubled-statistics (bug 171), a fix to muzzled builds and some ↵	Morgan Deters
	minor code cleanup found while searching for additional cases. Closes bug 171.
2010-07-02	re-generated comment headers of source files	Morgan Deters

2010-06-04	Don't fear the files-changed list, almost all changes are in the	Morgan Deters
	file-level documentation at the top of the sources. This is the "make bugzilla stop bugging me" bugfix commit. * Remove BackedNodeBuilder<> and collapse NodeBuilder<> hierarchy. Updated documentation in the file. Resolves bug #99. * Convenience NodeBuilders (PlusNodeBuilder, OrNodeBuilder, etc.) moved into a separate file. Partially resolves bug #100. * Moved isAssociative(Kind) into kind.h (and into the CVC4::kind namespace) instead of metakind.h (where it was in CVC4::metakind). This clears up a warning (private #inclusion) from the SMT and SMT2 parsers, and maybe makes more sense anyways, since this is based on the kind (and not the metakind) of an operator. * Documentation improvement; doxygen top-level \file gestures, \brief gestures for files, etc. Changed contrib/update-copyright.pl for this change, and post-processed to add \brief. Resolves bug #98. * Removed ExprManager::mkExpr(Kind) and NodeManager::mkNode(Kind). They no longer made sense. Resolves bug #91.
2010-05-01	Adding comments to bounded token files	Christopher L. Conway

2010-03-30	Merging from branches/antlr3 (r246:354)	Christopher L. Conway