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

Bugzilla allows you to view and track the state of the bug database in all manner of exciting ways.

Current State

Change Over Time