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

verifypn has 48 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 2019-04-23 19:46:42 UTC 2019-04-23
219. merged in lp:~verifypn-cpn/verifypn/e...

Author: <email address hidden>
Revision Date: 2019-04-23 19:46:42 UTC

merged in lp:~verifypn-cpn/verifypn/eq-push-fix-trunk fixing a problem with equality check
in NIM model

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:~verifypn-cpn/verifypn/eq-push-fix bug(Has a merge proposal) 1 Development 2019-07-12 13:21:49 UTC 2019-07-12
240. updated ptries

Author: Peter Gjøl Jensen
Revision Date: 2019-07-12 13:21:49 UTC

updated ptries

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/tacpn 1 Development 2019-06-06 23:03:59 UTC 2019-06-06
224. merge from dynamicExport

Author: Mark Glavind
Revision Date: 2019-06-06 23:03:59 UTC

merge from dynamicExport

lp:~verifypn-cpn/verifypn/dynamicExport 1 Development 2019-06-06 23:01:37 UTC 2019-06-06
232. small change to parser

Author: Mark Glavind
Revision Date: 2019-06-06 23:01:37 UTC

small change to parser

lp:~verifypn-cpn/verifypn/unitTest 1 Development 2019-05-16 08:43:53 UTC 2019-05-16
223. Merge from dynamic export

Author: Mark Glavind
Revision Date: 2019-05-16 08:41:37 UTC

 Merge from dynamic export

lp:~verifypn-cpn/verifypn/queryUnfold 1 Development 2019-05-06 08:39:54 UTC 2019-05-06
245. WIP on making export dynmaic to match...

Author: Mark Glavind
Revision Date: 2019-05-06 08:39:54 UTC

WIP on making export dynmaic to match the required format of verifydtapn

lp:~verifypn-cpn/verifypn/exportTAPN 1 Development 2019-04-29 11:27:48 UTC 2019-04-29
233. WIP unfold queries

Author: Niels Christensen
Revision Date: 2019-04-29 11:27:48 UTC

WIP unfold queries

lp:~verifypn-cpn/verifypn/verifypn-games 1 Development 2019-04-17 13:55:51 UTC 2019-04-17
243. better, but more expensive checks on ...

Author: Peter Gjøl Jensen
Revision Date: 2019-04-17 13:55:51 UTC

better, but more expensive checks on already added pre/post

lp:~verifypn-cpn/verifypn/TACPNParser 1 Development 2019-04-03 12:34:15 UTC 2019-04-03
231. we can now parse all arcs in TACPN

Author: Mark Glavind
Revision Date: 2019-04-03 12:34:15 UTC

we can now parse all arcs in TACPN

lp:~verifypn-cpn/verifypn/TACPNModel 1 Development 2019-03-29 13:49:15 UTC 2019-03-29
231. Made arcs with intervals

Author: Niels Christensen
Revision Date: 2019-03-29 13:49:15 UTC

Made arcs with intervals

lp:~verifypn-cpn/verifypn/makeTesting 1 Development 2019-03-21 09:17:17 UTC 2019-03-21
217. Done removing redundant files for the...

Author: Mark Glavind
Revision Date: 2019-03-21 09:15:59 UTC

Done removing redundant files for the first iteration

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/improved-reduction-rulej 1 Development 2019-02-12 09:14:47 UTC 2019-02-12
233. enabled ruleJ

Author: Peter Gjøl Jensen
Revision Date: 2019-02-12 09:14:47 UTC

enabled ruleJ

lp:~verifypn-cpn/verifypn/lp-bounds (Has a merge proposal) 1 Development 2019-02-11 21:18:10 UTC 2019-02-11
231. fix for issue with reload of upperbounds

Author: Peter Gjøl Jensen
Revision Date: 2019-02-11 21:18:10 UTC

fix for issue with reload of upperbounds

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:~verifypn-cpn/verifypn/user_reduction_flow (Has a merge proposal) 1 Development 2018-07-24 10:25:02 UTC 2018-07-24
213. fixed ruleI

Author: Peter Gjøl Jensen
Revision Date: 2018-07-24 10:25:02 UTC

fixed ruleI

lp:~verifypn-cpn/verifypn/improved-rule-bh 1 Development 2018-06-28 09:48:31 UTC 2018-06-28
227. fixed issue in ruleH

Author: Peter Gjøl Jensen
Revision Date: 2018-06-28 09:48:31 UTC

fixed issue in ruleH

lp:~verifypn-cpn/verifypn/cpn 1 Development 2018-03-26 23:38:32 UTC 2018-03-26
238. Working on cpn overapproximation

Author: Andreas Klostergaard
Revision Date: 2018-03-26 23:38:46 UTC

Working on cpn overapproximation

lp:~verifypn-cpn/verifypn/colored 1 Development 2018-02-20 11:45:47 UTC 2018-02-20
201. Further added expressions and begun i...

Author: Andreas Klostergaard
Revision Date: 2018-02-20 11:45:47 UTC

Further added expressions and begun implementing Multiset

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/modelDatabase 1 Development 2017-03-13 08:31:46 UTC 2017-03-13
299. Added a few new queries to the two te...

Author: Søren Moss Nielsen
Revision Date: 2017-03-13 08:31:46 UTC

Added a few new queries to the two test models

lp:~verifypn-stub/verifypn/trace-search 1 Development 2017-03-07 18:42:16 UTC 2017-03-07
155. added help text line for trace search

Author: Frederik Bønneland
Revision Date: 2017-03-07 18:42:16 UTC

added help text line for trace search

lp:~tapaal-dist-ctl/verifypn/master 1 Development 2017-01-27 04:56:34 UTC 2017-01-27
330. added new parse files

Author: Søren Moss Nielsen
Revision Date: 2017-01-27 04:56:34 UTC

added new parse files

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/trunk 1 Development 2016-09-08 12:24:37 UTC 2016-09-08
97. merged in branch verifypn/logicaloper...

Author: Jiri Srba
Revision Date: 2016-09-08 12:24:37 UTC

merged in branch verifypn/logicaloperator_change that changes
the names of binary operators to competiton standard and adds
not-equal operator

lp:~tapaal-dist-ctl/verifypn/framework_game 1 Development 2016-05-21 14:49:20 UTC 2016-05-21
278. Fixed choise for XML format or consol...

Author: Søren Moss Nielsen
Revision Date: 2016-05-21 14:49:20 UTC

Fixed choise for XML format or console in main

lp:~tapaal-dist-ctl/verifypn/verifypn-dist-ctl 1 Development 2016-05-20 08:02:05 UTC 2016-05-20
365. Fixes

Author: Søren Moss Nielsen
Revision Date: 2016-05-20 08:02:05 UTC

Fixes

lp:~tapaal-dist-ctl/verifypn/Master_printer_merge 1 Development 2016-05-15 19:35:21 UTC 2016-05-15
266. Peter added printers, but use of poin...

Author: Peter Fogh
Revision Date: 2016-05-15 19:35:21 UTC

Peter added printers, but use of pointer do not work jet

lp:~peter-f1992/verifypn/Master_printer_merge 1 Development 2016-05-15 19:32:21 UTC 2016-05-15
265. BFS

Author: Samuel Pastva
Revision Date: 2016-05-13 13:47:30 UTC

BFS

lp:~tapaal-dist-ctl/verifypn/CTLGame 1 Development 2016-05-12 15:34:58 UTC 2016-05-12
106. Added game interaction in XML format ...

Author: Søren Moss Nielsen
Revision Date: 2016-05-12 15:34:58 UTC

Added game interaction in XML format for player (config part only)

lp:~tapaal-dist-ctl/verifypn/CZeroExperiments 1 Development 2016-05-11 13:48:40 UTC 2016-05-11
112. Updated partition evaluation scripts

Author: <email address hidden>
Revision Date: 2016-05-11 13:48:40 UTC

Updated partition evaluation scripts

lp:~tapaal-dist-ctl/verifypn/SmolkaLocalExperiments 1 Development 2016-05-11 11:45:44 UTC 2016-05-11
109. Removed CZero assignment

Author: <email address hidden>
Revision Date: 2016-05-11 11:45:44 UTC

Removed CZero assignment

lp:~tapaal-dist-ctl/verifypn/verifypnTestFramework 1 Development 2016-05-04 12:15:14 UTC 2016-05-04
290. Fixed cancel-SLURM-jobs

Author: <email address hidden>
Revision Date: 2016-05-04 12:15:14 UTC

Fixed cancel-SLURM-jobs

lp:~tapaal-dist/verifypn/verifypnLTSmin 1 Development 2016-04-27 12:10:59 UTC 2016-04-27
149. Fixed competition output

Author: Søren Moss Nielsen
Revision Date: 2016-04-27 12:10:59 UTC

Fixed competition output

lp:~tapaal-dist-ctl/verifypn/parallel-lockfree 1 Development 2016-04-20 12:34:44 UTC 2016-04-20
284. Disabled multi invokation of Upperbou...

Author: Søren Moss Nielsen
Revision Date: 2016-04-20 12:34:44 UTC

Disabled multi invokation of Upperbounds queries

lp:~tapaal-dist-ctl/verifypn/SeqCTLCompression 1 Development 2016-04-13 09:47:12 UTC 2016-04-13
258. merge optimisations from trunk

Author: Samuel Pastva
Revision Date: 2016-04-13 09:47:12 UTC

merge optimisations from trunk

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.

148 of 48 results
You can't create new branches for verifypn.