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 35 active branches owned by 2 people and 4 teams. There were 81 commits by 3 people in the last month.

Bazaar branches

Name Status Last Modified Last Commit
lp:verifypn
Series: trunk
1 Development 2017-09-21 12:54:56 UTC 2017-09-21
186. merged in branch fixing a bug in the ...

Author: Jiri Srba
Revision Date: 2017-09-21 12:54:56 UTC

merged in branch fixing a bug in the encoder

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-stub/verifypn/exp-ctl-mpi-tmp 1 Development 2017-10-18 09:12:31 UTC 12 minutes ago
298. cleaner interfaces

Author: Peter Gjøl Jensen
Revision Date: 2017-10-18 09:12:31 UTC

cleaner interfaces

lp:~verifypn-stub/verifypn/exp-ctl-mpi 1 Development 2017-10-10 17:42:44 UTC 2017-10-10
293. missing sizeof

Author: Peter Gjøl Jensen
Revision Date: 2017-10-10 17:42:44 UTC

missing sizeof

lp:~verifypn-stub/verifypn/atomic-compilation 1 Development 2017-10-09 21:18:22 UTC 2017-10-09
220. compilation and distances

Author: Peter Gjøl Jensen
Revision Date: 2017-10-09 21:17:51 UTC

compilation and distances

lp:~verifypn-stub/verifypn/negation-push 1 Development 2017-10-09 20:22:00 UTC 2017-10-09
219. Pushing negation and trivial proposit...

Author: Peter Gjøl Jensen
Revision Date: 2017-10-09 20:16:19 UTC

Pushing negation and trivial proposition rewrites

lp:~verifypn-stub/verifypn/query-opt (Has a merge proposal) 1 Development 2017-10-09 19:14:41 UTC 2017-10-09
218. Merged with trunk

Author: Peter Gjøl Jensen
Revision Date: 2017-10-09 19:14:41 UTC

Merged with trunk

lp:~verifypn-stub/verifypn/par-ctl 1 Development 2017-10-06 08:38:39 UTC 2017-10-06
288. refined AF-fix

Author: Peter Gjøl Jensen
Revision Date: 2017-10-06 08:38:39 UTC

refined AF-fix

lp:~verifypn-stub/verifypn/exp-ctl 1 Development 2017-09-07 16:55:22 UTC 2017-09-07
203. opt 22, seems to work, might still no...

Author: Peter Gjøl Jensen
Revision Date: 2017-09-07 15:58:44 UTC

opt 22, seems to work, might still not be perfect in recycling mem

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.

135 of 35 results
You can't create new branches for verifypn.