Coshy - #81

Open

AstridHornBrorholt wants to merge 8 commits into

UPPAALModelChecker:mainfrom

AstridHornBrorholt:coshy

Commits on Feb 19, 2025

Add HYPA "enforce" query
AstridHornBrorholt
committed
c7e2ca7
Allow clocks
AstridHornBrorholt
committed
e27523d

Commits on Feb 25, 2025

Remove this stupid assert
AstridHornBrorholt
committed
5dd4440

Commits on Feb 27, 2025

Support of Locations in interval lists
AstridHornBrorholt
committed
afc00bd

Commits on Mar 11, 2025

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

Commits on Apr 28, 2025

Commits on Oct 16, 2025

Merge branch 'main' into coshy
mikucionisaau
committed
473ce9a