summaryrefslogtreecommitdiff
path: root/src/api/java
AgeCommit message (Expand)Author
2021-10-07Add new versioning scheme (#7253)Gereon Kremer
2021-10-07Add missing functions in Term.java (#7297)mudathirmahgoub
2021-10-01Update java examples using the new Java API (#7225)mudathirmahgoub
2021-09-30Integrate javadoc documentation (#7278)Gereon Kremer
2021-09-30Refactor our static builds (#7251)Gereon Kremer
2021-09-30Finish the Java Api (#6396)mudathirmahgoub
2021-09-29Add Statistics and Stat to the Java API (#7243)mudathirmahgoub
2021-09-29Add Sort.java to the java API (#6382)mudathirmahgoub
2021-09-10Add Op.java to the java API (#6387)mudathirmahgoub
2021-09-08Add Datatype.java to the Java API (#6389)mudathirmahgoub
2021-09-08Add DatatypeConstructor.java, DatatypeConstructorDecl.java, DatatypeDecl.java...mudathirmahgoub
2021-08-20Add Term.java to the Java API (#6330)mudathirmahgoub
2021-06-21Add Grammar.java to the java API (#6388)mudathirmahgoub
2021-06-09Update CVC4 URLs/macros (#6666)Andres Noetzli
2021-05-25[Unit tests] Fix path of Java bindings (#6616)Andres Noetzli
2021-05-18Add Solver.java to the Java API (#6196)mudathirmahgoub
2021-05-14Add Result.java to the java API (#6385)mudathirmahgoub
2021-05-10Add doc to Kind.java (#6498)mudathirmahgoub
2021-04-15Rename occurrences of CVC4 to CVC5. (#6351)Aina Niemetz
2021-04-12Refactor and update copyright headers. (#6316)Aina Niemetz
2021-04-06genkinds: Do not use relative paths to find src directory. (#6293)Mathias Preiner
2021-04-05New C++ Api: Rename and move headers. (#6292)Aina Niemetz
2021-04-05parsekinds: Remove DEFAULT_HEADER. (#6294)Mathias Preiner
2021-03-20Generate cvc/Kind.java for the java API (#6143)mudathirmahgoub
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback