Coshy#81

Open

AstridHornBrorholt wants to merge 8 commits intoUPPAALModelChecker:mainfrom

AstridHornBrorholt:coshy

Commits on Feb 19, 2025

Commits on Feb 25, 2025

Remove this stupid assert
AstridHornBrorholt
committed

Commits on Feb 27, 2025

Support of Locations in interval lists
AstridHornBrorholt
committed

Commits on Mar 11, 2025

Change query from "enforce" to "acontrol"
AstridHornBrorholt
committed

Commits on Apr 28, 2025

Fix that stupid +0.0 bug. Maybe being too permissive but idc
AstridHornBrorholt
committed
Fix typechecking error of intervals (this allows floating points to be used as bounds)
AstridHornBrorholt
committed

Commits on Oct 16, 2025

Merge branch 'main' into coshy
mikucionisaau
committed