timeline

18 of 8 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.

u3.0 series Active Development
Latest milestones: u3.0.2     Latest releases: u3.0.1, u3.0.0
Bugs targeted: None
Blueprints targeted: None

New series that supports colored nets

u2.2 series Active Development
Latest milestones: u2.2.2     Latest releases: u2.2.1, u.2.2.0
Bugs targeted: None
Blueprints targeted: None

New series, CTL structural reductions, improved CTL verification

u2.1 series Active Development
Latest milestones: u.2.1.1     Latest releases: u2.1.0
Bugs targeted: None
Blueprints targeted: None

New series adding CTL model checking and supported by GUI.

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

Series that contains the CTL sequential engine.

u1.2 series Active Development
Latest milestones: u1.2.1     Latest releases: u1.2.0
Bugs targeted: None
Blueprints targeted: None

New branch with MCC'15 competition parser

u1.1 series Active Development
Latest milestones: u1.1.2     Latest releases: u.1.1.1, u1.1.0
Bugs targeted: None
Blueprints targeted: None

New branch with XML query parser for the competition and implemented structural reduction.

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

First TAPAAL release of the untimed engine.

18 of 8 results