projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ad0a71e) | patch
* fix compatibility library naming for SMT-LIBv1
authorMorgan Deters <mdeters@gmail.com>
Fri, 28 Sep 2012 16:46:13 +0000 (16:46 +0000)
committerMorgan Deters <mdeters@gmail.com>
Fri, 28 Sep 2012 16:46:13 +0000 (16:46 +0000)
commitc0c351a89871e0a6881668fa1a8d87349ab8af8e
tree2fb912cfd9e29b7cbfc2b97f09a5581831168984tree
parentad0a71e2782bc291ba9f808d24df2e1d8ca1b41ecommit | diff
* fix compatibility library naming for SMT-LIBv1
* change name of JNI library to "libcvc4jni", which works better with Java's
  System.loadLibrary().

(this commit was certified error- and warning-free by the test-and-commit script.)
examples/SimpleVC.java diff | blob | history
src/bindings/Makefile.am diff | blob | history
src/compat/cvc3_compat.h diff | blob | history
test/system/CVC4JavaTest.java diff | blob | history