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

author	mudathirmahgoub <mudathirmahgoub@gmail.com>
	Fri, 1 Oct 2021 23:21:02 +0000 (18:21 -0500)
committer	GitHub <noreply@github.com>
	Fri, 1 Oct 2021 23:21:02 +0000 (23:21 +0000)
commit	98e884a740e8e2d1c32c8b60f3197fbae656e619
tree	3fb1b24141ec833240eb71aebd93f383e897b592	tree
parent	6405f082a85e2a2ce7e25ff1f8b058f3f42fd58b	commit \| diff

Update java examples using the new Java API (#7225)

This PRs updates java examples using the new Java API, by converting C++ examples to Java.
Examples CVC4Streams.java and PipedInput.java are removed since they are not longer supported by the API.
All examples are not included in the build which would be added in a future PR.

36 files changed:

docs/examples/extract.rst		diff \| blob \| history
docs/examples/quickstart.rst		diff \| blob \| history
docs/examples/relations.rst		diff \| blob \| history
docs/examples/sequences.rst		diff \| blob \| history
docs/examples/sets.rst		diff \| blob \| history
docs/examples/sygus-fun.rst		diff \| blob \| history
docs/examples/sygus-grammar.rst		diff \| blob \| history
docs/examples/sygus-inv.rst		diff \| blob \| history
examples/api/cpp/CMakeLists.txt		diff \| blob \| history
examples/api/cpp/floating_point_arith.cpp	[new file with mode: 0644]	blob
examples/api/java/BitVectors.java		diff \| blob \| history
examples/api/java/BitVectorsAndArrays.java		diff \| blob \| history
examples/api/java/CVC4Streams.java	[deleted file]	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	[new file with mode: 0644]	blob
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/PipedInput.java	[deleted file]	blob \| history
examples/api/java/QuickStart.java	[new file with mode: 0644]	blob
examples/api/java/Relations.java		diff \| blob \| history
examples/api/java/Sequences.java	[new file with mode: 0644]	blob
examples/api/java/Sets.java	[new file with mode: 0644]	blob
examples/api/java/Statistics.java		diff \| blob \| history
examples/api/java/Strings.java		diff \| blob \| history
examples/api/java/SygusFun.java	[new file with mode: 0644]	blob
examples/api/java/SygusGrammar.java	[new file with mode: 0644]	blob
examples/api/java/SygusInv.java	[new file with mode: 0644]	blob
examples/api/java/Transcendentals.java	[new file with mode: 0644]	blob
examples/api/java/UnsatCores.java		diff \| blob \| history
src/api/java/cvc5/Grammar.java		diff \| blob \| history
src/api/java/cvc5/Term.java		diff \| blob \| history
src/api/java/jni/cvc5_Grammar.cpp		diff \| blob \| history
test/unit/api/java/cvc5/SolverTest.java		diff \| blob \| history

RSS Atom