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

Created by Tobias Skovgaard Jepsen on 2016-10-20 and last modified on 2016-10-21
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> on 2016-10-21

Results from paper added

329. By Søren Moss Nielsen on 2016-10-18

Merge

328. By Søren Moss Nielsen on 2016-10-18

Some message

327. By Søren Moss Nielsen on 2016-10-11

Appear to have fixed error

326. By Tobias Jepsen <email address hidden> on 2016-10-11

Testing scripts

325. By Søren Moss Nielsen on 2016-06-24

Added expname parameter

324. By Søren Moss Nielsen on 2016-06-24

Dist not run exclusively

323. By Søren Moss Nielsen on 2016-06-24

Excluded compile step

322. By Tobias Jepsen <email address hidden> on 2016-06-24

Added more sleeping

321. By Tobias Jepsen <email address hidden> on 2016-06-24

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.