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

verifypn has 36 active branches owned by 2 people and 7 teams. There were 116 commits by 6 people in the last month.

Bazaar branches

Name Status Last Modified Last Commit
lp:verifypn
Series: trunk
1 Development 2021-04-17 09:03:57 UTC 2021-04-17
233. updated README file

Author: <email address hidden>
Revision Date: 2021-04-17 09:03:57 UTC

updated README file

lp:verifypn/u4.0
Series: u4.0
1 Development 2021-04-06 14:14:55 UTC 2021-04-06
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 2020-12-17
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 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:~tapaal-ltl/verifypn/automata-stub 1 Development 2021-04-15 13:06:03 UTC 2021-04-15
285. Fix retarding stubborn set not being ...

Author: Simon Virenfeldt
Revision Date: 2021-04-15 13:05:39 UTC

Fix retarding stubborn set not being prepared.

lp:~tapaal-ltl/verifypn/ltl-stubborn-merge (Has a merge proposal) 1 Development 2021-04-15 07:45:51 UTC 2021-04-15
290. Realign help and options parse v2

Author: Nikolaj Jensen Ulrik
Revision Date: 2021-04-15 07:45:51 UTC

Realign help and options parse v2

lp:~tapaal-ltl/verifypn/reach-aut-stub 0 Experimental 2021-04-14 10:48:15 UTC 2021-04-14
275. Add switch between reach aut stub and...

Author: Nikolaj Jensen Ulrik
Revision Date: 2021-04-14 10:48:15 UTC

Add switch between reach aut stub and visible stub

lp:~tapaal-ltl/verifypn/ltl-stubborn-set 1 Development 2021-04-13 07:50:27 UTC 2021-04-13
282. Replace extstack with dentry bit on C...

Author: Nikolaj Jensen Ulrik
Revision Date: 2021-04-13 07:50:27 UTC

Replace extstack with dentry bit on CEntry

lp:~tapaal-contributor/verifypn/unfoldTACPN (Has a merge proposal) 1 Development 2021-04-12 14:22:27 UTC 2021-04-12
239. Remove expressions from inhibitor arc...

Author: <email address hidden>
Revision Date: 2021-04-12 14:22:27 UTC

Remove expressions from inhibitor arcs and handle .all in tuples

lp:~tapaal-ltl/verifypn/composed-heuristics 1 Development 2021-04-09 07:23:50 UTC 2021-04-09
282. Merged lp:~tapaal-ltl/verifypn/ltl-trunk

Author: Simon Virenfeldt
Revision Date: 2021-04-09 07:18:21 UTC

Merged lp:~tapaal-ltl/verifypn/ltl-trunk

lp:~tapaal-ltl/verifypn/rulek 1 Development 2021-04-08 13:12:40 UTC 2021-04-08 This branch is empty.
lp:~tapaal-ltl/verifypn/stubborn-heuristic 1 Development 2021-04-02 08:37:27 UTC 2021-04-02
282. closure version

Author: Nikolaj Jensen Ulrik
Revision Date: 2021-04-02 08:37:27 UTC

closure version

lp:~tapaal-ltl/verifypn/replay-trace 1 Development 2021-03-26 14:14:14 UTC 2021-03-26
259. Commenting the code

Author: Nikolaj Jensen Ulrik
Revision Date: 2021-03-26 14:14:14 UTC

Commenting the code

lp:~tapaal-ltl/verifypn/loopInvariantReduction 1 Development 2021-03-26 10:27:05 UTC 2021-03-26
262. Added states explored print and disab...

Author: Simon Virenfeldt
Revision Date: 2021-03-26 10:27:05 UTC

Added states explored print and disabled fallthrough to reachability,

lp:~tapaal-ltl/verifypn/scc-optimise 1 Development 2021-02-11 08:01:33 UTC 2021-02-11
247. Misc tweaks/debugging

Author: Nikolaj Jensen Ulrik
Revision Date: 2021-02-11 08:00:53 UTC

Misc tweaks/debugging

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

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

skipping when undet found

lp:~verifypn-cpn/verifypn/cfp_point-wise 1 Development 2021-01-12 11:08:35 UTC 2021-01-12
284. Fix handling of vars not on in arcs a...

Author: <email address hidden>
Revision Date: 2021-01-12 11:08:35 UTC

Fix handling of vars not on in arcs and unfolding of initial tokens

lp:~tapaal-contributor/verifypn/remove_debug_print-1906837 bug(Has a merge proposal) 1 Development 2020-12-04 14:31:03 UTC 2020-12-04
228. Remove debug string from query identi...

Author: <email address hidden>
Revision Date: 2020-12-04 14:27:05 UTC

Remove debug string from query identifier

lp:~verifypn-wf/verifypn/png 1 Development 2020-11-02 13:35:33 UTC 2020-11-02
228. * Applied changes from Peter * Correc...

Author: Bogi
Revision Date: 2020-11-02 13:35:33 UTC

* Applied changes from Peter
* Corrected spelling
* Renamed variables
* Extracted methods
* Other misc. refactorings

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

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

Added changes from Peter

lp:~boginw/verifypn/fix-branch (Has a merge proposal) 1 Development 2020-09-25 09:31:23 UTC 2020-09-25
228. Changed `*.size() > 0` to `!*.empty()...

Author: Bogi
Revision Date: 2020-09-25 09:28:37 UTC

Changed `*.size() > 0` to `!*.empty()` and `*.size() == 0` to `*.empty()`

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

136 of 36 results
You can't create new branches for verifypn.