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

Created by Peter Fogh on 2016-05-15 and last modified on 2016-05-15
Get this branch:
bzr branch lp:~tapaal-dist-ctl/verifypn/Master_printer_merge
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

266. By Peter Fogh <email address hidden> on 2016-05-15

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

265. By Samuel Pastva on 2016-05-13

BFS

264. By Samuel Pastva on 2016-05-13

Fix MPI termination

263. By Samuel Pastva on 2016-05-13

merge + comm reset

262. By Samuel Pastva on 2016-05-13

Simplified communicator

261. By Samuel Pastva on 2016-05-13

Search strategies and partitionings

260. By Samuel Pastva on 2016-05-13

Get stats from DG

259. By Samuel Pastva on 2016-05-13

Fix invalid delete in destructor

258. By Samuel Pastva on 2016-05-13

merge main file changes

257. By Samuel Pastva on 2016-05-13

merge build changes

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.