summaryrefslogtreecommitdiff
path: root/AUTHORS
AgeCommit message (Expand)Author
2017-06-30Updates to AUTHORS and THANKS for 1.5 (mostly done by Tim).Clark Barrett
2016-05-30Added Guy to authors list.Clark Barrett
2016-05-20Updated AUTHORS fileClark Barrett
2015-12-14Refactoring Options Handler & Library Cycle BreakingTim King
2015-12-02Adds Google, Inc. to the AUTHORS file.Chris Conway
2015-05-12Added Finn Haedicke as a contributor.Clark Barrett
2014-11-13Minor changes to AUTHORS and COPYINGClark Barrett
2014-11-13Minor adjustments to wording.Morgan Deters
2014-11-13Copyright text fixes.Morgan Deters
2014-10-02Update AUTHORS affiliations and add Martin.Morgan Deters
2014-09-26Clarify some licensing-related things.Morgan Deters
2014-06-19Documentation clean-ups.Morgan Deters
2014-03-19Minor documentation fixups.Morgan Deters
2013-04-03Some final minor changes before cutting 1.1.Morgan Deters
2012-10-11Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it'sMorgan Deters
2012-09-22Separate public-facing and internal-facing interfaces to Statistics.Morgan Deters
2012-09-19General subscriber infrastructure for NodeManager, as discussed in theMorgan Deters
2012-02-20portfolio mergeMorgan Deters
2012-02-13precision in theoryskelFrançois Bobot
2010-09-27add workaround for systems (i.e., Mac OS X) that don't support __thread; also...ACSYS
2010-07-05workaround for strange CIMS installation of automake; resolves bug 172: autog...Morgan Deters
2010-07-05Added Cesare to list of authorsClark Barrett
2010-07-05Changed AUTHORS - removed references to earlier CVC tool authorsClark Barrett
2010-07-03With this commit come a number of changes to build system to supportMorgan Deters
2010-02-10svn:ignore for build stuff; add Liana to AUTHORSMorgan Deters
2009-11-12parser, minisat, other things..Morgan Deters
2009-11-03commit of project structure including autotools supportMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback