Composition of circuit with environment STG change inputs into outputs
Bug #1503646 reported by
Danil Sokolov
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
Workcraft |
Fix Committed
|
Medium
|
Danil Sokolov |
Bug Description
Parallel composition of an input and an output transition with the same name results in an output transition (feature of PComp). This should be post-processed in circuit composition with its environment STG: the inputs of the circuit should remain inputs in the composed STG.
Related branches
lp:~danilovesky/workcraft/trunk-bug-1503646
- Danil Sokolov: Approve
-
Diff: 1430 lines (+366/-238)22 files modifiedCircuitPlugin/src/org/workcraft/plugins/circuit/stg/CircuitStgUtils.java (+116/-63)
CircuitPlugin/src/org/workcraft/plugins/circuit/stg/CircuitToStgConverter.java (+31/-21)
CircuitPlugin/src/org/workcraft/plugins/circuit/tasks/CheckCircuitTask.java (+40/-48)
DfsPlugin/src/org/workcraft/plugins/dfs/tasks/CheckDataflowDeadlockTask.java (+12/-8)
DfsPlugin/src/org/workcraft/plugins/dfs/tasks/CheckDataflowHazardTask.java (+12/-8)
DfsPlugin/src/org/workcraft/plugins/dfs/tasks/CheckDataflowTask.java (+14/-10)
FstPlugin/src/org/workcraft/plugins/fst/task/WriteSgConversionTask.java (+2/-3)
MpsatPlugin/src/org/workcraft/plugins/mpsat/MpsatSettings.java (+9/-5)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatChainTask.java (+1/-1)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatConformationTask.java (+1/-1)
MpsatPlugin/src/org/workcraft/plugins/pcomp/tasks/PcompTask.java (+1/-0)
PetrifyPlugin/src/org/workcraft/plugins/petrify/PetrifyModule.java (+4/-1)
PetrifyPlugin/src/org/workcraft/plugins/petrify/tasks/DrawAstgTask.java (+6/-3)
PetrifyPlugin/src/org/workcraft/plugins/petrify/tasks/DrawSgTask.java (+30/-18)
PetrifyPlugin/src/org/workcraft/plugins/petrify/tasks/TransformationTask.java (+2/-3)
PetrifyPlugin/src/org/workcraft/plugins/petrify/tools/ShowSg.java (+26/-21)
PetrifyPlugin/src/org/workcraft/plugins/petrify/tools/ShowSgBinary.java (+23/-0)
PolicyNetPlugin/src/org/workcraft/plugins/policy/tasks/CheckDeadlockTask.java (+12/-8)
STGPlugin/src/org/workcraft/plugins/stg/StgUtils.java (+1/-0)
WorkcraftCore/src/org/workcraft/gui/tasks/TaskControl.java (+3/-4)
WorkcraftCore/src/org/workcraft/gui/tasks/TaskManagerWindow.java (+17/-10)
WorkcraftCore/src/org/workcraft/plugins/shared/tasks/ExternalProcessTask.java (+3/-2)
Changed in workcraft: | |
status: | Confirmed → Fix Released |
status: | Fix Released → In Progress |
status: | In Progress → Fix Committed |
To post a comment you must log in.