2013-12-04 | Morgan Deters | More Java bindings fixes | blob | commitdiff | raw |
2013-12-03 | Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 | blob | commitdiff | raw | diff to current |
2013-11-27 | Morgan Deters | Java bindings improvements for CASCADE, minor cleanup. | blob | commitdiff | raw | diff to current |