branches with status:
Name Status Last Modified Last Commit
lp:verifypn 1 Development 2021-07-18 12:40:17 UTC
245. merged in lp:~tapaal-contributor/veri...

Author: <email address hidden>
Revision Date: 2021-07-18 12:40:17 UTC

merged in lp:~tapaal-contributor/verifypn/Fix-partitioning-1934103 fixing issue with unfolding

lp:verifypn/u4.0 1 Development 2021-04-06 14:14:55 UTC
232. This version 4.0.0 was released with ...

Author: Jiri Srba
Revision Date: 2021-04-06 14:14:55 UTC

This version 4.0.0 was released with TAPAAL 3.8.0

lp:verifypn/u3.1 1 Development 2020-12-17 20:34:32 UTC
230. merged in lp:~tapaal-contributor/veri...

Author: Jiri Srba
Revision Date: 2020-12-17 20:34:32 UTC

merged in lp:~tapaal-contributor/verifypn/show-reduced-net allowing to call -s Overapprox with -q 0

lp:verifypn/u3.0 1 Development 2019-04-23 20:57:21 UTC
216. This is the released version 3.0.2 of...

Author: <email address hidden>
Revision Date: 2019-04-23 20:57:21 UTC

This is the released version 3.0.2 of verifypn.

lp:verifypn/u2.2 1 Development 2018-05-02 13:34:42 UTC
202. increased version number to 2.2.1

Author: Jiri Srba
Revision Date: 2018-05-02 13:34:42 UTC

increased version number to 2.2.1

lp:verifypn/u2.1 1 Development 2017-10-05 07:09:00 UTC
187. Released version of u2.1.0

Author: Jiri Srba
Revision Date: 2017-10-05 07:09:00 UTC

Released version of u2.1.0

lp:verifypn/u1.2 2 Mature 2015-11-27 21:36:53 UTC
60. released version u1.2.0

Author: Jiri Srba
Revision Date: 2015-11-27 21:36:53 UTC

released version u1.2.0

lp:~verifypn-maintainers/verifypn/competition2015reachabilityBounds 1 Development 2015-05-07 08:34:53 UTC
64. removed competition scripts - moved t...

Author: Jiri Srba
Revision Date: 2015-05-07 08:34:53 UTC

removed competition scripts - moved to trunk

lp:~verifypn-maintainers/verifypn/competition2015multiplePlaceBounds 1 Development 2015-05-07 08:33:58 UTC
72. removed MCC15 scripts (moved to trunk...

Author: Jiri Srba
Revision Date: 2015-05-07 08:33:58 UTC

removed MCC15 scripts (moved to trunk instead)

lp:verifypn/u1.1 2 Mature 2014-07-15 06:23:12 UTC
58. Released version 1.1.1

Author: Jiri Srba
Revision Date: 2014-07-15 06:23:12 UTC

Released version 1.1.1

lp:verifypn/u1.0 2 Mature 2014-03-18 07:11:56 UTC
44. fixes and int overflow for memory lim...

Author: Jiri Srba
Revision Date: 2014-03-18 07:11:56 UTC

fixes and int overflow for memory limit and increases version number to 1.0.1

111 of 11 results