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

author	mudathirmahgoub <mudathirmahgoub@gmail.com>
	Wed, 30 Mar 2022 21:58:08 +0000 (16:58 -0500)
committer	GitHub <noreply@github.com>
	Wed, 30 Mar 2022 21:58:08 +0000 (21:58 +0000)
commit	c56a361253836f38e275651165a957664c7e126a
tree	dc404aadaff6f3865fc1c0c8c4f3ed388cc0f3d1	tree
parent	29e73bce9a8b5edd1a26361e1e7b2ab624977af2	commit \| diff

Patch cross reference in Kind.java documentation (#8458)

This PR patches cross reference links in Kind.java comments for now until a proper way is implemented that handles documentation for cpp, python and Java API.

22 files changed:

.clang-format		diff \| blob \| history
src/api/cpp/cvc5_kind.h		diff \| blob \| history
src/api/java/genenums.py.in		diff \| blob \| history
src/api/java/io/github/cvc5/api/AbstractPointer.java		diff \| blob \| history
src/api/java/io/github/cvc5/api/Datatype.java		diff \| blob \| history
src/api/java/io/github/cvc5/api/DatatypeConstructor.java		diff \| blob \| history
src/api/java/io/github/cvc5/api/Op.java		diff \| blob \| history
src/api/java/io/github/cvc5/api/Pair.java		diff \| blob \| history
src/api/java/io/github/cvc5/api/Result.java		diff \| blob \| history
src/api/java/io/github/cvc5/api/Solver.java		diff \| blob \| history
src/api/java/io/github/cvc5/api/Sort.java		diff \| blob \| history
src/api/java/io/github/cvc5/api/Statistics.java		diff \| blob \| history
src/api/java/io/github/cvc5/api/Term.java		diff \| blob \| history
src/api/java/io/github/cvc5/api/Triplet.java		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