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 1 active review.

verifypn has 36 active branches owned by 2 people and 5 teams. There were 22 commits by 4 people in the last month.

Bazaar branches

Name Status Last Modified Last Commit
lp:verifypn
Series: trunk
1 Development 2018-05-13 08:22:52 UTC 2018-05-13
205. merged in branch lp:~verifypn-stub/ve...

Author: Jiri Srba
Revision Date: 2018-05-13 08:22:52 UTC

merged in branch lp:~verifypn-stub/verifypn/inhib-por-bugfix
fixing a number of bugs in the engine in non-MCC models and queries

lp:verifypn/u3.0
Series: u3.0
1 Development 2018-05-14 13:29:32 UTC 2018-05-14
205. merged in branch lp:~verifypn-stub/ve...

Author: Jiri Srba
Revision Date: 2018-05-13 08:22:52 UTC

merged in branch lp:~verifypn-stub/verifypn/inhib-por-bugfix
fixing a number of bugs in the engine in non-MCC models and queries

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/col_weight_fix 1 Development 2018-05-20 20:17:36 UTC 2018-05-20
206. Added correction to weight on minus a...

Author: Andreas Klostergaard
Revision Date: 2018-05-20 18:25:00 UTC

Added correction to weight on minus arc expression

lp:~verifypn-stub/verifypn/rulei-segfault 1 Development 2018-05-17 19:09:04 UTC 2018-05-17
214. fixed segfault due to typo

Author: Peter Gjøl Jensen
Revision Date: 2018-05-17 18:59:24 UTC

fixed segfault due to typo

lp:~verifypn-cpn/verifypn/cpn-rule-i 1 Development 2018-04-02 10:15:34 UTC 2018-04-02
261. Bug fix for fireability queries.

Author: Andreas Klostergaard
Revision Date: 2018-04-02 10:15:44 UTC

Bug fix for fireability queries.

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:~verifypn-stub/verifypn/exp-ctl-sm 1 Development 2017-10-31 17:03:10 UTC 2017-10-31
337. AF

Author: Peter Gjøl Jensen
Revision Date: 2017-10-31 17:03:10 UTC

AF

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:~verifypn-stub/verifypn/masters-thesis 1 Development 2017-06-02 12:23:18 UTC 2017-06-02
235. Add experimental data

Author: Jakob Dyhr
Revision Date: 2017-06-02 12:23:18 UTC

Add experimental data

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.

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