verifypn u2.1 series
New series adding CTL model checking and supported by GUI.
Series information
- Project:
- verifypn
- Series:
- u2.1
- 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:
187 revisions.
You can get a copy of the development focus branch using the command:
bzr branch lp:verifypn/u2.1
Milestones and releases
| 1 → 2 of 2 results | First • Previous • Next • Last |
| Version | Expected | Released | Summary |
|---|---|---|---|
|
|
None | initial release for series 2.1 | |
|
|
None | not yet released | bug fixes to series u2.1 |
| 1 → 2 of 2 results | First • Previous • Next • Last |
