← Back to branch summary

~libowen96/workcraft/trunk-son-entire

~libowen96/workcraft/trunk-son-entire

Viewing all changes in revision 713.

Committer: Danil Sokolov
Date: 2016-01-15 17:53:49 UTC
mfrom: (712.1.1 workcraft-trunk)
Revision ID: danilovesky@gmail.com-20160115175349-ebxrr01y7b2f3rtq

Merge proposal for blueprint ui-tools-output approved.

files removed:
PetrifyPlugin/src/org/workcraft/plugins/petrify/tasks/PetrifyTask.java

files modified:
CircuitPlugin/src/org/workcraft/plugins/circuit/stg/CircuitStgUtils.java

CircuitPlugin/src/org/workcraft/plugins/circuit/tasks/CheckCircuitTask.java

CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/ProcessIO.java

CpogsPlugin/src/org/workcraft/plugins/cpog/tasks/PGMinerTask.java

CpogsPlugin/src/org/workcraft/plugins/cpog/tasks/ScencoExternalToolTask.java

DfsPlugin/src/org/workcraft/plugins/dfs/tasks/CheckDataflowDeadlockTask.java

DfsPlugin/src/org/workcraft/plugins/dfs/tasks/CheckDataflowHazardTask.java

DfsPlugin/src/org/workcraft/plugins/dfs/tasks/CheckDataflowTask.java

FstPlugin/src/org/workcraft/plugins/fst/task/WriteSgConversionTask.java

MpsatSynthesisPlugin/src/org/workcraft/plugins/mpsat/MpsatSynthesisUtilitySettings.java

MpsatSynthesisPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatSynthesisChainTask.java

MpsatSynthesisPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatSynthesisTask.java

MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat/MpsatSettings.java

MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat/MpsatUtilitySettings.java

MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatChainTask.java

MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatCombinedChainTask.java

MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatConformationTask.java

MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatTask.java

PcompPlugin/src/org/workcraft/plugins/pcomp/tasks/PcompTask.java

PetrifyExtraPlugin/src/org/workcraft/plugins/petrify/tasks/DrawAstgTask.java

PetrifyExtraPlugin/src/org/workcraft/plugins/petrify/tasks/WriteSgTask.java

PetrifyPlugin/src/org/workcraft/plugins/petrify/PetrifyUtilitySettings.java

PetrifyPlugin/src/org/workcraft/plugins/petrify/tasks/SynthesisTask.java

PetrifyPlugin/src/org/workcraft/plugins/petrify/tasks/TransformationTask.java

PolicyNetPlugin/src/org/workcraft/plugins/policy/tasks/CheckDeadlockTask.java

PunfPlugin/src/org/workcraft/plugins/punf/PunfUtilitySettings.java

PunfPlugin/src/org/workcraft/plugins/punf/tasks/PunfTask.java

WorkcraftCore/src/org/workcraft/Config.java

WorkcraftCore/src/org/workcraft/Framework.java

WorkcraftCore/src/org/workcraft/gui/AboutDialog.java

WorkcraftCore/src/org/workcraft/gui/CreateWorkDialog.java

WorkcraftCore/src/org/workcraft/gui/propertyeditor/Settings.java

WorkcraftCore/src/org/workcraft/gui/propertyeditor/SettingsEditorDialog.java

WorkcraftCore/src/org/workcraft/interop/ExternalProcess.java

WorkcraftCore/src/org/workcraft/interop/SynchronousExternalProcess.java

WorkcraftCore/src/org/workcraft/plugins/layout/DotLayoutTool.java

WorkcraftCore/src/org/workcraft/plugins/shared/tasks/ExternalProcessTask.java

WorkcraftCore/src/org/workcraft/tasks/DummyProgressMonitor.java

Show diffs side-by-side

added added

removed removed

CircuitPlugin/src/org/workcraft/plugins/circuit/stg/CircuitStgUtils.java

CircuitPlugin/src/org/workcraft/plugins/circuit/tasks/CheckCircuitTask.java

CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/ProcessIO.java

CpogsPlugin/src/org/workcraft/plugins/cpog/tasks/PGMinerTask.java

CpogsPlugin/src/org/workcraft/plugins/cpog/tasks/ScencoExternalToolTask.java

DfsPlugin/src/org/workcraft/plugins/dfs/tasks/CheckDataflowDeadlockTask.java

DfsPlugin/src/org/workcraft/plugins/dfs/tasks/CheckDataflowHazardTask.java

DfsPlugin/src/org/workcraft/plugins/dfs/tasks/CheckDataflowTask.java

FstPlugin/src/org/workcraft/plugins/fst/task/WriteSgConversionTask.java

MpsatSynthesisPlugin/src/org/workcraft/plugins/mpsat/MpsatSynthesisUtilitySettings.java

MpsatSynthesisPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatSynthesisChainTask.java

MpsatSynthesisPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatSynthesisTask.java

MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat/MpsatSettings.java

MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat/MpsatUtilitySettings.java

MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatChainTask.java

MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatCombinedChainTask.java

MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatConformationTask.java

MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatTask.java

PcompPlugin/src/org/workcraft/plugins/pcomp/tasks/PcompTask.java

PetrifyExtraPlugin/src/org/workcraft/plugins/petrify/tasks/DrawAstgTask.java

PetrifyExtraPlugin/src/org/workcraft/plugins/petrify/tasks/WriteSgTask.java

PetrifyPlugin/src/org/workcraft/plugins/petrify/PetrifyUtilitySettings.java

PetrifyPlugin/src/org/workcraft/plugins/petrify/tasks/PetrifyTask.java

PetrifyPlugin/src/org/workcraft/plugins/petrify/tasks/SynthesisTask.java

PetrifyPlugin/src/org/workcraft/plugins/petrify/tasks/TransformationTask.java

PolicyNetPlugin/src/org/workcraft/plugins/policy/tasks/CheckDeadlockTask.java

PunfPlugin/src/org/workcraft/plugins/punf/PunfUtilitySettings.java

PunfPlugin/src/org/workcraft/plugins/punf/tasks/PunfTask.java

WorkcraftCore/src/org/workcraft/Config.java

WorkcraftCore/src/org/workcraft/Framework.java

WorkcraftCore/src/org/workcraft/gui/AboutDialog.java

WorkcraftCore/src/org/workcraft/gui/CreateWorkDialog.java

WorkcraftCore/src/org/workcraft/gui/propertyeditor/Settings.java

WorkcraftCore/src/org/workcraft/gui/propertyeditor/SettingsEditorDialog.java

WorkcraftCore/src/org/workcraft/interop/ExternalProcess.java

WorkcraftCore/src/org/workcraft/interop/SynchronousExternalProcess.java

WorkcraftCore/src/org/workcraft/plugins/layout/DotLayoutTool.java

WorkcraftCore/src/org/workcraft/plugins/shared/tasks/ExternalProcessTask.java

WorkcraftCore/src/org/workcraft/tasks/DummyProgressMonitor.java

Older »