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

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

Bazaar branches

Name Status Last Modified Last Commit
lp:verifypn
Series: trunk
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
Series: 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
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-contributor/verifypn/show-reduced-net (Has a merge proposal) 1 Development 2020-10-19 19:47:58 UTC 5 hours ago
229. Added Thomas Pedersen to contributers

Author: <email address hidden>
Revision Date: 2020-10-19 19:47:58 UTC

Added Thomas Pedersen to contributers

lp:~tapaal-ltl/verifypn/spot-integration 1 Development 2020-10-19 12:35:11 UTC 12 hours ago
254. Optimizations cleanup

Author: Nikolaj Jensen Ulrik
Revision Date: 2020-10-19 12:35:11 UTC

Optimizations cleanup

lp:~verifypn-cpn/verifypn/unfolding_opt 1 Development 2020-10-14 07:49:32 UTC 2020-10-14
244. Ready to gen bindings from intervals ...

Author: <email address hidden>
Revision Date: 2020-10-14 07:49:32 UTC

Ready to gen bindings from intervals and merge with colorfixpoint

lp:~verifypn-cpn/verifypn/color-fixpoint 1 Development 2020-10-14 07:12:09 UTC 2020-10-14
234. First working version of fixpoint com...

Author: <email address hidden>
Revision Date: 2020-10-14 07:12:09 UTC

First working version of fixpoint computation with intervals

lp:~tapaal-ltl/verifypn/ltl_model_checker 1 Development 2020-10-02 11:36:50 UTC 2020-10-02
230. Fixed bug in CTLVisitor And & Or cond...

Author: Simon Virenfeldt
Revision Date: 2020-10-02 11:36:50 UTC

Fixed bug in CTLVisitor And & Or condition resulting in not all children being visited.

lp:~verifypn-cpn/verifypn/verifypn-games 1 Development 2020-09-25 14:00:24 UTC 2020-09-25
260. fixed unitialized variable leading to...

Author: Peter G. Jensen
Revision Date: 2020-09-25 14:00:24 UTC

fixed unitialized variable leading to non-det choice of successors in POR in rare cases.

lp:~tapaal-ltl/verifypn/ltl_NDFS 1 Development 2020-09-25 12:17:04 UTC 2020-09-25 This branch is empty.
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-contributor/verifypn/unfoldTACPN 1 Development 2020-09-01 07:28:22 UTC 2020-09-01
229. Can now handle group nr when parsing

Author: <email address hidden>
Revision Date: 2020-09-01 07:28:22 UTC

Can now handle group nr when parsing

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.

127 of 27 results
You can't create new branches for verifypn.