This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Web page

Our web-site at http://www.uppaal.com

Select a component to see open bugs in that component.

Component Default Assignee
Bugzilla Marius Mikučionis
Bug database for UPPAAL
Misc Marius Mikučionis
All other web-page related bugs.