branches with status:
Name Status Last Modified Last Commit
lp:verifypn/u3.0 1 Development 2019-04-23 20:57:21 UTC 2019-04-23
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 1 Development 2019-04-23 19:46:42 UTC 2019-04-23
219. merged in lp:~verifypn-cpn/verifypn/e...

Author: <email address hidden>
Revision Date: 2019-04-23 19:46:42 UTC

merged in lp:~verifypn-cpn/verifypn/eq-push-fix-trunk fixing a problem with equality check
in NIM model

lp:verifypn/u2.2 1 Development 2018-05-02 13:34:42 UTC 2018-05-02
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 2017-10-05
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-maintainers/verifypn/trunk 1 Development 2016-09-08 12:24:37 UTC 2016-09-08
97. merged in branch verifypn/logicaloper...

Author: Jiri Srba
Revision Date: 2016-09-08 12:24:37 UTC

merged in branch verifypn/logicaloperator_change that changes
the names of binary operators to competiton standard and adds
not-equal operator

lp:verifypn/u1.2 2 Mature 2015-11-27 21:36:53 UTC 2015-11-27
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 2015-05-07
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 2015-05-07
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 2014-07-15
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 2014-03-18
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

110 of 10 results