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 6 active reviews.

verifypn has 19 active branches owned by 3 people and 6 teams. There were 30 commits by 6 people in the last month.

Bazaar branches

Name Status Last Modified Last Commit
lp:verifypn
Series: trunk
1 Development 2021-10-17 19:59:58 UTC
252. merged in lp:~tapaal-ltl/verifypn/rea...

Author: <email address hidden>
Revision Date: 2021-10-17 19:59:58 UTC

merged in lp:~tapaal-ltl/verifypn/reach-stub-new addig POR for LTL, improves NDFS performance and fixes trace generation

lp:verifypn/u4.1
Series: u4.1
1 Development 2021-10-04 09:04:05 UTC
252. This is the version released with TAP...

Author: <email address hidden>
Revision Date: 2021-10-04 09:04:05 UTC

This is the version released with TAPAAL 3.8.1 GUI

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

lp:~tapaal-ltl/verifypn/simple-ltl-heuristics 1 Development 2021-10-12 14:08:26 UTC
252. Remove combined heuristics and hence ...

Author: Nikolaj Jensen Ulrik
Revision Date: 2021-10-12 14:07:43 UTC

Remove combined heuristics and hence simplify the CLI parameter

lp:~tapaal-ltl/verifypn/experimental-ltl-heuristics 0 Experimental 2021-10-12 12:46:35 UTC
252. Branch containing experimental heuris...

Author: Nikolaj Jensen Ulrik
Revision Date: 2021-10-12 12:44:32 UTC

Branch containing experimental heuristics in the LTL engine,
namely compositional heuristics (currently just weighted sums).
As of spring 2021, experimental evaluation did not show any benchmark-wide improvements.

lp:~jespoke/verifypn/relevant-inhib-fix (Has a merge proposal) 1 Development 2021-10-12 09:59:18 UTC
254. Actually added the mentioned test mod...

Author: Jesper Adriaan Van Diepen
Revision Date: 2021-10-12 09:59:18 UTC

Actually added the mentioned test model this time.

lp:~ragusaen/verifypn/verifypn (Has a merge proposal) 1 Development 2021-10-04 08:21:47 UTC
256. Removed .h file from add_libraries

Author: Rasmus Tollund
Revision Date: 2021-10-04 08:21:47 UTC

Removed .h file from add_libraries

lp:~tapaal-red/verifypn/rule-l 1 Development 2021-09-28 11:04:10 UTC
253. Trying to commit to bzr

Author: Jesper Adriaan Van Diepen
Revision Date: 2021-09-28 11:04:10 UTC

Trying to commit to bzr

lp:~verifypn-cpn/verifypn/verifypn-games 1 Development 2021-02-02 23:23:47 UTC
269. skipping when undet found

Author: Peter G. Jensen
Revision Date: 2021-02-02 23:23:47 UTC

skipping when undet found

lp:~verifypn-wf/verifypn/petergame (Has a merge proposal) 1 Development 2020-10-29 08:32:33 UTC
228. Added changes from Peter

Author: Bogi
Revision Date: 2020-10-29 08:32:33 UTC

Added changes from Peter

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

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

Results from paper added

119 of 19 results
You can't create new branches for verifypn.