Age | Commit message (Expand) | Author |
2020-05-05 | Update copyright year and AUTHORS/THANKS files. (#4468) | Aina Niemetz |
2020-04-28 | update Haniel's affiliation (#4404) | Haniel Barbosa |
2018-08-01 | Remove outdated references to TLS (#2245) | Andres Noetzli |
2018-06-25 | Update AUTHORS, NEWS, README, RELEASE-NOTES and THANKS file for 1.6. | Aina Niemetz |
2018-02-06 | Updated authors list | Aina Niemetz |
2017-06-30 | Updates to AUTHORS and THANKS for 1.5 (mostly done by Tim). | Clark Barrett |
2016-05-30 | Added Guy to authors list. | Clark Barrett |
2016-05-20 | Updated AUTHORS file | Clark Barrett |
2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
2015-12-02 | Adds Google, Inc. to the AUTHORS file. | Chris Conway |
2015-05-12 | Added Finn Haedicke as a contributor. | Clark Barrett |
2014-11-13 | Minor changes to AUTHORS and COPYING | Clark Barrett |
2014-11-13 | Minor adjustments to wording. | Morgan Deters |
2014-11-13 | Copyright text fixes. | Morgan Deters |
2014-10-02 | Update AUTHORS affiliations and add Martin. | Morgan Deters |
2014-09-26 | Clarify some licensing-related things. | Morgan Deters |
2014-06-19 | Documentation clean-ups. | Morgan Deters |
2014-03-19 | Minor documentation fixups. | Morgan Deters |
2013-04-03 | Some final minor changes before cutting 1.1. | Morgan Deters |
2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |
2012-09-22 | Separate public-facing and internal-facing interfaces to Statistics. | Morgan Deters |
2012-09-19 | General subscriber infrastructure for NodeManager, as discussed in the | Morgan Deters |
2012-02-20 | portfolio merge | Morgan Deters |
2012-02-13 | precision in theoryskel | François Bobot |
2010-09-27 | add workaround for systems (i.e., Mac OS X) that don't support __thread; also... | ACSYS |
2010-07-05 | workaround for strange CIMS installation of automake; resolves bug 172: autog... | Morgan Deters |
2010-07-05 | Added Cesare to list of authors | Clark Barrett |
2010-07-05 | Changed AUTHORS - removed references to earlier CVC tool authors | Clark Barrett |
2010-07-03 | With this commit come a number of changes to build system to support | Morgan Deters |
2010-02-10 | svn:ignore for build stuff; add Liana to AUTHORS | Morgan Deters |
2009-11-12 | parser, minisat, other things.. | Morgan Deters |
2009-11-03 | commit of project structure including autotools support | Morgan Deters |