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

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

112. By Tobias S. Jepsen <email address hidden> on 2016-05-11

Updated partition evaluation scripts

111. By Tobias S. Jepsen <email address hidden> on 2016-05-11

Added time flag for slurm

110. By Tobias S. Jepsen <email address hidden> on 2016-05-11

Changed conf files to support memory limit

109. By Tobias S. Jepsen <email address hidden> on 2016-05-11

Added build for supercomputer

108. By Tobias S. Jepsen <email address hidden> on 2016-05-11

Added optional memory constraint

107. By Peter Fogh <email address hidden> on 2016-05-11
106. By Samuel Pastva on 2016-05-09

fix sscanf problems

105. By Peter Fogh <email address hidden> on 2016-05-09

merge

104. By Peter Fogh <email address hidden> on 2016-05-09

fix sh. run test scripts

103. By Peter Fogh <email address hidden> on 2016-05-09

Peter Build fix

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.