Add Prover Based ShutdownManager#489

Open

baierd wants to merge 88 commits intomasterfrom

feature_prover_based_shutdown

Commits on May 30, 2025

Revert "Revert changes supposed to be on a feature branch"
baierd
committed

Commits on Jun 2, 2025

Reduce complexity of prover based shutdown getter
baierd
committed
Reduce complexity of prover based shutdown getter even more
baierd
committed
Remove unnecessary comment in BitwuzlaTheoremProver
baierd
committed
Allow and use direct access to prover specific ShutdownNotifier
baierd
committed
Add Int and BV test for context shutdown and prover reuse afterward
baierd
committed
Add default implementation of isUnsat() to centralize checks (closed, shut-down etc.) and add more shutdown checks in the abstract prover
baierd
committed
Add more timeout/shutdown tests:
baierd
committed
Add a model test that checks error when requesting a model for UNSAT (do we have this already elsewhere?)
baierd
committed
Remove unnecessary exceptions from test methods in TimeoutTest
baierd
committed
Format TimeoutTest
baierd
committed
Add default handling for basic prover API like isUnsat(), getUnsatCore() etc. so that interrupts and common prerequisites are uniformly handled
baierd
committed
Remove unnecessary final modifiers in AbstractProver
baierd
committed
Add more uniform handling of prerequisites of interpolation API
baierd
committed
Add clarification JavaDoc for getShutdownManagerForProver()
baierd
committed
Add clarification JavaDoc about needed options for unsatCoreOverAssumptions()
baierd
committed
Add more internal information about shutdown re-use for Z3 and Bitwuzla
baierd
committed
Format JavaDoc
baierd
committed

Commits on Jun 4, 2025

Commits on Jun 11, 2025

Commits on Jun 26, 2025

Commits on Jun 30, 2025

Commits on Jul 1, 2025

Re-throw exception when clearing assumptions, and it's not another exception
baierd
committed

Commits on Jul 21, 2025

Improve JavaDoc of constructor methods of new prover environments with ShutdownNotifiers
baierd
committed

Commits on Jul 29, 2025

Commits on Jul 30, 2025

Commits on Jul 31, 2025

Commits on Aug 4, 2025