| 2024-03-14 21:18:01 |
Mikkel Tygesen |
bug |
|
|
added bug |
| 2024-03-14 21:18:01 |
Mikkel Tygesen |
attachment added |
|
cpn-approximation-error.txt https://bugs.launchpad.net/bugs/2057970/+attachment/5756075/+files/cpn-approximation-error.txt |
|
| 2024-03-15 10:23:11 |
Jiri Srba |
tapaal: milestone |
|
cpn |
|
| 2024-03-27 16:40:48 |
Mikkel Tygesen |
summary |
Approximation does not work for CPN |
Enable approximation for CPNs |
|
| 2024-03-27 16:41:01 |
Mikkel Tygesen |
description |
Enabling approximation for timed colored nets throws an NPE. The stack trace can be seen in the attached file. |
Enabling approximation for timed colored nets currently throws an NPE. The stack trace can be seen in the attached file. |
|
| 2024-05-24 18:29:38 |
Jiri Srba |
tapaal: status |
New |
Fix Committed |
|
