VerifyDTAPN d3.3 series
New series - updated successor generator, games, partial order reduction
Loading graph...
Series information
- Project:
- VerifyDTAPN
- Series:
- d3.3
- Project drivers:
- Jiri Srba
- 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:
339 revisions.
You can get a copy of the development focus branch using the command:
bzr branch lp:verifydtapn/d3.3
Milestones and releases
1 → 2 of 2 results | First • Previous • Next • Last |
Version | Expected | Released | Summary |
---|---|---|---|
VerifyDTAPN d3.3.1 | None | not yet released | bug fixes to series 3.3 |
VerifyDTAPN d3.3.0 | None | initial release of the series |
1 → 2 of 2 results | First • Previous • Next • Last |