Milestone Release 1.0

16 years late (06/01/10 00:00:00)

92%

Total number of tickets: 85 - closed: 78 - active: 7

Administration

7 / 9
Documentation

1 / 1
None

2 / 2
Publicity

1 / 1
User Interface

1 / 1
XML

2 / 2
dynamic

3 / 3
examples

10 / 11
front

19 / 20
model

4 / 4
multiple

6 / 8
prove

4 / 4
semantics

2 / 2
state

1 / 1
symbolic

8 / 8
test

4 / 4
verify

3 / 4

Public release of TASS version 1.0.

Note: See TracRoadmap for help on using the roadmap.