Age | Commit message (Expand) | Author |
---|---|---|
2012-03-08 | fix "make dist" | Morgan Deters |
2012-03-07 | fix some Java compatibility-layer interface problems; also fix some Mac OS X ... | Morgan Deters |
2012-01-27 | effecting the same change in the compat Java binding as was done to CVC3 yest... | Morgan Deters |
2011-11-01 | Improvements to header installation on user machines. Internally, we can | Morgan Deters |
2011-10-31 | fix to "make install" | Morgan Deters |
2011-10-06 | don't build language bindings unless expressly requested with --enable-langua... | Morgan Deters |
2011-09-30 | interfaces fixes and cleanups...and examples of each interface! | Morgan Deters |
2011-09-29 | build system fixes | Morgan Deters |
2011-09-28 | another make dist fix for java compat bindings | Morgan Deters |
2011-09-28 | fixes for make dist ; make install | Morgan Deters |
2011-09-27 | more interface work; adding legacy C interface | Morgan Deters |
2011-09-25 | first crack at compatibility java interface (not built by default) | Morgan Deters |