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

author	Andres Noetzli <andres.noetzli@gmail.com>
	Thu, 31 Mar 2022 04:09:03 +0000 (21:09 -0700)
committer	GitHub <noreply@github.com>
	Thu, 31 Mar 2022 04:09:03 +0000 (04:09 +0000)
commit	c93de62d8b084cbcdb88c87ff856d240f2f49efe
tree	145b8bc1db61b0115ce68d1f73ad6d7774bcd39b	tree
parent	3ebf1214385a12be5e952bf7424ba760393d804b	commit \| diff

Move Java package to `io.github.cvc5` (#8469)

Previously, we were using io.github.cvc5.api to mirror the C++
namespace that the API was in. The namespace of the C++ API changed to
simply cvc5 and so this commit updates the Java package accordingly.

95 files changed:

docs/api/java/CMakeLists.txt		diff \| blob \| history
examples/SimpleVC.java		diff \| blob \| history
examples/api/java/BitVectors.java		diff \| blob \| history
examples/api/java/BitVectorsAndArrays.java		diff \| blob \| history
examples/api/java/Combination.java		diff \| blob \| history
examples/api/java/Datatypes.java		diff \| blob \| history
examples/api/java/Exceptions.java		diff \| blob \| history
examples/api/java/Extract.java		diff \| blob \| history
examples/api/java/FloatingPointArith.java		diff \| blob \| history
examples/api/java/HelloWorld.java		diff \| blob \| history
examples/api/java/LinearArith.java		diff \| blob \| history
examples/api/java/QuickStart.java		diff \| blob \| history
examples/api/java/Relations.java		diff \| blob \| history
examples/api/java/Sequences.java		diff \| blob \| history
examples/api/java/Sets.java		diff \| blob \| history
examples/api/java/Statistics.java		diff \| blob \| history
examples/api/java/Strings.java		diff \| blob \| history
examples/api/java/SygusFun.java		diff \| blob \| history
examples/api/java/SygusGrammar.java		diff \| blob \| history
examples/api/java/SygusInv.java		diff \| blob \| history
examples/api/java/Transcendentals.java		diff \| blob \| history
examples/api/java/UnsatCores.java		diff \| blob \| history
examples/api/java/Utils.java		diff \| blob \| history
src/api/java/CMakeLists.txt		diff \| blob \| history
src/api/java/genenums.py.in		diff \| blob \| history
src/api/java/io/github/cvc5/AbstractPointer.java	[new file with mode: 0644]	blob
src/api/java/io/github/cvc5/CVC5ApiException.java	[new file with mode: 0644]	blob
src/api/java/io/github/cvc5/CVC5ApiOptionException.java	[new file with mode: 0644]	blob
src/api/java/io/github/cvc5/CVC5ApiRecoverableException.java	[new file with mode: 0644]	blob
src/api/java/io/github/cvc5/Datatype.java	[new file with mode: 0644]	blob
src/api/java/io/github/cvc5/DatatypeConstructor.java	[new file with mode: 0644]	blob
src/api/java/io/github/cvc5/DatatypeConstructorDecl.java	[new file with mode: 0644]	blob
src/api/java/io/github/cvc5/DatatypeDecl.java	[new file with mode: 0644]	blob
src/api/java/io/github/cvc5/DatatypeSelector.java	[new file with mode: 0644]	blob
src/api/java/io/github/cvc5/Grammar.java	[new file with mode: 0644]	blob
src/api/java/io/github/cvc5/IPointer.java	[new file with mode: 0644]	blob
src/api/java/io/github/cvc5/Op.java	[new file with mode: 0644]	blob
src/api/java/io/github/cvc5/OptionInfo.java	[new file with mode: 0644]	blob
src/api/java/io/github/cvc5/Pair.java	[new file with mode: 0644]	blob
src/api/java/io/github/cvc5/Result.java	[new file with mode: 0644]	blob
src/api/java/io/github/cvc5/Solver.java	[new file with mode: 0644]	blob
src/api/java/io/github/cvc5/Sort.java	[new file with mode: 0644]	blob
src/api/java/io/github/cvc5/Stat.java	[new file with mode: 0644]	blob
src/api/java/io/github/cvc5/Statistics.java	[new file with mode: 0644]	blob
src/api/java/io/github/cvc5/SynthResult.java	[new file with mode: 0644]	blob
src/api/java/io/github/cvc5/Term.java	[new file with mode: 0644]	blob
src/api/java/io/github/cvc5/Triplet.java	[new file with mode: 0644]	blob
src/api/java/io/github/cvc5/Utils.java	[new file with mode: 0644]	blob
src/api/java/io/github/cvc5/api/AbstractPointer.java	[deleted file]	blob \| history
src/api/java/io/github/cvc5/api/CVC5ApiException.java	[deleted file]	blob \| history
src/api/java/io/github/cvc5/api/CVC5ApiOptionException.java	[deleted file]	blob \| history
src/api/java/io/github/cvc5/api/CVC5ApiRecoverableException.java	[deleted file]	blob \| history
src/api/java/io/github/cvc5/api/Datatype.java	[deleted file]	blob \| history
src/api/java/io/github/cvc5/api/DatatypeConstructor.java	[deleted file]	blob \| history
src/api/java/io/github/cvc5/api/DatatypeConstructorDecl.java	[deleted file]	blob \| history
src/api/java/io/github/cvc5/api/DatatypeDecl.java	[deleted file]	blob \| history
src/api/java/io/github/cvc5/api/DatatypeSelector.java	[deleted file]	blob \| history
src/api/java/io/github/cvc5/api/Grammar.java	[deleted file]	blob \| history
src/api/java/io/github/cvc5/api/IPointer.java	[deleted file]	blob \| history
src/api/java/io/github/cvc5/api/Op.java	[deleted file]	blob \| history
src/api/java/io/github/cvc5/api/OptionInfo.java	[deleted file]	blob \| history
src/api/java/io/github/cvc5/api/Pair.java	[deleted file]	blob \| history
src/api/java/io/github/cvc5/api/Result.java	[deleted file]	blob \| history
src/api/java/io/github/cvc5/api/Solver.java	[deleted file]	blob \| history
src/api/java/io/github/cvc5/api/Sort.java	[deleted file]	blob \| history
src/api/java/io/github/cvc5/api/Stat.java	[deleted file]	blob \| history
src/api/java/io/github/cvc5/api/Statistics.java	[deleted file]	blob \| history
src/api/java/io/github/cvc5/api/SynthResult.java	[deleted file]	blob \| history
src/api/java/io/github/cvc5/api/Term.java	[deleted file]	blob \| history
src/api/java/io/github/cvc5/api/Triplet.java	[deleted file]	blob \| history
src/api/java/io/github/cvc5/api/Utils.java	[deleted file]	blob \| history
src/api/java/jni/api_utilities.h		diff \| blob \| history
src/api/java/jni/datatype.cpp		diff \| blob \| history
src/api/java/jni/datatype_constructor.cpp		diff \| blob \| history
src/api/java/jni/datatype_constructor_decl.cpp		diff \| blob \| history
src/api/java/jni/datatype_decl.cpp		diff \| blob \| history
src/api/java/jni/datatype_selector.cpp		diff \| blob \| history
src/api/java/jni/grammar.cpp		diff \| blob \| history
src/api/java/jni/op.cpp		diff \| blob \| history
src/api/java/jni/option_info.cpp		diff \| blob \| history
src/api/java/jni/result.cpp		diff \| blob \| history
src/api/java/jni/solver.cpp		diff \| blob \| history
src/api/java/jni/sort.cpp		diff \| blob \| history
src/api/java/jni/stat.cpp		diff \| blob \| history
src/api/java/jni/statistics.cpp		diff \| blob \| history
src/api/java/jni/synth_result.cpp		diff \| blob \| history
src/api/java/jni/term.cpp		diff \| blob \| history
test/unit/api/java/DatatypeTest.java		diff \| blob \| history
test/unit/api/java/GrammarTest.java		diff \| blob \| history
test/unit/api/java/OpTest.java		diff \| blob \| history
test/unit/api/java/ResultTest.java		diff \| blob \| history
test/unit/api/java/SolverTest.java		diff \| blob \| history
test/unit/api/java/SortTest.java		diff \| blob \| history
test/unit/api/java/SynthResultTest.java		diff \| blob \| history
test/unit/api/java/TermTest.java		diff \| blob \| history

RSS Atom