VerifyTAPN 1.0.1
Milestone for potential bug fixes of 1.0.0
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:
- No users assigned to blueprints and bugs.
- Blueprints:
- No blueprints are targeted to this milestone.
- Bugs:
- 2 Invalid, 1 Fix Released
Download files for this release
Release notes
A small maintenance fix of boundedness checking.
Changelog
View the full changelog
0 blueprints and 3 bugs targeted
| Bug report | Importance | Assignee | Status | |||
|---|---|---|---|---|---|---|
| 812218 | #812218 | Discrete inclusion gives Null Pointer Exception | 2 Critical | 3 Invalid | ||
| 816113 | #816113 | Boundedness Checking Broken Again | 2 Critical | 3 Invalid | ||
| 809860 | #809860 | Boundedness Checking Broken | 2 Critical | 10 Fix Released | ||
