lp:~cpn-gui/tapaal/loadPNML

Created by Mark Glavind and last modified
Get this branch:
bzr branch lp:~cpn-gui/tapaal/loadPNML
Members of cpn-gui can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
cpn-gui
Project:
TAPAAL
Status:
Merged

Recent revisions

1031. By Mark Glavind

fixed issues with transport arcs and inhibitor arcs, which sometimes prohibited loading

1030. By Mark Glavind

can now parse all arcs, and fixed bug in guard dialog panel

1029. By Mark Glavind

forgot to add files to last commit, LoadTACPN has shared functionality between import and load

1028. By Mark Glavind

we can now parse transport arcs and colored input arcs

1027. By Mark Glavind

fixed issue where standard place invariant * was not written in inscription tag

1026. By Mark Glavind

Fixed a bug that dit not allow saving inhibitor arcs, WIP on loading arcs

1025. By Mark Glavind

TACPN transitions can now be parsed in the loader

1024. By Mark Glavind

places can now also pass colorType and colored markings

1023. By Mark Glavind

Colored places and color invariants can now be parsed

1022. By Mark Glavind

we can now parse declarations and colored invariants for places with load

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
lp:tapaal
This branch contains Public information 
Everyone can see this information.

Subscribers