VerifyDTAPN d3.1 series

New release of the discrete engine (improved workflow verification, fastest trace).

Series information

Project drivers:
Jiri Srba
Release manager:
Active Development
Project development focus:
is not the focus of development.
Release URL pattern:

Download RDF metadata

Code for this series

The following branch has been registered as the mainline branch for this release series:

319 revisions.

You can get a copy of the development focus branch using the command:
bzr branch lp:verifydtapn/d3.1

Browse the code

Milestones and releases

14 of 4 results
Version Expected Released Summary
VerifyDTAPN d3.1.3 None not yet released
VerifyDTAPN d3.1.2 None 2014-08-28 bug fixes for d3.1 series
VerifyDTAPN d3.1.1 None 2014-07-15 Fixes to 3.1 series
VerifyDTAPN d3.1.0 None 2014-06-22 Initial release
14 of 4 results

All bugs Latest bugs reported

All packages Distribution packaging

This series is not packaged in any distribution series.

This series contains Public information
Everyone can see this information.


d3.1 does not have any download files.

Get Involved