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

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:workcraft at revision 549

Danil Sokolov: Approve on 2014-09-12

Diff: 98 lines (+11/-24)

3 files modified

MpsatPlugin/src/org/workcraft/plugins/mpsat/MpsatResultParser.java (+8/-16)
MpsatPlugin/src/org/workcraft/plugins/mpsat/gui/SolutionPanel.java (+1/-1)
PetriNetPlugin/src/org/workcraft/plugins/petri/tools/PetriNetSimulationTool.java (+2/-7)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Bug #1339216: Simulation traces get forgotten

Low

Fix Committed

Link a bug report

Related blueprints

549. By Danil Sokolov on 2014-09-12

Improvements for simulation trace handling:
 - the active trace is remebered until explicitly reset
 - trace parser is improved to support a slightly different output of PNML-enable MPSat
 - the state of trace browser buttons is correctly set when MPSat trace is passed for simulation

548. By Danil Sokolov on 2014-09-10

Support for comma as a decimal separator is the property editor.

547. By Danil Sokolov on 2014-09-09

Merge proposal for bugs #1346991 and #1367438 approved.

546. By Danil Sokolov on 2014-09-08

Merge proposal for bug #1364057 approved.

545. By Danil Sokolov on 2014-09-08

Merge proposal for bug #1364023 approved.

544. By Danil Sokolov on 2014-09-05

Merge proposal for bugs #1366078 and 1366068 approved.

543. By Danil Sokolov on 2014-09-05

Merge proposal for bug# 1365553 approved.

542. By Danil Sokolov on 2014-09-04

Merge proposal for bug #1360339 approved.

541. By Danil Sokolov on 2014-08-22

Merge proposal for bug #1360299 approved.

540. By Danil Sokolov on 2014-08-06

Merge proposal for bug #1342059 approved.