branches with status:
Name Status Last Modified Last Commit
lp:verifypn 1 Development 2020-09-18 13:54:13 UTC 2020-09-18
227. fixed compilation with static librari...

Author: <email address hidden>
Revision Date: 2020-09-18 13:54:13 UTC

fixed compilation with static libraries for mac

lp:verifypn/u3.1 1 Development 2020-09-18 13:52:13 UTC 2020-09-18
227. fixed compilation of static libraries...

Author: <email address hidden>
Revision Date: 2020-09-18 13:52:13 UTC

fixed compilation of static libraries for mac

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/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/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