Age | Commit message (Expand) | Author |
---|---|---|
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 |