ID | Product | Comp | Assignee▲ | Status▲ | Resolution | Summary | Changed |
---|---|---|---|---|---|---|---|
489478 | EMFT.Hen | Statespa | henshin.ck | NEW | --- | To call PRISM on Windows add ".bat" to the prism command | 2016-03-12 |
489479 | EMFT.Hen | Statespa | henshin.ck | NEW | --- | PRISM Plot crashes on Windows 8 and 10 | 2016-03-12 |
423398 | EMFT.Hen | Statespa | henshin.ck | ASSI | --- | Selecting initial state in state space explorer fails if initial state references other models | 2013-12-14 |