lp:~danilovesky/workcraft/trunk-bug-1339216
Created by
Danil Sokolov
and last modified
- Get this branch:
- bzr branch lp:~danilovesky/workcraft/trunk-bug-1339216
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: 98 lines (+11/-24)3 files modifiedMpsatPlugin/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)
Branch information
Recent revisions
- 549. By Danil Sokolov
-
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
Branch metadata
- Branch format:
- Branch format 6
- Repository format:
- Bazaar pack repository format 1 with rich root (needs bzr 1.0)