Exact intervals#885

Merged

sjunges merged 33 commits intostormchecker:masterfrom

lukovdm:exactIntervals

Apr 13, 2026

Commits on Mar 4, 2026

Commits on Mar 5, 2026

Commits on Mar 6, 2026

Update ExplicitQualitativeCheckResult usage to use SolutionType and include IntervalForward in tests
lukovdm
committed
Fix other qualitative check result value types
lukovdm
committed

Commits on Mar 10, 2026

Add exact Intervals and bounded model checking of intervals
lukovdm
committed

Commits on Mar 19, 2026

Merge remote-tracking branch 'origin/master' into exactIntervals
lukovdm
committed
Merge branch 'master' into exactIntervals
lukovdm
committed
Refactor AddUncertainty transformer to use ValueType for uncertainty parameters and update tests accordingly
lukovdm
committed
Fix logic in AddUncertainty transformer to handle maxSuccessors condition correctly
lukovdm
committed
Fix default value of argument not convertable to rational numbers for cln
lukovdm
committed
Fix conversion error in robust model checking test
lukovdm
committed
Update makeUncertainAndCheckRational to use storm::RationalNumber for uncertainty parameter
lukovdm
committed
Fix test
lukovdm
committed

Commits on Mar 24, 2026

Commits on Apr 1, 2026

add uncertainty resolution mode to multipliers and enable next properties for interval models
lukovdm
committed

Commits on Apr 2, 2026

Merge branch 'master' into exactIntervals
lukovdm
committed

Commits on Apr 9, 2026

Review comments
lukovdm
committed
format
lukovdm
committed