lp:~cpn-gui/tapaal/cpn-editor

Created by Mark Glavind on 2018-09-21 and last modified on 2019-07-30
Get this branch:
bzr branch lp:~cpn-gui/tapaal/cpn-editor
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:
Development

Recent revisions

1086. By Niels Christensen on 2019-07-30

Created the new intervals

1085. By Niels Christensen on 2019-07-30

Cleaned the code for some prints

1084. By Mark Glavind on 2019-07-30

When unfolding TACPN a query is transported over to the unfolded net. this allows the user to use the simulation tool on the unfolded net

1083. By Mark Glavind on 2019-07-26

merge from introexamplebug

1082. By Niels Christensen on 2019-07-26

Merge from typeCheckerVariable

1081. By Mark Glavind on 2019-06-26

Added query to network and prints temp query as well

1080. By Mark Glavind on 2019-06-26

second merge from ExportTempModels, forgot to add a file!

1079. By Mark Glavind on 2019-06-26

wip

1078. By Niels Christensen on 2019-06-26

Merge from exportTempModel

1077. By Niels Christensen on 2019-06-26

Merge from SrcDestPair

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