This section provides an overview of the planned releases of FSAP/NuSMV-SA.
The release plan is based on a two-month release schedule.
The table summarises, for each release of FSAP/NuSMV-SA, the release number, the code name, the main foreseen features, the planned release date, the actual release date, and the release notes.
This release plan has been discontinued after release 0.9.5-2. The implementation efforts will be guided by the new release plan.
Release No. |
Code Name |
Ideal New Features |
Ideal Release Date |
Actual Release Date |
Actual Features (Release Notes) |
---|---|---|---|---|---|
0.9.1 |
The Slasher |
First public release |
06/09/2002 |
12/09/2002 |
|
0.9.2 |
The Smasher |
New Features
Bug Fixes
Dependencies and Integration
|
23/09/2002 |
23/09/2002 |
|
0.9.3 |
- |
New Features
Bug fixes
Dependencies and Integration
|
15/10/2002 |
15/11/2002 |
|
0.9.4 |
- |
New Features
Bug Fixes
Dependencies and Integration
|
10/01/2003 |
28/01/2003 |
|
0.9.5-1 |
- |
New Features
Bug Fixes
Dependencies and Integration
|
10/03/2003 |
11/04/2003 |
|
0.9.5-2 |
Tsunami |
New Features
Dependencies and Integration
|
10/05/2003 |
19/05/2003
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Last Update: $Date: 2008/02/06 13:02:10 $