Created by Mark Glavind on 2019-05-06 and last modified on 2019-06-06
Get this branch:
bzr branch lp:~verifypn-cpn/verifypn/dynamicExport
Members of verifypn-cpn can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information


Recent revisions

232. By Mark Glavind on 2019-06-06

small change to parser

231. By Mark Glavind on 2019-05-16

Constants have been added to the parser for places

230. By Mark Glavind on 2019-05-16

Constants have been added to the parser for arcs

229. By Mark Glavind on 2019-05-14

changed unfolding of inhibitor arcs, such that you do not need any other outgoing arcs from a place

228. By Mark Glavind on 2019-05-14

Fixed an issue where target and source were switched on some transport arcs

227. By Mark Glavind on 2019-05-14

Changed another break to continue, moved a line of code inside an else chain it belonged in

226. By Mark Glavind on 2019-05-14

Fixed 2 issues, some transport arcs were missing inscription tag and a issue with printing arcs in postset if there was a transport arc because of a break instead of continue.. x)

225. By Mark Glavind on 2019-05-13

Unfolded transitions and places keep original coordinates with small changes to keep e.g. places in the same family close to each other

224. By Mark Glavind on 2019-05-08

Query output format now depends on whether it is for verifydtapn or TAPAAL

223. By Mark Glavind on 2019-05-07

Can now either export model to TAPN format for TAPAAL or verifydtapn format. Fixed issue where you could not have more than one transport arc going throug the same transition

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.