lp:~verifypn-cpn/verifypn/TACPNParser

Created by Mark Glavind and last modified
Get this branch:
bzr branch lp:~verifypn-cpn/verifypn/TACPNParser
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 Mark Glavind

we can now parse all arcs in TACPN

230. By Niels Christensen

Fixed small bug

229. By Niels Christensen

Merge from tacpn

228. By Niels Christensen

Fixing a method call

227. By Niels Christensen

Arcs should be parsed with intervals

226. By Mark Glavind

WIP on parsing arcs

225. By Mark Glavind

can now parse and add urgent transitions to the model

224. By Mark Glavind

finished parsing invariants, missing model

223. By Mark Glavind

parsing of time invariant is now dynmaic so the same function can also handle time intervals

222. By Mark Glavind

can now parse transitions, missing urgent tag

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