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

Age	Commit message (Collapse)	Author
2020-06-18	Improve memory management in Java bindings (#4629)	Andres Noetzli
	Fixes #2846. One of the challenges of the Java bindings is that the garbage collector can delete unused objects at any time in any order. This is an issue with CVC4's API because we require all `Expr`s to be deleted before the corresponding `ExprManager`. In the past, we were using `NewGlobalRef`/`DeleteGlobalRef` on the wrapper object of `ExprManager`. The problem is that we can have multiple instances of the wrapper that internally all refer to the same `ExprManager`. This commit implements a different approach where the Java wrappers hold an explicit reference to the `ExprManager`. The commit also removes some unused or unimportant API bits from the bindings.
2018-10-01	cmake: Add build target build-tests to build all test dependencies. (#2558)	Mathias Preiner

2018-09-26	cmake: Fix test target dependency issues. (#2540)	Mathias Preiner

2018-09-22	cmake: Require JUnit version 4.	Mathias Preiner

2018-09-22	cmake: Compile Java tests and add to ctest if Java bindings are enabled.	Mathias Preiner

2018-09-22	cmake: Added initial build infrastructure.	Aina Niemetz