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

Bug 196

Summary: Add symmetry reduction
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: EngineAssignee: Martijn Hendriks <martijnh>
Status: RESOLVED FIXED    
Severity: enhancement    
Priority: P1    
Version: unspecified   
Hardware: All   
OS: All   
Architecture:
Bug Depends on: 116, 117, 118, 119, 195    
Bug Blocks:    

Description Gerd Behrmann 2005-09-03 21:04:09 CEST 
This is a tracking bug for the effort to add symmetry reduction to UPPAAL.
Comment 1 Gerd Behrmann 2006-02-01 11:35:21 CET 
Increasing priority to P1 (target is the next release).
Comment 2 Gerd Behrmann 2006-02-26 21:35:45 CET 
Symmetry reduction is now implemented on the trunk (rev. 1563).