projects / cvc5.git / history
| 2009-12-17 | Morgan Deters | support nonstandard, unconfigured builds (e.g., ".... | blob | commitdiff | raw |
| 2009-12-05 | Morgan Deters | more build system work | blob | commitdiff | raw | diff to current |
| 2009-11-25 | Morgan Deters | additional work on parser hookup, configuration + build | blob | commitdiff | raw | diff to current |
| 2009-11-20 | Morgan Deters | fixes to build/test system | blob | commitdiff | raw | diff to current |
| 2009-11-19 | Morgan Deters | testing framework, configure fixes, incorporations... | blob | commitdiff | raw | diff to current |
| 2009-11-17 | Morgan Deters | fixes/redesign of source layout from meeting | blob | commitdiff | raw | diff to current |
| 2009-11-12 | Morgan Deters | parser, minisat, other things.. | blob | commitdiff | raw | diff to current |
| 2009-11-09 | Morgan Deters | minor fixes, added contrib directory | blob | commitdiff | raw | diff to current |
| 2009-11-03 | Morgan Deters | commit of project structure including autotools support | blob | commitdiff | raw | diff to current |