| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |
 |
index : cvc5.git | |
| CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. | git repository hosting |
| summaryrefslogtreecommitdiff |
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback