lp:~tapaal-contributor/tapaal/transport-arcs-and-timed-nets
- Get this branch:
- bzr branch lp:~tapaal-contributor/tapaal/transport-arcs-and-timed-nets
Branch merges
- Jiri Srba: Approve
-
Diff: 19 lines (+3/-6)1 file modifiedsrc/dk/aau/cs/model/tapn/TimedArcPetriNet.java (+3/-6)
Branch information
Recent revisions
- 1074. By <email address hidden>
-
merged in lp:~yrke/tapaal/removeSpecialBatchLoading removing special loading of nets in batch processing
- 1073. By <email address hidden>
-
merged in lp:~yrke/tapaal/fix-1887770-and-1887771-ContextMenuForArcs fixing context menu on output arcs and double clicking on arcs
- 1072. By <email address hidden>
-
merged in lp:~tapaal-contributor/tapaal/fix-1890247 fixing NPE when closing a query dialog and query is empty
- 1071. By <email address hidden>
-
merged in lp:~yrke/tapaal/fix-1887524-prepostSetSize fixing issues with calculating preset and postset sizes for nets with inhibitor arcs
- 1070. By <email address hidden>
-
merged in lp:~yrke/tapaal/slimImageIcons-2 fixing icon layout for Windows on the left panels (arrows, sorting)
- 1069. By <email address hidden>
-
merged in lp:~tapaal-contributor/tapaal/load-and-save-time-and-game-net-properties introducing lense (timed,game) for future implementation of net projections
- 1068. By Kenneth Yrke Jørgensen
-
Merged branch lp:~yrke/tapaal/fix-1887512-SharedPlaceWithToken
Fixes bug #1887512
- 1067. By Jiri Srba
-
merged in lp:~yrke/tapaal/cleanup-PNO-namingAndInterface refactoring animator and drawing and adding global net properties timed/game
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:tapaal