lp:~cpn-gui/tapaal/importNetworkConfigs

Created by Mark Glavind and last modified
Get this branch:
bzr branch lp:~cpn-gui/tapaal/importNetworkConfigs
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

1073. By Niels Christensen

Fixed that we got 2 rules jumps for a single source/dest pair

1072. By Niels Christensen

Small fix for the calculation for path length

1071. By Mark Glavind

something

1070. By Mark Glavind

Added more timing information for optimizing updateSequence

1069. By Mark Glavind

Added class to keep track of time stamps

1068. By Mark Glavind

We can now find the minimum value of all c constants in the example model

1067. By Mark Glavind

The continous engine is now called automatically when the net has been created with an AG query

1066. By Mark Glavind

Fixed some issues that did not allow the generated net to be either composed or unfolded

1065. By Mark Glavind

Added new transition and inhibitor arc to waypoint components and time constraints to all places/arcs

1064. By Mark Glavind

Added new panel for updateSequence components. All places and arc in the new component have the correct timing information

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