TAPAAL

lp:~cpn-gui/tapaal/SrcDestPair

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

1081. By Niels Christensen

WIP qurey is made but not displayed yet

1080. By Niels Christensen

Made an error message for the user if they try to use the simulator on a TACPN

1079. By Niels Christensen

Made standard values for time and scheduler

1078. By Niels Christensen

Now showing that it needs a .ltl .usn and .gml files and will not accept other file types

1077. By Niels Christensen

Now only shows the correct source and destination pair in the list

1076. By Mark Glavind

small fixes

1075. By Mark Glavind

first row is now preseelected

1074. By Mark Glavind

Changed the path to unfoldTACPN to be universal for all OS's

1073. By Mark Glavind

final changes to gui for netsynth analysation tool

1072. By Mark Glavind

changed tool tab name

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