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

Created by Tobias Skovgaard Jepsen on 2016-04-26 and last modified on 2017-03-13
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:
Development

Recent revisions

299. By Søren Moss Nielsen <email address hidden> on 2017-03-13

Added a few new queries to the two test models

298. By Søren Moss Nielsen <email address hidden> on 2017-03-09

Merge

297. By Søren Moss Nielsen <email address hidden> on 2017-03-09

Added a new testmodel

296. By Søren Moss Nielsen <email address hidden> on 2017-02-28

Added a model with inhibitor arcs

295. By Søren Moss Nielsen on 2016-05-20

Corrected scalingconf

294. By Tobias Jepsen <email address hidden> on 2016-05-14

effalseconf

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

Booboo in scalingconf

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

New scalingconf

291. By Tobias Jepsen <email address hidden> on 2016-05-08

Fixed error in scalingconf

290. By Tobias Jepsen <email address hidden> on 2016-05-08

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.