ID | Product▲ | Comp | Assignee▲ | Status▲ | Resolution | Summary▲ | Changed |
---|---|---|---|---|---|---|---|
65 | UPPAAL | Engine | behrmann | CLOS | FIXE | Handling of committed locations with broadcast synchronisation is broken | 2004-03-15 |
63 | UPPAAL | Engine | behrmann | CLOS | FIXE | St9 Bad Alloc Exception | 2005-06-29 |
64 | UPPAAL | Document | paupet | CLOS | FIXE | the nature of symbolic traces should be explained in the doc | 2005-06-29 |
62 | UPPAAL | Engine | behrmann | CLOS | FIXE | Time is allowed to pass when system is in urgent and / or committed locations | 2004-03-15 |