summaryrefslogtreecommitdiff
path: root/COPYING
AgeCommit message (Expand)Author
2014-06-19Documentation clean-ups.Morgan Deters
2014-01-08Merge branch '1.3.x'Morgan Deters
2014-01-08Switch license default back to BSD, and add --best and --enable-gpl options.Morgan Deters
2014-01-02Merge branch '1.3.x'Morgan Deters
2014-01-02Update copyright year.Morgan Deters
2013-12-17Merge branch '1.3.x'Morgan Deters
2013-12-17some config changes: new --bsd option, readline gives warning, default build ...Morgan Deters
2013-12-16First attempt at incorporating LFSC proof checker into CVC4.Morgan Deters
2013-12-05NEWS reorganization.Morgan Deters
2013-04-26FCSimplex branch mergeTim King
2013-02-16Some cleanup and copyright updatingMorgan Deters
2013-01-22update ANTLR URLs (antlr.org -> antlr3.org)Morgan Deters
2012-10-11Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it'sMorgan Deters
2012-10-11Fix wording on GPL in legal notices; also remove an unnecessary source depend...Morgan Deters
2012-02-21don't require libboost_thread (its presence is detected at configure-time), a...Morgan Deters
2012-02-20portfolio mergeMorgan Deters
2012-02-12copyright year updated to 2012Morgan Deters
2011-04-10merge from replay branchMorgan Deters
2010-11-08fix out-of-date version/copyright for minisatsMorgan Deters
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-03With this commit come a number of changes to build system to supportMorgan Deters
2010-04-05updating COPYING file to reflect that antlr_input_imports.cpp is not under CV...Morgan Deters
2010-04-01PARSER STUFF:Morgan Deters
2010-03-05* public/private code untangled (smt/smt_engine.h no longer #includesMorgan 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