Solver independent interpolation - #560

Open

juliusbrehme wants to merge 45 commits into

solver_independent_interpolation2_arm64

Commits on Apr 7, 2025

Add general implementation for retrieving the 2 interpolation groups of asserted formulas from our tracking of asserted formulas
baierd
committed
733d43b
Add the new interpolation options to the ProverOptions
baierd
committed
8d35e69

Commits on Apr 16, 2025

Add a prover delegate for solver-independent interpolation to Prover creation in AbstractSolverContext
baierd
committed
eab70d4

Commits on May 16, 2025

Commits on Nov 23, 2025

Merge branch 'master' into solver_independent_interpolation2_arm64
juliusbrehme
committed
993f400

Commits on Nov 28, 2025

First changes to get the independent interpolation method working
juliusbrehme
committed
c256db9

Commits on Dec 13, 2025

added requirements for tests
juliusbrehme
committed
d78e284
small fixes for independent interpolation
juliusbrehme
committed
23ae59a

Commits on Dec 14, 2025

update independent interpolation logic and tests
juliusbrehme
committed
2404f5c

Commits on Dec 18, 2025

Commits on Dec 20, 2025

Commits on Dec 27, 2025

add trivial test for independent interpolation
juliusbrehme
committed
74424f6
update requireInterpolation
juliusbrehme
committed
89acfea
use class variable
juliusbrehme
committed
6d7d488
remove isTrivialFalse
juliusbrehme
committed
2fa4562

Commits on Jan 29, 2026

Commits on Jan 31, 2026

Commits on Feb 6, 2026

Merge branch 'master' of github.com:sosy-lab/java-smt into solver_independent_interpolation2_arm64
juliusbrehme
committed
82b5d78

Commits on Apr 7, 2026