git.libre-soc.org Git - cvc5.git/commit

author	Andres Noetzli <andres.noetzli@gmail.com>
	Tue, 4 Sep 2018 21:59:19 +0000 (14:59 -0700)
committer	Andrew Reynolds <andrew.j.reynolds@gmail.com>
	Tue, 4 Sep 2018 21:59:19 +0000 (16:59 -0500)
commit	747a9a248da073911e1c0da34c38f0648421a087
tree	98449a71c66d0ad427b8c8dc6f0ed1b9fbccdfbe	tree
parent	29bf7d6a937ab50c4dd92a30d7beb36a4001ead6	commit \| diff

Remove CVC3 compatibility layer (#2418)

103 files changed:

INSTALL		diff \| blob \| history
Makefile.am		diff \| blob \| history
Makefile.builds.in		diff \| blob \| history
configure.ac		diff \| blob \| history
contrib/update-copyright.pl		diff \| blob \| history
doc/SmtEngine.3cvc_template.in		diff \| blob \| history
doc/cvc4.1_template.in		diff \| blob \| history
doc/cvc4.5.in		diff \| blob \| history
doc/libcvc4.3.in		diff \| blob \| history
doc/libcvc4compat.3.in	[deleted file]	blob \| history
doc/libcvc4parser.3.in		diff \| blob \| history
doc/options.3cvc_template.in		diff \| blob \| history
examples/Makefile.am		diff \| blob \| history
examples/SimpleVCCompat.java	[deleted file]	blob \| history
examples/simple_vc_compat_c.c	[deleted file]	blob \| history
examples/simple_vc_compat_cxx.cpp	[deleted file]	blob \| history
library_versions		diff \| blob \| history
src/Makefile.am		diff \| blob \| history
src/bindings/Makefile.am		diff \| blob \| history
src/bindings/compat/Makefile	[deleted file]	blob \| history
src/bindings/compat/Makefile.am	[deleted file]	blob \| history
src/bindings/compat/c/Makefile	[deleted file]	blob \| history
src/bindings/compat/c/Makefile.am	[deleted file]	blob \| history
src/bindings/compat/c/c_interface.cpp	[deleted file]	blob \| history
src/bindings/compat/c/c_interface.h	[deleted file]	blob \| history
src/bindings/compat/c/c_interface_defs.h	[deleted file]	blob \| history
src/bindings/compat/java/Cvc3_manifest	[deleted file]	blob \| history
src/bindings/compat/java/Makefile	[deleted file]	blob \| history
src/bindings/compat/java/Makefile.am	[deleted file]	blob \| history
src/bindings/compat/java/create_impl.py	[deleted file]	blob \| history
src/bindings/compat/java/formula_value.h	[deleted file]	blob \| history
src/bindings/compat/java/include/cvc3/JniUtils.h	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/CLException.java	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/Context.java	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/ContextMut.java	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/ContextMut_impl.cpp	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/Context_impl.cpp	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/Cvc3.java	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/Cvc3Exception.java	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/DebugException.java	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/Embedded.java	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/EmbeddedManager.java	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/EmbeddedManager_impl.cpp	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/EvalException.java	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/Expr.java	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/ExprManager.java	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/ExprManagerMut.java	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/ExprManager_impl.cpp	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/ExprMut.java	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/ExprMut_impl.cpp	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/Expr_impl.cpp	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/Flag.java	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/FlagException.java	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/Flag_impl.cpp	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/Flags.java	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/FlagsMut.java	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/FlagsMut_impl.cpp	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/Flags_impl.cpp	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/FormulaValue.java	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/InputLanguage.java	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/JniUtils.cpp	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/JniUtils.java	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/Op.java	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/OpMut.java	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/OpMut_impl.cpp	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/Op_impl.cpp	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/ParserException.java	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/Proof.java	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/ProofMut.java	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/ProofMut_impl.cpp	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/Proof_impl.cpp	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/QueryResult.java	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/Rational.java	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/RationalMut.java	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/RationalMut_impl.cpp	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/Rational_impl.cpp	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/SatResult.java	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/SmtlibException.java	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/SoundException.java	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/Statistics.java	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/StatisticsMut.java	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/StatisticsMut_impl.cpp	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/Statistics_impl.cpp	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/Test.java	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/Theorem.java	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/TheoremMut.java	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/TheoremMut_impl.cpp	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/Theorem_impl.cpp	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/TimeoutHandler.java	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/Type.java	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/TypeMut.java	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/TypeMut_impl.cpp	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/Type_impl.cpp	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/TypecheckException.java	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/ValidityChecker.java	[deleted file]	blob \| history
src/bindings/compat/java/src/cvc3/ValidityChecker_impl.cpp	[deleted file]	blob \| history
src/compat/Makefile	[deleted file]	blob \| history
src/compat/Makefile.am	[deleted file]	blob \| history
src/compat/cvc3_compat.cpp	[deleted file]	blob \| history
src/compat/cvc3_compat.h	[deleted file]	blob \| history
src/include/cvc4_private_library.h		diff \| blob \| history
test/system/Makefile.am		diff \| blob \| history
test/system/cvc3_main.cpp	[deleted file]	blob \| history

RSS Atom