lp:~danilovesky/workcraft/trunk-ui-tools-output
Created by
Danil Sokolov
and last modified
- Get this branch:
- bzr branch lp:~danilovesky/workcraft/trunk-ui-tools-output
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.
- Workcraft core developers: Pending requested
-
Diff: 2100 lines (+625/-402)39 files modifiedCircuitPlugin/src/org/workcraft/plugins/circuit/stg/CircuitStgUtils.java (+2/-2)
CircuitPlugin/src/org/workcraft/plugins/circuit/tasks/CheckCircuitTask.java (+5/-5)
CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/ProcessIO.java (+1/-2)
CpogsPlugin/src/org/workcraft/plugins/cpog/tasks/PGMinerTask.java (+1/-1)
CpogsPlugin/src/org/workcraft/plugins/cpog/tasks/ScencoExternalToolTask.java (+2/-4)
DfsPlugin/src/org/workcraft/plugins/dfs/tasks/CheckDataflowDeadlockTask.java (+3/-3)
DfsPlugin/src/org/workcraft/plugins/dfs/tasks/CheckDataflowHazardTask.java (+3/-3)
DfsPlugin/src/org/workcraft/plugins/dfs/tasks/CheckDataflowTask.java (+4/-4)
FstPlugin/src/org/workcraft/plugins/fst/task/WriteSgConversionTask.java (+2/-2)
MpsatSynthesisPlugin/src/org/workcraft/plugins/mpsat/MpsatSynthesisUtilitySettings.java (+47/-0)
MpsatSynthesisPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatSynthesisChainTask.java (+3/-3)
MpsatSynthesisPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatSynthesisTask.java (+4/-2)
MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat/MpsatSettings.java (+1/-1)
MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat/MpsatUtilitySettings.java (+47/-1)
MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatChainTask.java (+3/-3)
MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatCombinedChainTask.java (+3/-3)
MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatConformationTask.java (+4/-4)
MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatTask.java (+4/-2)
PcompPlugin/src/org/workcraft/plugins/pcomp/tasks/PcompTask.java (+2/-1)
PetrifyExtraPlugin/src/org/workcraft/plugins/petrify/tasks/DrawAstgTask.java (+2/-2)
PetrifyExtraPlugin/src/org/workcraft/plugins/petrify/tasks/WriteSgTask.java (+2/-1)
PetrifyPlugin/src/org/workcraft/plugins/petrify/PetrifyUtilitySettings.java (+47/-1)
PetrifyPlugin/src/org/workcraft/plugins/petrify/tasks/PetrifyTask.java (+0/-135)
PetrifyPlugin/src/org/workcraft/plugins/petrify/tasks/SynthesisTask.java (+38/-32)
PetrifyPlugin/src/org/workcraft/plugins/petrify/tasks/TransformationTask.java (+113/-54)
PolicyNetPlugin/src/org/workcraft/plugins/policy/tasks/CheckDeadlockTask.java (+3/-3)
PunfPlugin/src/org/workcraft/plugins/punf/PunfUtilitySettings.java (+47/-1)
PunfPlugin/src/org/workcraft/plugins/punf/tasks/PunfTask.java (+5/-2)
WorkcraftCore/src/org/workcraft/Config.java (+43/-43)
WorkcraftCore/src/org/workcraft/Framework.java (+7/-2)
WorkcraftCore/src/org/workcraft/gui/AboutDialog.java (+1/-1)
WorkcraftCore/src/org/workcraft/gui/CreateWorkDialog.java (+5/-5)
WorkcraftCore/src/org/workcraft/gui/propertyeditor/Settings.java (+2/-2)
WorkcraftCore/src/org/workcraft/gui/propertyeditor/SettingsEditorDialog.java (+85/-7)
WorkcraftCore/src/org/workcraft/interop/ExternalProcess.java (+26/-30)
WorkcraftCore/src/org/workcraft/interop/SynchronousExternalProcess.java (+14/-12)
WorkcraftCore/src/org/workcraft/plugins/layout/DotLayoutTool.java (+1/-1)
WorkcraftCore/src/org/workcraft/plugins/shared/tasks/ExternalProcessTask.java (+36/-17)
WorkcraftCore/src/org/workcraft/tasks/DummyProgressMonitor.java (+7/-5)
Related bugs
Bug #1534659: Changes in global settings cannot be cancelled | Low | Fix Committed | |
Bug #1534665: Petrify transform task is inconsistent with other external tasks | Low | Fix Committed |
Related blueprints
Branch information
Recent revisions
- 713. By Danil Sokolov
-
Support for printing stdout and stderr into Output console.
Refactoring of Petrify transform task.
Improvement for global settings - they can be cancelled and restored to defaults. - 710. By Danil Sokolov
-
Contraction of Petri net and STG transitions is (temporary) disabled as it does not produce correct results.
- 705. By Danil Sokolov
-
Combined verification of STG for deadlock, consistency and output persistency reusing the same unfolding.
- 704. By Danil Sokolov
-
Extra arguments to backend tools are added after the built-in arguments but before the file parameters
Branch metadata
- Branch format:
- Branch format 6
- Repository format:
- Bazaar pack repository format 1 with rich root (needs bzr 1.0)