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

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:workcraft at revision 617

Danil Sokolov: Approve on 2015-05-27

Diff: 678 lines (+164/-90)

15 files modified

CircuitPlugin/src/org/workcraft/plugins/circuit/Circuit.java (+6/-0)
CircuitPlugin/src/org/workcraft/plugins/circuit/tools/CircuitSimulationTool.java (+15/-9)
DfsPlugin/src/org/workcraft/plugins/dfs/tools/CycleAnaliserTool.java (+31/-22)
DfsPlugin/src/org/workcraft/plugins/dfs/tools/DfsSimulationTool.java (+26/-0)
FsmPlugin/src/org/workcraft/plugins/fsm/Fsm.java (+0/-1)
FsmPlugin/src/org/workcraft/plugins/fsm/tools/FsmSimulationTool.java (+14/-7)
FstPlugin/src/org/workcraft/plugins/fst/tools/FstSimulationTool.java (+14/-7)
MpsatPlugin/src/org/workcraft/plugins/mpsat/gui/MpsatConfigurationDialog.java (+5/-28)
PetriNetPlugin/src/org/workcraft/plugins/petri/tools/PetriNetSimulationTool.java (+1/-0)
PolicyNetPlugin/src/org/workcraft/plugins/policy/PolicyNetToolProvider.java (+2/-2)
PolicyNetPlugin/src/org/workcraft/plugins/policy/tools/PolicySimulationTool.java (+14/-8)
STGPlugin/src/org/workcraft/plugins/stg/tools/StgSimulationTool.java (+0/-1)
WorkcraftCore/src/org/workcraft/dom/visual/VisualModel.java (+1/-1)
WorkcraftCore/src/org/workcraft/gui/propertyeditor/SettingsEditorDialog.java (+9/-4)
WorkcraftCore/src/org/workcraft/util/IntDocument.java (+26/-0)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Bug #1459158: Token color is lost on copy simulation state to the initial state

Low

Fix Committed

Link a bug report

Related blueprints

617. By Danil Sokolov on 2015-05-27

Preserve token color on copying the simulation state to the initial state of DFS model. Improve cycle analysis interface.

616. By Danil Sokolov on 2015-05-23

Small corrections for the release of version 3.0.4.

615. By Danil Sokolov on 2015-05-22

Missing pictograms are added fro help and tutorials.

614. By Danil Sokolov on 2015-05-22

Restructured tutorials files.

613. By Danil Sokolov on 2015-05-22

Updated overview, help and tutorial files.

612. By Danil Sokolov on 2015-05-22

Various small improvements in preparation for release.

611. By Danil Sokolov on 2015-05-19

A hack with changing connection anchor style before and after the transformation.

610. By Danil Sokolov on 2015-05-19

Still fixing flip and rotate operations.

609. By Danil Sokolov on 2015-05-19

Fixing flipping and rotation.

608. By Danil Sokolov on 2015-05-16

Merge proposal for bug # 1455462 approved.