projects / cvc5.git / shortlog
| 2009-11-12 | Morgan Deters | minor fixes | commit | commitdiff | tree |
| 2009-11-12 | Morgan Deters | parser, minisat, other things.. | commit | commitdiff | tree |
| 2009-11-09 | Morgan Deters | minor fixes, added contrib directory | commit | commitdiff | tree |
| 2009-11-03 | Morgan Deters | additional headers and modifications; now passes syntax... | commit | commitdiff | tree |
| 2009-11-03 | Morgan Deters | additional headers | commit | commitdiff | tree |
| 2009-11-03 | Morgan Deters | commit of project structure including autotools support | commit | commitdiff | tree |
| 2009-09-26 | Morgan Deters | Initial setup of the cvc4 repository | commit | commitdiff | tree |