TAPAAL

timeline

1 → 20 of 20 results First • Previous • Next • Last
trunk series Focus of Development
Latest milestones: cpn
Bugs targeted: 9 New, 1 Opinion, 8 Invalid, 2 Won't Fix, 216 Fix Committed, 8 Fix Released
Blueprints targeted: None

This is the development mainline, also known as bzr.dev. This series is always open for new feature landings. Beta releases normally come directly from here, and we branch off it for stable releases.

3.9 series Current Stable Release
Latest releases: 3.9.5, 3.9.4, 3.9.3, 3.9.2, 3.9.1, 3.9.0
Bugs targeted: None
Blueprints targeted: None

Release of LTL GUI

3.8 series Supported
Latest milestones: 3.8.2     Latest releases: 3.8.1, 3.8.0
Bugs targeted: None
Blueprints targeted: None

New series 3.8

3.7 series Obsolete
Latest milestones: 3.7.2     Latest releases: 3.7.1, 3.7.0
Blueprints targeted: None

New series with major GUI refactoring and new features like support for games.

3.6 series Obsolete
Latest milestones: 3.6.2     Latest releases: 3.6.1, 3.6.0
Blueprints targeted: None

New series for TAPAAL release

3.5 series Obsolete
Latest milestones: 3.5.2     Latest releases: 3.5.1, 3.5.0
Blueprints targeted: None

Series 3.5 with GUI refactoring

3.4 series Obsolete
Latest milestones: 3.4.4     Latest releases: 3.4.3, 3.4.2, 3.4.1, 3.4.0
Blueprints targeted: None

New verifypn engine, new verifydtapn engine, partial order reduction in GUI

3.3 series Obsolete
Latest milestones: 3.3.1     Latest releases: 3.3.0
Blueprints targeted: None

Series introducting CTL query dialog and verifypn support for CTL model checking.

3.2 series Obsolete
Latest milestones: 3.2.2     Latest releases: 3.2.1, 3.2.0
Blueprints targeted: None

New release of TAPAAL 3.2 series.

3.1 series Obsolete
Latest milestones: 3.1.4     Latest releases: 3.1.3, 3.1.2, 3.1.1, 3.1.0
Blueprints targeted: None

New release of improved worklflow, arithmetic queries, over-under approximation and much more

3.0 series Obsolete
Latest milestones: 3.0.1     Latest releases: 3.0.0
Blueprints targeted: None

TAPAAL now supports workflow analysis and contains a new untimed engine.

2.4 series Obsolete
Latest milestones: 2.4.4     Latest releases: 2.4.3, 2.4.2, 2.4.1, 2.4.0
Blueprints targeted: None

2.4 release series, includes urgency, deadlock proposition, improved simulation, export/import of traces and other ...

2.3 series Obsolete
Latest milestones: 2.3.1     Latest releases: 2.3.0
Blueprints targeted: None

New features, new simulator, new discrete engine.

2.2 series Obsolete
Latest milestones: 2.2.2     Latest releases: 2.2.1, 2.2.0
Blueprints targeted: None

Addition of new engine verifydtapn and a number of other GUI improvements.

2.1 series Obsolete
Latest milestones: 2.1.4     Latest releases: 2.1.3, 2.1.2, 2.1.1, 2.1.0
Blueprints targeted: None

Series for tracking 2.1 releases

2.0 series Obsolete
Latest releases: 2.0.2, 2.0.1, 2.0.0
Blueprints targeted: None

Release version 2.0 and its minor updates (bug fixes)

1.4 series Obsolete
Latest milestones: 1.4.4     Latest releases: 1.4.3, 1.4.2, 1.4.1, 1.4.0
Blueprints targeted: None

Relase series for the 1.4 version of TAPAAL.

1.3 series Obsolete
Latest releases: 1.3
Blueprints targeted: None

Release series for TAPAAL-1.3

old-series series Obsolete
Latest releases: 1.2, 1.1, 1.0
Blueprints targeted: None

This series is kept mainly due to historical reasons, documenting the development and releases before TAPAAL-1.4.

dev series Obsolete
Blueprints targeted: None

This series represents the experimental and new features of TAPAAL

1 → 20 of 20 results First • Previous • Next • Last