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

Created by Tobias Skovgaard Jepsen and last modified
Get this branch:
bzr branch lp:~tapaal-dist-ctl/verifypn/paper-dist
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

330. By Tobias Jepsen <email address hidden>

Results from paper added

329. By Søren Moss Nielsen

Merge

328. By Søren Moss Nielsen

Some message

327. By Søren Moss Nielsen

Appear to have fixed error

326. By Tobias Jepsen <email address hidden>

Testing scripts

325. By Søren Moss Nielsen

Added expname parameter

324. By Søren Moss Nielsen

Dist not run exclusively

323. By Søren Moss Nielsen

Excluded compile step

322. By Tobias Jepsen <email address hidden>

Added more sleeping

321. By Tobias Jepsen <email address hidden>

Added more sleeping

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.