lp:~verifypn-cpn/verifypn/TACPNModel

Created by Niels Christensen and last modified
Get this branch:
bzr branch lp:~verifypn-cpn/verifypn/TACPNModel
Members of verifypn-cpn can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
verifypn-cpn
Project:
verifypn
Status:
Abandoned

Recent revisions

231. By Niels Christensen

Made arcs with intervals

230. By Niels Christensen

Arcs should have intervals now

229. By Niels Christensen

WIP almost added the arcs to the model

228. By Niels Christensen

WIP needs interval changes from Parser branch

227. By Niels Christensen

WIP almost done with transportArc in the builder and adding them to the model

226. By Niels Christensen

Pushing with the CMakeLists.txt

225. By Niels Christensen

Made arcs with intervals

224. By Niels Christensen

Merge to get changes that was made into the model in TACPNParser branch

223. By Niels Christensen

Places should be added to the model with invariants

222. By Niels Christensen

WIP almost added places to the model, and the unfolding of the places

Branch metadata

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

Subscribers