Created by Niels Christensen on 2019-03-19 and last modified on 2019-03-29
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


Recent revisions

231. By Niels Christensen on 2019-03-29

Made arcs with intervals

230. By Niels Christensen on 2019-03-28

Arcs should have intervals now

229. By Niels Christensen on 2019-03-27

WIP almost added the arcs to the model

228. By Niels Christensen on 2019-03-27

WIP needs interval changes from Parser branch

227. By Niels Christensen on 2019-03-27

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

226. By Niels Christensen on 2019-03-27

Pushing with the CMakeLists.txt

225. By Niels Christensen on 2019-03-27

Made arcs with intervals

224. By Niels Christensen on 2019-03-26

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

223. By Niels Christensen on 2019-03-25

Places should be added to the model with invariants

222. By Niels Christensen on 2019-03-21

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:
This branch contains Public information 
Everyone can see this information.