projects / cvc5.git / history
| 2009-12-17 | Morgan Deters | update-copyright.pl now retrieves and incorporates... | blob | commitdiff | raw |
| 2009-12-10 | Dejan Jovanović | killing expr into node... | blob | commitdiff | raw | diff to current |
| 2009-12-08 | Morgan Deters | work on propositional layer, expression builder support... | blob | commitdiff | raw | diff to current |
| 2009-11-24 | Morgan Deters | various fixes and updates to use and support parser | blob | commitdiff | raw | diff to current |
| 2009-11-23 | Morgan Deters | fixups, file comments | 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 | from meeting | blob | commitdiff | raw | diff to current |