You can browse the source code for the development focus branch or get a copy of the branch using the command:
bzr branch lp:verifypn

verifypn has 20 active branches owned by 2 people and 5 teams. There were 0 commits in the last month.

Bazaar branches

Name Status Last Modified Last Commit
lp:verifypn
Series: trunk
1 Development 2020-04-30 10:53:55 UTC 2020-04-30
224. updated MCC 2020 competition script

Author: Jiri Srba
Revision Date: 2020-04-30 10:53:55 UTC

updated MCC 2020 competition script

lp:verifypn/u3.0
Series: 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
Series: 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
Series: 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/u2.0
Series: 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:verifypn/u1.2
Series: 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/u1.1
Series: 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
Series: 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

lp:~peter-gjoel/verifypn/interval_tar 1 Development 2020-04-29 18:07:59 UTC 2020-04-29
350. insert first, we change the set

Author: Peter Gjøl Jensen
Revision Date: 2020-04-29 18:07:59 UTC

insert first, we change the set

lp:~verifypn-cpn/verifypn/verifypn-games 1 Development 2019-12-13 10:32:36 UTC 2019-12-13
258. fixing measures

Author: Peter Gjøl Jensen
Revision Date: 2019-12-13 10:32:36 UTC

fixing measures

lp:~tapaal-ltl/verifypn/ltl-engine 1 Development 2019-10-29 13:46:02 UTC 2019-10-29
303. Fixed the last few problems (I hope) ...

Author: Asger Gitz-Johansen
Revision Date: 2019-10-29 13:46:02 UTC

Fixed the last few problems (I hope) with the LTL parsing.

lp:~verifypn-cpn/verifypn/unfoldTACPN 1 Development 2019-06-16 07:21:34 UTC 2019-06-16
227. missing some lpsolve files for compil...

Author: Mark Glavind
Revision Date: 2019-06-16 07:21:34 UTC

missing some lpsolve files for compiling binary

lp:~verifypn-cpn/verifypn/MCC19 1 Development 2019-03-08 09:38:10 UTC 2019-03-08
238. memory management

Author: Peter Gjøl Jensen
Revision Date: 2019-03-08 09:38:10 UTC

memory management

lp:~verifypn-cpn/verifypn/RERS_2018 1 Development 2018-10-04 17:48:09 UTC 2018-10-04
215. should parse RERS ctl-semantics, redu...

Author: Peter Gjøl Jensen
Revision Date: 2018-10-04 17:48:09 UTC

should parse RERS ctl-semantics, reductions might be incorrect

lp:~tapaal-dist-ctl/verifypn/par-ctl 1 Development 2017-08-06 17:10:51 UTC 2017-08-06
185. added the remaining failes

Author: Lasse S. Jensen
Revision Date: 2017-08-06 17:09:52 UTC

added the remaining failes

lp:~tapaal-dist-ctl/verifypn/paper-dist 1 Development 2016-10-21 14:55:21 UTC 2016-10-21
330. Results from paper added

Author: <email address hidden>
Revision Date: 2016-10-21 14:55:21 UTC

Results from paper added

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:~tapaal-dist/verifypn/parser 1 Development 2015-04-08 10:06:16 UTC 2015-04-08
43. reductions on adjacency list

Author: Jakob Dyhr
Revision Date: 2015-04-08 10:06:16 UTC

reductions on adjacency list

lp:~tapaal-dist/verifypn/LTSmin 1 Development 2015-03-13 10:23:35 UTC 2015-03-13
64. Done testing different structural app...

Author: Søren Moss Nielsen
Revision Date: 2015-03-13 10:23:35 UTC

Done testing different structural approaches.

120 of 20 results
You can't create new branches for verifypn.