Registered
by
Mads Chr. Olesen
Python library for manipulating UPPAAL xml files. Can currently import, export and layout models.
View full history Series and milestones
trunk series is the current focus of development.
All bugs Latest bugs reported
-
Bug #1641933: Errors when using multiple variables in select statements
Reported -
Bug #960072: Fix setup.py file to use standard setuptools
Reported -
Bug #780495: urgent locations are ignored
Reported -
Bug #316306: Layout of transitions could be better
Reported -
Bug #313593: Invariants are not styled
Reported
