verifypn

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

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

299. By Søren Moss Nielsen <email address hidden>

Added a few new queries to the two test models

298. By Søren Moss Nielsen <email address hidden>

Merge

297. By Søren Moss Nielsen <email address hidden>

Added a new testmodel

296. By Søren Moss Nielsen <email address hidden>

Added a model with inhibitor arcs

295. By Søren Moss Nielsen

Corrected scalingconf

294. By Tobias Jepsen <email address hidden>

effalseconf

293. By Tobias Jepsen <email address hidden>

Booboo in scalingconf

292. By Tobias Jepsen <email address hidden>

New scalingconf

291. By Tobias Jepsen <email address hidden>

Fixed error in scalingconf

290. By Tobias Jepsen <email address hidden>

Removed empty line in scalingconf

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
This branch contains Public information 
Everyone can see this information.