projects / cvc5.git / history
| 2010-02-04 | Morgan Deters | Added theory output channel interfaces and "Interrupted... | blob | commitdiff | raw |
| 2009-12-16 | Morgan Deters | Fixes to the build system: | blob | commitdiff | raw | diff to current |
| 2009-12-10 | Morgan Deters | cleanups, assert work, add a stubbed uf theory, fix... | blob | commitdiff | raw | diff to current |
| 2009-12-08 | Morgan Deters | check in automake/libtool/autoconf-generated files... | blob | commitdiff | raw | diff to current |
| 2009-11-23 | Morgan Deters | fixups, file comments | 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 | ignored items | blob | commitdiff | raw | diff to current |