cvc5.git - CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Age	Commit message (Collapse)	Author
2021-05-25	[Unit tests] Fix path of Java bindings (#6616)	Andres Noetzli
	Currently, when configuring cvc5 with Java bindings, CMake complains about `get_filename_component(CVC5_JNI_PATH ${CVC5_JAR_PATH} DIRECTORY)` not using the correct number of arguments in the Java unit tests. The issue is that `${CVC5_JAR_PATH}` is empty. The value of `${CVC5_JAR_PATH}` was computed in the Java API bindings but then not shared with the rest of the build system. Because `${CVC5_JAR_PATH}` is not used anywhere else, this commit moves the computation of `${CVC5_JAR_PATH}` to the unit tests. The commit also ensures that the API subdirectories are processed before the test subdirectories.
2021-05-18	Add Solver.java to the Java API (#6196)	mudathirmahgoub
	PR changes: Add Solver.java and relation JNI c files Update FindJUnit to download JUnit5 Add Java unit tests
2021-04-12	Refactor and update copyright headers. (#6316)	Aina Niemetz

2021-04-06	genkinds: Do not use relative paths to find src directory. (#6293)	Mathias Preiner

2021-04-05	New C++ Api: Rename and move headers. (#6292)	Aina Niemetz

2021-03-20	Generate cvc/Kind.java for the java API (#6143)	mudathirmahgoub
	PR changes: Refactor python/genkinds.py by separating parsing from file generation. Add java/genkinds.py to generate file Kind.java. Enable java API in ./configure.sh with "under development" warning.