Jiri Srba

branches with status:
Name Status Last Modified Last Commit
lp:verifypn/u2.0 1 Development 2016-09-18 15:29:25 UTC
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
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
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
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.
1 → 4 of 4 results First • Previous • Next • Last