lp:~yrke/tapaal/fix-1887524-prepostSetSize
- Get this branch:
- bzr branch lp:~yrke/tapaal/fix-1887524-prepostSetSize
Branch merges
- Jiri Srba: Approve
-
Diff: 309 lines (+36/-33)10 files modifiedsrc/dk/aau/cs/model/tapn/TimedArcPetriNet.java (+1/-1)
src/dk/aau/cs/model/tapn/TimedPlace.java (+1/-2)
src/dk/aau/cs/model/tapn/TimedTransition.java (+7/-3)
src/dk/aau/cs/translations/Degree2Converter.java (+7/-7)
src/dk/aau/cs/translations/Degree2Pairing.java (+1/-1)
src/dk/aau/cs/translations/tapn/BroadcastTranslation.java (+5/-5)
src/dk/aau/cs/translations/tapn/Degree2BroadcastTranslation.java (+7/-7)
src/dk/aau/cs/translations/tapn/OptimizedStandardTranslation.java (+4/-4)
src/dk/aau/cs/translations/tapn/StandardTranslation.java (+2/-2)
src/dk/aau/cs/translations/tapn/TAPNToConservativeTAPNConverter.java (+1/-1)
Related bugs
Bug #1887524: Degree-2 converter is broken with nets using transportarc and inhib arc | Critical | Fix Released |
Related blueprints
Branch information
Recent revisions
- 1069. By Kenneth Yrke Jørgensen
-
Fixes bug #1887524 - Degree-2 converter is broken with nets using transportarc and inhib arc
Two issues:
- The old degree-2 converter does not expect inhib arcs to cound towards the size of a transitions preset
- Size of pre/post set for Transtions/Places included the inhib arcs in both pre and post set - 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
- 1066. By Jiri Srba <email address hidden>
-
merged in lp:~yrke/tapaal/update-versioncheckurl fixing URL to version check
- 1065. By Jiri Srba <email address hidden>
-
merged in lp:~tapaal-contributor/tapaal/statistics-position-resets-1884365 fixing position of statistics pannel after execution of removal of orphan transitions/places
- 1063. By Jiri Srba
-
merged in lp:~yrke/tapaal/fix1883971-save-arcpath-point-coords-error fixing net composition and position of arc points
- 1062. By Jiri Srba
-
merged in lp:~tapaal-contributor/tapaal/Net-statistics-should-display-orphan-places-1879127 addition the option to remove orphan place and fixing bug with orphan transitions that have inhibitor arcs
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:tapaal