timeline

19 of 9 results
trunk series Focus of Development
Bugs targeted: None
Blueprints targeted: None

The "trunk" series represents the primary line of development rather than a stable release branch. This is sometimes also called MAIN or HEAD.

d3.4 series Active Development
Latest milestones: d3.4.2     Latest releases: d3.4.1, d3.4.0
Bugs targeted: None
Blueprints targeted: None

New series that includes discrete time games

d3.3 series Active Development
Latest milestones: d3.3.1     Latest releases: d3.3.0
Bugs targeted: None
Blueprints targeted: None

New series - updated successor generator, games, partial order reduction

d3.2 series Active Development
Latest milestones: 3.2.2     Latest releases: 3.2.1, 3.2.0
Bugs targeted: None
Blueprints targeted: None

New series implementing PTrie into workflow analysis

d3.1 series Active Development
Latest milestones: d3.1.3     Latest releases: d3.1.2, d3.1.1, d3.1.0
Bugs targeted: None
Blueprints targeted: None

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

d3.0 series Active Development
Latest releases: d3.0.0
Bugs targeted: None
Blueprints targeted: None

New engine implementation including workflow analysis.

d2.1 series Active Development
Latest milestones: d2.1.1     Latest releases: d2.1.0
Bugs targeted: None
Blueprints targeted: None

Updated engine that supports deadlock and urgent transitions.

d2.0 series Active Development
Latest milestones: d2.0.1     Latest releases: d2.0.0
Bugs targeted: None
Blueprints targeted: None

Engine with timed darts and PTrie optimization

d1.0 series Active Development
Latest releases: d1.0.1, d1.0.0
Bugs targeted: None
Blueprints targeted: None

Initial release of the discrete engine

19 of 9 results