From 92b87773274307dcf388326c92b35bc168c04a79 Mon Sep 17 00:00:00 2001 From: Moritz Zwerger Date: Wed, 4 Mar 2026 15:22:11 +0100 Subject: [PATCH 01/77] add eldarica to classpath This is most certainly not the intended way, the `ivy.xml` adds multiple repository. But good enough for now until eldarica is published to https://www.sosy-lab.org/ivy/uuverifiers/ --- .classpath | 1 + .idea/JavaSMT.iml | 1 + build.xml | 3 ++- build/ivysettings.xml | 17 +++++++++++------ lib/ivy.xml | 4 ++++ 5 files changed, 19 insertions(+), 7 deletions(-) diff --git a/.classpath b/.classpath index 06e8af411e..1ce22f8001 100644 --- a/.classpath +++ b/.classpath @@ -24,6 +24,7 @@ SPDX-License-Identifier: Apache-2.0 + diff --git a/.idea/JavaSMT.iml b/.idea/JavaSMT.iml index 77b8b55e62..bb237d5c8c 100644 --- a/.idea/JavaSMT.iml +++ b/.idea/JavaSMT.iml @@ -367,6 +367,7 @@ SPDX-License-Identifier: Apache-2.0 +