projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b79e8b3) | patch
first crack at compatibility java interface (not built by default)
authorMorgan Deters <mdeters@gmail.com>
Sun, 25 Sep 2011 08:18:45 +0000 (08:18 +0000)
committerMorgan Deters <mdeters@gmail.com>
Sun, 25 Sep 2011 08:18:45 +0000 (08:18 +0000)
commit964b40905c6daed1ac4612fde034264222f6bb67
tree741d0bb71fc81168fddb004468e95bbc67f5fc99tree
parentb79e8b369649f053ce3a39d3d178e4e2dbcf9993commit | diff
first crack at compatibility java interface (not built by default)
74 files changed:
configure.ac diff | blob | history
src/bindings/Makefile.am diff | blob | history
src/bindings/compat/Makefile [new file with mode: 0644] blob
src/bindings/compat/Makefile.am [new file with mode: 0644] blob
src/bindings/compat/java/Cvc3_manifest [new file with mode: 0644] blob
src/bindings/compat/java/Makefile [new file with mode: 0644] blob
src/bindings/compat/java/Makefile.am [new file with mode: 0644] blob
src/bindings/compat/java/create_impl.py [new file with mode: 0644] blob
src/bindings/compat/java/formula_value.h [new file with mode: 0644] blob
src/bindings/compat/java/include/cvc3/JniUtils.h [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/CLException.java [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/Context.java [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/ContextMut.java [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/ContextMut_impl.cpp [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/Context_impl.cpp [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/Cvc3.java [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/Cvc3Exception.java [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/DebugException.java [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/Embedded.java [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/EmbeddedManager.java [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/EmbeddedManager_impl.cpp [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/EvalException.java [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/Expr.java [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/ExprManager.java [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/ExprManagerMut.java [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/ExprManager_impl.cpp [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/ExprMut.java [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/ExprMut_impl.cpp [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/Expr_impl.cpp [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/Flag.java [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/FlagException.java [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/Flag_impl.cpp [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/Flags.java [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/FlagsMut.java [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/FlagsMut_impl.cpp [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/Flags_impl.cpp [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/FormulaValue.java [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/InputLanguage.java [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/JniUtils.cpp [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/JniUtils.java [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/Op.java [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/OpMut.java [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/OpMut_impl.cpp [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/Op_impl.cpp [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/ParserException.java [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/Proof.java [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/ProofMut.java [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/ProofMut_impl.cpp [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/Proof_impl.cpp [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/QueryResult.java [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/Rational.java [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/RationalMut.java [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/RationalMut_impl.cpp [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/Rational_impl.cpp [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/SatResult.java [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/SmtlibException.java [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/SoundException.java [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/Statistics.java [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/StatisticsMut.java [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/StatisticsMut_impl.cpp [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/Statistics_impl.cpp [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/Test.java [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/Theorem.java [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/TheoremMut.java [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/TheoremMut_impl.cpp [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/Theorem_impl.cpp [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/TimeoutHandler.java [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/Type.java [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/TypeMut.java [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/TypeMut_impl.cpp [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/Type_impl.cpp [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/TypecheckException.java [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/ValidityChecker.java [new file with mode: 0644] blob
src/bindings/compat/java/src/cvc3/ValidityChecker_impl.cpp [new file with mode: 0644] blob