VerifyTAPN 1.0.2
Next milestone for possible bug fixes.
Milestone information
- Active:
- No. Drivers cannot target bugs and blueprints to this milestone.
Activities
- Assigned to you:
- No blueprints or bugs assigned to you.
- Assignees:
- 1 Morten Jacobsen
- Blueprints:
- No blueprints are targeted to this milestone.
- Bugs:
- 2 Fix Released
Download files for this release
Release notes
Fixes an important bug where the verification was slow and failed on memory allocation if the net contained orphan transitions with no input and no output places.
Changelog
View the full changelog
0 blueprints and 2 bugs targeted
Bug report | Importance | Assignee | Status | |||
---|---|---|---|---|---|---|
868151 | #868151 | Very slow verification when trace is on "some" | 2 Critical | Morten Jacobsen | 10 Fix Released | |
870816 | #870816 | Memory allocation error with 32 bit version | 3 High | 10 Fix Released |