TAPAAL

lp:~cpn-gui/tapaal/finalbugfixing

Created by Mark Glavind on 2019-06-15 and last modified on 2020-03-18

Get this branch:: bzr branch lp:~cpn-gui/tapaal/finalbugfixing

Members of cpn-gui can upload to this branch. Log in for directions.

Branch merges

No branches dependent on this one.

Related bugs

Link a bug report

Related blueprints

Branch information

Owner:: cpn-gui

Project:: TAPAAL

Status:: Merged

Recent revisions

1070. By Mark Glavind on 2019-06-15: Added transport arcs to typechecking analysis
1069. By Mark Glavind on 2019-06-15: WIP on making network analysis tool look nice
1068. By Mark Glavind on 2019-06-15: small changes to getpathsWindow in tool
1067. By Mark Glavind on 2019-06-15: merge from dynamicPathsReal applying typechecking before verification and fixing issues with calling continious and discrete engine with TAPN
1066. By Niels Christensen on 2019-06-14: Moved positions in the dialog, and now the spinner is seconds and not minutes
1065. By Niels Christensen on 2019-06-14: Made so the default values are displayed in the list of token types in the NetworkUpdateOptimizationDialog
1064. By Niels Christensen on 2019-06-10: Visual fix when creating color type
1063. By Mark Glavind on 2019-06-06: merge from dynamicPathsReal
1062. By Mark Glavind on 2019-05-31: Merge with importNetworkConfigs
1061. By Mark Glavind on 2019-05-24: Added gui elements, such that the user can decide which packages will be used in the autogenerated model and the size of the packages

»

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