lp:~danilovesky/workcraft/trunk-bug-1439238
Created by
Danil Sokolov
and last modified
- Get this branch:
- bzr branch lp:~danilovesky/workcraft/trunk-bug-1439238
Only
Danil Sokolov
can upload to this branch. If you are
Danil Sokolov
please log in for upload directions.
Branch merges
Propose for merging
No branches
dependent on this one.
- Danil Sokolov: Approve
-
Diff: 214 lines (+69/-4)8 files modifiedFsmPlugin/src/org/workcraft/plugins/fsm/VisualFsm.java (+9/-0)
FsmPlugin/src/org/workcraft/plugins/fsm/VisualState.java (+1/-1)
FstPlugin/src/org/workcraft/plugins/fst/tools/FstToFsmConverter.java (+15/-0)
PetrifyPlugin/src/org/workcraft/plugins/petrify/PetrifyUtilitySettings.java (+24/-1)
PetrifyPlugin/src/org/workcraft/plugins/petrify/tools/PetrifySynthesisTechnologyMapping.java (+13/-2)
WorkcraftCore/src/org/workcraft/gui/graph/tools/AbstractModelConverter.java (+1/-0)
WorkcraftCore/src/org/workcraft/gui/graph/tools/DefaultModelConverter.java (+4/-0)
WorkcraftCore/src/org/workcraft/gui/graph/tools/ModelConverter.java (+2/-0)
Related bugs
Bug #1436879: Incorrect initial state of FSM after conversion from PN | Medium | Fix Committed |
|
Bug #1439238: Path to petrify.lib should be only important for the technology mapping | Low | Fix Committed |
|
Related blueprints
Branch information
Recent revisions
- 599. By Danil Sokolov
-
Path to petrify.lib is taken into account only when petrify is called for technology mapping.
- 591. By Danil Sokolov
-
Merge proposal for bugs #1423248, 1340290, 142835, 1420742, 1401263, 1392029, 1399835 approved.
Branch metadata
- Branch format:
- Branch format 6
- Repository format:
- Bazaar pack repository format 1 with rich root (needs bzr 1.0)