verifypn u1.0 series
First TAPAAL release of the untimed engine.
Loading graph...
Series information
- Project:
- verifypn
- Series:
- u1.0
- Project drivers:
- VerifyPN Maintainers
- Release manager:
- None
- Status:
- Active Development
- Project development focus:
- is not the focus of development.
- Release URL pattern:
- None
Code for this series
The following branch has been registered as the mainline branch for this release series:
44 revisions.
You can get a copy of the development focus branch using the command:
bzr branch lp:verifypn/u1.0
Milestones and releases
1 → 1 of 1 result | First • Previous • Next • Last |
Version | Expected | Released | Summary |
---|---|---|---|
verifypn u1.0.0 | None | Initial release |
1 → 1 of 1 result | First • Previous • Next • Last |