projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f6fcb28) | patch
Fix a handful of things for Mac, and Java bindings.
authorMorgan Deters <mdeters@gmail.com>
Wed, 26 Sep 2012 18:51:48 +0000 (18:51 +0000)
committerMorgan Deters <mdeters@gmail.com>
Wed, 26 Sep 2012 18:51:48 +0000 (18:51 +0000)
commitc1e936b9cec3d731778b95504770e48c28fd1a65
treed0302810f915f51b4c82e4e5d36267b35ba7af38tree
parentf6fcb28606d8eca239c3a71e7f42a2bbbf0a8995commit | diff
Fix a handful of things for Mac, and Java bindings.

Also add a "mac-build" script that sets up prerequisites for Mac.
contrib/Makefile.am diff | blob | history
contrib/get-antlr-3.4 diff | blob | history
contrib/get-bug-attachments diff | blob | history
contrib/mac-build [new file with mode: 0644] blob
src/bindings/compat/java/include/cvc3/JniUtils.h diff | blob | history
src/bindings/compat/java/src/cvc3/JniUtils.cpp diff | blob | history
src/bindings/compat/java/src/cvc3/ValidityChecker_impl.cpp diff | blob | history
src/util/statistics.h diff | blob | history