lp:~verifypn-cpn/verifypn/TACPNParser

Created by Mark Glavind on 2019-03-19 and last modified on 2019-04-03
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:
Development

Recent revisions

231. By Mark Glavind on 2019-04-03

we can now parse all arcs in TACPN

230. By Niels Christensen on 2019-04-03

Fixed small bug

229. By Niels Christensen on 2019-04-01

Merge from tacpn

228. By Niels Christensen on 2019-04-01

Fixing a method call

227. By Niels Christensen on 2019-04-01

Arcs should be parsed with intervals

226. By Mark Glavind on 2019-04-01

WIP on parsing arcs

225. By Mark Glavind on 2019-03-28

can now parse and add urgent transitions to the model

224. By Mark Glavind on 2019-03-28

finished parsing invariants, missing model

223. By Mark Glavind on 2019-03-27

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

222. By Mark Glavind on 2019-03-27

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