branches with status:
Name Status Last Modified Last Commit
lp:verifypn/u2.0 1 Development 2016-09-18 15:29:25 UTC 2016-09-18
98. released version 2.0.0

Author: Jiri Srba
Revision Date: 2016-09-18 15:29:25 UTC

released version 2.0.0

lp:verifytapn/1.2 2 Mature 2013-04-30 20:11:19 UTC 2013-04-30
150. This is the 1.2 version released with...

Author: Jiri Srba
Revision Date: 2013-04-30 20:11:19 UTC

This is the 1.2 version released with TAPAAL 2.3.0

lp:verifydtapn/d1.0 2 Mature 2012-12-05 11:53:13 UTC 2012-12-05
274. merged in the trunk fixing couple of ...

Author: Jiri Srba
Revision Date: 2012-12-05 11:53:13 UTC

merged in the trunk fixing couple of issues before the release of 1.0.1

lp:verifytapn/1.1 2 Mature 2012-07-23 14:38:04 UTC 2012-07-23
148. This is the released version 1.1.1.

Author: Jiri Srba
Revision Date: 2012-07-23 14:38:04 UTC

This is the released version 1.1.1.

14 of 4 results