lp:~verifypn-cpn/verifypn/exportTAPN

Created by Mark Glavind on 2019-04-03 and last modified on 2019-04-29
Get this branch:
bzr branch lp:~verifypn-cpn/verifypn/exportTAPN
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

233. By Niels Christensen on 2019-04-29

WIP unfold queries

232. By Niels Christensen on 2019-04-29

WIP unfold query

231. By Mark Glavind on 2019-04-26

WIP on unfolding queries

230. By Mark Glavind on 2019-04-19

WIP on adding query unfolding to TACPN tool

229. By Mark Glavind on 2019-04-17

WIP on coordinaes for places and transitions

228. By Mark Glavind on 2019-04-12

inhibitor arcs can now be unfolded and exported, WIP on issues with transport arcs

227. By Mark Glavind on 2019-04-11

shadow places are now unfolded and exported to XML. only missing inhibitor arcs now

226. By Mark Glavind on 2019-04-10

changed unfolded names, as they did not match name pattern in the GUI. bugfixes in the export function

225. By Mark Glavind on 2019-04-10

transport arcs can now be unfolded

224. By Mark Glavind on 2019-04-10

arcs can now be parsed with time intervals, still missing inhibitor arcs and transport arcs

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