4 Commits

Author	SHA1	Message	Date
Daniel Larraz	17f380674b	java: Store JNI library by OS and CPU architecture (#12237) ... This PR builds and stores the JNI library in a directory structured according to the OS and CPU architecture. This allows a single JAR to contain native JNI libraries for multiple OSes and CPU architectures simultaneously, and prevents file collisions when multiple JARs containing a native JNI library for the same OS but different architectures are added to the classpath.	2025-11-17 16:17:04 +00:00
Daniel Larraz	1120e3df17	Adapt CMake files to run Java tests on Windows (#12203) ... Resolves #12143	2025-11-05 21:25:56 +00:00
Daniel Larraz	478876f4d8	Add missing Java and Python API tests (#12186)	2025-10-28 11:29:03 +00:00
Daniel Larraz	1b34e4c887	java: Make CVC5ApiException a subclass of RuntimeException (#12141) ... Currently, `CVC5ApiException` inherits from `Exception`, which is a *checked exception* in Java. Checked exceptions must be declared in the `throws` clause of any method that may throw them; failing to do so prevents Java code using the method from catching the exception as a `CVC5ApiException`. This PR changes `CVC5ApiException` to be a subclass of `RuntimeException`, which is an *unchecked exception*. Unchecked exceptions may optionally be listed in the *throws* clause, but omitting them does not prevent code from catching them. Fixes #12117	2025-09-22 20:36:26 +00:00