projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c6c2cb9) | patch
Refactor java package name from cvc5 to io.github.cvc5.api (#7340)
authormudathirmahgoub <mudathirmahgoub@gmail.com>
Fri, 22 Oct 2021 23:00:06 +0000 (18:00 -0500)
committerGitHub <noreply@github.com>
Fri, 22 Oct 2021 23:00:06 +0000 (23:00 +0000)
commit60c9b4980920e0f279085e4dd1ea2518b218074c
tree4f402f4f1c2c6760a8b877b307ff16cbefed2019tree
parentc6c2cb9d3cc911526266e517460b3e8ae2dab9c0commit | diff
Refactor java package name from cvc5 to io.github.cvc5.api (#7340)

This PR refactors java package name from cvc5 to io.github.cvc5.api.
It also refactor the names of cpp and java files.
117 files changed:
docs/api/java/CMakeLists.txt 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
src/api/java/CMakeLists.txt diff | blob | history
src/api/java/cvc5/AbstractPointer.java [deleted file] blob | history
src/api/java/cvc5/CVC5ApiException.java [deleted file] blob | history
src/api/java/cvc5/CVC5ApiOptionException.java [deleted file] blob | history
src/api/java/cvc5/CVC5ApiRecoverableException.java [deleted file] blob | history
src/api/java/cvc5/Datatype.java [deleted file] blob | history
src/api/java/cvc5/DatatypeConstructor.java [deleted file] blob | history
src/api/java/cvc5/DatatypeConstructorDecl.java [deleted file] blob | history
src/api/java/cvc5/DatatypeDecl.java [deleted file] blob | history
src/api/java/cvc5/DatatypeSelector.java [deleted file] blob | history
src/api/java/cvc5/Grammar.java [deleted file] blob | history
src/api/java/cvc5/IPointer.java [deleted file] blob | history
src/api/java/cvc5/Op.java [deleted file] blob | history
src/api/java/cvc5/OptionInfo.java [deleted file] blob | history
src/api/java/cvc5/Pair.java [deleted file] blob | history
src/api/java/cvc5/Result.java [deleted file] blob | history
src/api/java/cvc5/RoundingMode.java [deleted file] blob | history
src/api/java/cvc5/Solver.java [deleted file] blob | history
src/api/java/cvc5/Sort.java [deleted file] blob | history
src/api/java/cvc5/Stat.java [deleted file] blob | history
src/api/java/cvc5/Statistics.java [deleted file] blob | history
src/api/java/cvc5/Term.java [deleted file] blob | history
src/api/java/cvc5/Triplet.java [deleted file] blob | history
src/api/java/cvc5/Utils.java [deleted file] blob | history
src/api/java/genkinds.py.in diff | blob | history
src/api/java/io/github/cvc5/api/AbstractPointer.java [new file with mode: 0644] blob
src/api/java/io/github/cvc5/api/CVC5ApiException.java [new file with mode: 0644] blob
src/api/java/io/github/cvc5/api/CVC5ApiOptionException.java [new file with mode: 0644] blob
src/api/java/io/github/cvc5/api/CVC5ApiRecoverableException.java [new file with mode: 0644] blob
src/api/java/io/github/cvc5/api/Datatype.java [new file with mode: 0644] blob
src/api/java/io/github/cvc5/api/DatatypeConstructor.java [new file with mode: 0644] blob
src/api/java/io/github/cvc5/api/DatatypeConstructorDecl.java [new file with mode: 0644] blob
src/api/java/io/github/cvc5/api/DatatypeDecl.java [new file with mode: 0644] blob
src/api/java/io/github/cvc5/api/DatatypeSelector.java [new file with mode: 0644] blob
src/api/java/io/github/cvc5/api/Grammar.java [new file with mode: 0644] blob
src/api/java/io/github/cvc5/api/IPointer.java [new file with mode: 0644] blob
src/api/java/io/github/cvc5/api/Op.java [new file with mode: 0644] blob
src/api/java/io/github/cvc5/api/OptionInfo.java [new file with mode: 0644] blob
src/api/java/io/github/cvc5/api/Pair.java [new file with mode: 0644] blob
src/api/java/io/github/cvc5/api/Result.java [new file with mode: 0644] blob
src/api/java/io/github/cvc5/api/RoundingMode.java [new file with mode: 0644] blob
src/api/java/io/github/cvc5/api/Solver.java [new file with mode: 0644] blob
src/api/java/io/github/cvc5/api/Sort.java [new file with mode: 0644] blob
src/api/java/io/github/cvc5/api/Stat.java [new file with mode: 0644] blob
src/api/java/io/github/cvc5/api/Statistics.java [new file with mode: 0644] blob
src/api/java/io/github/cvc5/api/Term.java [new file with mode: 0644] blob
src/api/java/io/github/cvc5/api/Triplet.java [new file with mode: 0644] blob
src/api/java/io/github/cvc5/api/Utils.java [new file with mode: 0644] blob
src/api/java/jni/api_utilities.cpp [new file with mode: 0644] blob
src/api/java/jni/api_utilities.h [new file with mode: 0644] blob
src/api/java/jni/cvc5JavaApi.cpp [deleted file] blob | history
src/api/java/jni/cvc5JavaApi.h [deleted file] blob | history
src/api/java/jni/cvc5_Datatype.cpp [deleted file] blob | history
src/api/java/jni/cvc5_DatatypeConstructor.cpp [deleted file] blob | history
src/api/java/jni/cvc5_DatatypeConstructorDecl.cpp [deleted file] blob | history
src/api/java/jni/cvc5_DatatypeDecl.cpp [deleted file] blob | history
src/api/java/jni/cvc5_DatatypeSelector.cpp [deleted file] blob | history
src/api/java/jni/cvc5_Grammar.cpp [deleted file] blob | history
src/api/java/jni/cvc5_Op.cpp [deleted file] blob | history
src/api/java/jni/cvc5_OptionInfo.cpp [deleted file] blob | history
src/api/java/jni/cvc5_Result.cpp [deleted file] blob | history
src/api/java/jni/cvc5_Solver.cpp [deleted file] blob | history
src/api/java/jni/cvc5_Sort.cpp [deleted file] blob | history
src/api/java/jni/cvc5_Stat.cpp [deleted file] blob | history
src/api/java/jni/cvc5_Statistics.cpp [deleted file] blob | history
src/api/java/jni/cvc5_Term.cpp [deleted file] blob | history
src/api/java/jni/datatype.cpp [new file with mode: 0644] blob
src/api/java/jni/datatype_constructor.cpp [new file with mode: 0644] blob
src/api/java/jni/datatype_constructor_decl.cpp [new file with mode: 0644] blob
src/api/java/jni/datatype_decl.cpp [new file with mode: 0644] blob
src/api/java/jni/datatype_selector.cpp [new file with mode: 0644] blob
src/api/java/jni/grammar.cpp [new file with mode: 0644] blob
src/api/java/jni/op.cpp [new file with mode: 0644] blob
src/api/java/jni/option_Info.cpp [new file with mode: 0644] blob
src/api/java/jni/option_info.cpp [new file with mode: 0644] blob
src/api/java/jni/result.cpp [new file with mode: 0644] blob
src/api/java/jni/solver.cpp [new file with mode: 0644] blob
src/api/java/jni/sort.cpp [new file with mode: 0644] blob
src/api/java/jni/stat.cpp [new file with mode: 0644] blob
src/api/java/jni/statistics.cpp [new file with mode: 0644] blob
src/api/java/jni/term.cpp [new file with mode: 0644] blob
test/unit/api/java/CMakeLists.txt diff | blob | history
test/unit/api/java/DatatypeTest.java [new file with mode: 0644] blob
test/unit/api/java/GrammarTest.java [new file with mode: 0644] blob
test/unit/api/java/OpTest.java [new file with mode: 0644] blob
test/unit/api/java/ResultTest.java [new file with mode: 0644] blob
test/unit/api/java/SolverTest.java [new file with mode: 0644] blob
test/unit/api/java/SortTest.java [new file with mode: 0644] blob
test/unit/api/java/TermTest.java [new file with mode: 0644] blob
test/unit/api/java/cvc5/DatatypeTest.java [deleted file] blob | history
test/unit/api/java/cvc5/GrammarTest.java [deleted file] blob | history
test/unit/api/java/cvc5/OpTest.java [deleted file] blob | history
test/unit/api/java/cvc5/ResultTest.java [deleted file] blob | history
test/unit/api/java/cvc5/SolverTest.java [deleted file] blob | history
test/unit/api/java/cvc5/SortTest.java [deleted file] blob | history
test/unit/api/java/cvc5/TermTest.java [deleted file] blob | history