lp:~tapaal-dist-ctl/verifypn/verifypn-dist-ctl

Created by Søren Moss Nielsen on 2016-02-19 and last modified on 2016-05-20
Get this branch:
bzr branch lp:~tapaal-dist-ctl/verifypn/verifypn-dist-ctl
Members of Distributed Czero Team can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
Distributed Czero Team
Project:
verifypn
Status:
Development

Recent revisions

365. By Søren Moss Nielsen on 2016-05-20

Fixes

364. By Samuel Pastva on 2016-05-18

Add max message receive counter

363. By Samuel Pastva on 2016-05-18

Print config count

362. By Samuel Pastva on 2016-05-17

merge

361. By Samuel Pastva on 2016-05-17

Hopeful AF fix

360. By Peter Fogh <email address hidden> on 2016-05-10

Fix dist and czero for consistency test

359. By Søren Moss Nielsen on 2016-05-09

bubu fixed

358. By Tobias Jepsen <email address hidden> on 2016-05-09

Fix

357. By Tobias Jepsen <email address hidden> on 2016-05-09

Last fix before run

356. By Tobias Jepsen <email address hidden> on 2016-05-09

Last fix before run

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
lp:~verifypn-maintainers/verifypn/trunk
This branch contains Public information 
Everyone can see this information.