verifypn

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

Created by Tobias Skovgaard Jepsen and last modified
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:
Abandoned

Recent revisions

112. By Tobias S. Jepsen <email address hidden>

Updated partition evaluation scripts

111. By Tobias S. Jepsen <email address hidden>

Added time flag for slurm

110. By Tobias S. Jepsen <email address hidden>

Changed conf files to support memory limit

109. By Tobias S. Jepsen <email address hidden>

Added build for supercomputer

108. By Tobias S. Jepsen <email address hidden>

Added optional memory constraint

107. By Peter Fogh <email address hidden>
106. By Samuel Pastva

fix sscanf problems

105. By Peter Fogh <email address hidden>

merge

104. By Peter Fogh <email address hidden>

fix sh. run test scripts

103. By Peter Fogh <email address hidden>

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.