lp:~danilovesky/workcraft/trunk-bug-1439238

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:workcraft at revision 598

Danil Sokolov: Approve on 2015-04-01

Diff: 214 lines (+69/-4)

8 files modified

FsmPlugin/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)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

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

Link a bug report

Related blueprints

599. By Danil Sokolov on 2015-04-01

Path to petrify.lib is taken into account only when petrify is called for technology mapping.

598. By Danil Sokolov on 2015-04-01

Correction for the initial state of FSM after conversion from PN.

597. By Danil Sokolov on 2015-03-25

Merge proposal for bug #1436054 approved.

596. By Danil Sokolov on 2015-03-17

Merge proposal for bugs 1433039 and 1350787 approved.

595. By Danil Sokolov on 2015-03-02

Merge proposal for bugs 1426784 and 1427183 approved.

594. By Danil Sokolov on 2015-02-27

Merge proposal for bugs 1395354 and 1395360 approved.

593. By Danil Sokolov on 2015-02-26

Merge proposal for blueprint connection-anchor-movement approved.

592. By Danil Sokolov on 2015-02-26

Merge proposal for blueprint cpog-parser approved.

591. By Danil Sokolov on 2015-02-26

Merge proposal for bugs #1423248, 1340290, 142835, 1420742, 1401263, 1392029, 1399835 approved.

590. By Danil Sokolov on 2015-01-26

Minor correction in tutorial list.