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

Bug 271

Summary: Priorities in UPPAAL
Product: UPPAAL Reporter: John Håkansson <johnh>
Component: EngineAssignee: John Håkansson <johnh>
Status: RESOLVED FIXED    
Severity: enhancement    
Priority: P2    
Version: unspecified   
Hardware: PC   
OS: All   
Architecture:

Description John Håkansson 2006-02-14 10:51:36 CET
Priorities have been added in the SVN repository,
documentation can be found at:

http://www.uppaal.com/priority.shtml

Any input is welcome.
Comment 1 John Håkansson 2006-02-14 11:07:35 CET
Changed status to 'fixed'