lp:~danilovesky/workcraft/trunk-bug-1449445
Created by
Danil Sokolov
and last modified
- Get this branch:
- bzr branch lp:~danilovesky/workcraft/trunk-bug-1449445
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: 2409 lines (+1008/-750)28 files modifiedCircuitPlugin/src/org/workcraft/plugins/circuit/CircuitUtils.java (+3/-3)
CircuitPlugin/src/org/workcraft/plugins/circuit/VisualCircuitConnection.java (+0/-19)
CircuitPlugin/src/org/workcraft/plugins/circuit/VisualContact.java (+3/-31)
CircuitPlugin/src/org/workcraft/plugins/circuit/VisualJoint.java (+0/-19)
CircuitPlugin/src/org/workcraft/plugins/circuit/stg/CircuitToStgConverter.java (+462/-0)
CircuitPlugin/src/org/workcraft/plugins/circuit/stg/NodeStg.java (+29/-0)
CircuitPlugin/src/org/workcraft/plugins/circuit/stg/SignalStg.java (+42/-0)
CircuitPlugin/src/org/workcraft/plugins/circuit/tasks/CheckCircuitTask.java (+3/-2)
CircuitPlugin/src/org/workcraft/plugins/circuit/tools/CircuitSimulationTool.java (+84/-194)
CircuitPlugin/src/org/workcraft/plugins/circuit/tools/CircuitStgUtils.java (+123/-0)
CircuitPlugin/src/org/workcraft/plugins/circuit/tools/STGGenerator.java (+0/-389)
CircuitPlugin/src/org/workcraft/plugins/circuit/tools/StgGeneratorTool.java (+4/-5)
DfsPlugin/src/org/workcraft/plugins/dfs/DfsToolsProvider.java (+2/-2)
DfsPlugin/src/org/workcraft/plugins/dfs/stg/LogicStg.java (+2/-2)
DfsPlugin/src/org/workcraft/plugins/dfs/stg/StgGenerator.java (+36/-33)
DfsPlugin/src/org/workcraft/plugins/dfs/tasks/CheckDataflowDeadlockTask.java (+1/-1)
DfsPlugin/src/org/workcraft/plugins/dfs/tasks/CheckDataflowHazardTask.java (+1/-1)
DfsPlugin/src/org/workcraft/plugins/dfs/tasks/CheckDataflowTask.java (+1/-1)
DfsPlugin/src/org/workcraft/plugins/dfs/tools/DfsSimulationTool.java (+75/-2)
DfsPlugin/src/org/workcraft/plugins/dfs/tools/StgGeneratorTool.java (+1/-1)
FsmPlugin/src/org/workcraft/plugins/fsm/tools/FsmSimulationTool.java (+17/-0)
FstPlugin/src/org/workcraft/plugins/fst/tools/FstSimulationTool.java (+18/-1)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatConformationTask.java (+0/-1)
PetriNetPlugin/src/org/workcraft/plugins/petri/tools/PetriNetSimulationTool.java (+32/-1)
PolicyNetPlugin/src/org/workcraft/plugins/policy/tools/SimulationTool.java (+17/-0)
STGPlugin/src/org/workcraft/plugins/stg/VisualSTG.java (+9/-0)
WorkcraftCore/models/simulation.ucls (+40/-40)
WorkcraftCore/src/org/workcraft/gui/graph/GraphEditorPanel.java (+3/-2)
Related bugs
Bug #1449445: In Digital Circuit simulation Copy init button does not work | Medium | Fix Committed |
|
Related blueprints
Branch information
Recent revisions
- 607. By Danil Sokolov
-
Possibility to save the current simulation state as the initial state (see a new button in simulation tool).
- 606. By Danil Sokolov
-
Association of signal structures from a composed device-environment STG with the driver contacts of the circuit.
Branch metadata
- Branch format:
- Branch format 6
- Repository format:
- Bazaar pack repository format 1 with rich root (needs bzr 1.0)