← Back to branch summary

~danilovesky/workcraft/trunk-bug-1539021

~danilovesky/workcraft/trunk-bug-1539021

Viewing all changes in revision 711.

Committer: Danil Sokolov
Date: 2016-01-14 18:27:46 UTC
mfrom: (710.2.10 trunk-contraction)
Revision ID: danilovesky@gmail.com-20160114182746-dul5e2ihs0y7f03x

Merge proposal for blueprint contraction approved.

PetriNetPlugin/src/org/workcraft/plugins/petri/tools/ProducingArcToReadArcConverterTool.java

STGPlugin/src/org/workcraft/plugins/stg/tools/NamedTransitionContractorTool.java

WorkcraftCore/src/org/workcraft/NodeTransformer.java

WorkcraftCore/src/org/workcraft/gui/actions/ExportAction.java

WorkcraftCore/src/org/workcraft/gui/actions/ToggleWindowAction.java

WorkcraftCore/src/org/workcraft/gui/actions/ToolAction.java

WorkcraftCore/src/org/workcraft/plugins/transform/StraightenConnectionsTool.java

files removed:
STGPlugin/src/org/workcraft/plugins/stg/tools/TransitionContractorTool.java

files modified:
CircuitPlugin/src/org/workcraft/plugins/circuit/tasks/CheckCircuitTask.java

CircuitPlugin/src/org/workcraft/plugins/circuit/tools/CircuitSelectionTool.java

CpogsPlugin/src/org/workcraft/plugins/cpog/tools/CpogSelectionTool.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

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

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

MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat/MpsatUndefinedResultHandler.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

PetriNetPlugin/src/org/workcraft/plugins/petri/PetriNet.java

PetriNetPlugin/src/org/workcraft/plugins/petri/PetriNetModule.java

PetriNetPlugin/src/org/workcraft/plugins/petri/PetriNetUtils.java

PetriNetPlugin/src/org/workcraft/plugins/petri/VisualPetriNet.java

PetriNetPlugin/src/org/workcraft/plugins/petri/VisualReadArc.java

PetriNetPlugin/src/org/workcraft/plugins/petri/tools/CollapseReplicaTool.java

PetriNetPlugin/src/org/workcraft/plugins/petri/tools/DualArcToReadArcConverterTool.java

PetriNetPlugin/src/org/workcraft/plugins/petri/tools/PetriNetConnectionTool.java

PetriNetPlugin/src/org/workcraft/plugins/petri/tools/PetriNetSelectionTool.java

PetriNetPlugin/src/org/workcraft/plugins/petri/tools/PlaceMergerTool.java

PetriNetPlugin/src/org/workcraft/plugins/petri/tools/ReadArcConnectionTool.java

PetriNetPlugin/src/org/workcraft/plugins/petri/tools/ReadArcToDualArcConverterTool.java

PetriNetPlugin/src/org/workcraft/plugins/petri/tools/ReplicateReadArcPlaceTool.java

PetriNetPlugin/src/org/workcraft/plugins/petri/tools/TransitionContractorTool.java

PetriNetPlugin/src/org/workcraft/plugins/petri/tools/TransitionMergerTool.java

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

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

STGPlugin/src/org/workcraft/plugins/stg/STGModule.java

STGPlugin/src/org/workcraft/plugins/stg/VisualSTG.java

STGPlugin/src/org/workcraft/plugins/stg/VisualSignalTransition.java

STGPlugin/src/org/workcraft/plugins/stg/tools/DummyToSignalTransitionConverterTool.java

STGPlugin/src/org/workcraft/plugins/stg/tools/MakePlacesExplicitTool.java

STGPlugin/src/org/workcraft/plugins/stg/tools/MakePlacesImplicitTool.java

STGPlugin/src/org/workcraft/plugins/stg/tools/SignalMirrorTool.java

STGPlugin/src/org/workcraft/plugins/stg/tools/SignalToDummyTransitionConverterTool.java

STGPlugin/src/org/workcraft/plugins/stg/tools/TransitionMergerTool.java

WorkcraftCore/src/org/workcraft/Info.java

WorkcraftCore/src/org/workcraft/TransformationTool.java

WorkcraftCore/src/org/workcraft/dom/AbstractModel.java

WorkcraftCore/src/org/workcraft/dom/NodeContext.java

WorkcraftCore/src/org/workcraft/dom/NodeContextTracker.java

WorkcraftCore/src/org/workcraft/dom/visual/AbstractVisualModel.java

WorkcraftCore/src/org/workcraft/dom/visual/ConnectionHelper.java

WorkcraftCore/src/org/workcraft/dom/visual/HitMan.java

WorkcraftCore/src/org/workcraft/dom/visual/connections/VisualConnection.java

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

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

WorkcraftCore/src/org/workcraft/gui/actions/ActionCheckBoxMenuItem.java

WorkcraftCore/src/org/workcraft/gui/actions/ActionMenuItem.java

WorkcraftCore/src/org/workcraft/gui/graph/tools/SelectionTool.java

WorkcraftCore/src/org/workcraft/gui/workspace/WorkspacePopupProvider.java

WorkcraftCore/src/org/workcraft/plugins/BuiltinTools.java

WorkcraftCore/src/org/workcraft/plugins/transform/CopyLablesTool.java

WorkcraftCore/src/org/workcraft/util/Tools.java

XmasPlugin/src/org/workcraft/plugins/xmas/tools/SyncSelectionTool.java

build_distr_linux.sh

build_distr_windows.sh

Show diffs side-by-side

added added

removed removed

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

CircuitPlugin/src/org/workcraft/plugins/circuit/tools/CircuitSelectionTool.java

CpogsPlugin/src/org/workcraft/plugins/cpog/tools/CpogSelectionTool.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

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

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

MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat/MpsatUndefinedResultHandler.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

PetriNetPlugin/src/org/workcraft/plugins/petri/PetriNet.java

PetriNetPlugin/src/org/workcraft/plugins/petri/PetriNetModule.java

PetriNetPlugin/src/org/workcraft/plugins/petri/PetriNetUtils.java

PetriNetPlugin/src/org/workcraft/plugins/petri/VisualPetriNet.java

PetriNetPlugin/src/org/workcraft/plugins/petri/VisualReadArc.java

PetriNetPlugin/src/org/workcraft/plugins/petri/tools/CollapseReplicaTool.java

PetriNetPlugin/src/org/workcraft/plugins/petri/tools/ConsumingArcToReadArcConverterTool.java

PetriNetPlugin/src/org/workcraft/plugins/petri/tools/DualArcToReadArcConverterTool.java

PetriNetPlugin/src/org/workcraft/plugins/petri/tools/PetriNetConnectionTool.java

PetriNetPlugin/src/org/workcraft/plugins/petri/tools/PetriNetSelectionTool.java

PetriNetPlugin/src/org/workcraft/plugins/petri/tools/PlaceMergerTool.java

PetriNetPlugin/src/org/workcraft/plugins/petri/tools/ProducingArcToReadArcConverterTool.java

PetriNetPlugin/src/org/workcraft/plugins/petri/tools/ReadArcConnectionTool.java

PetriNetPlugin/src/org/workcraft/plugins/petri/tools/ReadArcToDualArcConverterTool.java

PetriNetPlugin/src/org/workcraft/plugins/petri/tools/ReplicateReadArcPlaceTool.java

PetriNetPlugin/src/org/workcraft/plugins/petri/tools/TransitionContractorTool.java

PetriNetPlugin/src/org/workcraft/plugins/petri/tools/TransitionMergerTool.java

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

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

STGPlugin/src/org/workcraft/plugins/stg/STGModule.java

STGPlugin/src/org/workcraft/plugins/stg/VisualSTG.java

STGPlugin/src/org/workcraft/plugins/stg/VisualSignalTransition.java

STGPlugin/src/org/workcraft/plugins/stg/tools/DummyToSignalTransitionConverterTool.java

STGPlugin/src/org/workcraft/plugins/stg/tools/MakePlacesExplicitTool.java

STGPlugin/src/org/workcraft/plugins/stg/tools/MakePlacesImplicitTool.java

STGPlugin/src/org/workcraft/plugins/stg/tools/NamedTransitionContractorTool.java

STGPlugin/src/org/workcraft/plugins/stg/tools/SignalMirrorTool.java

STGPlugin/src/org/workcraft/plugins/stg/tools/SignalToDummyTransitionConverterTool.java

STGPlugin/src/org/workcraft/plugins/stg/tools/TransitionContractorTool.java

STGPlugin/src/org/workcraft/plugins/stg/tools/TransitionMergerTool.java

WorkcraftCore/src/org/workcraft/Info.java

WorkcraftCore/src/org/workcraft/NodeTransformer.java

WorkcraftCore/src/org/workcraft/TransformationTool.java

WorkcraftCore/src/org/workcraft/dom/AbstractModel.java

WorkcraftCore/src/org/workcraft/dom/NodeContext.java

WorkcraftCore/src/org/workcraft/dom/NodeContextTracker.java

WorkcraftCore/src/org/workcraft/dom/visual/AbstractVisualModel.java

WorkcraftCore/src/org/workcraft/dom/visual/ConnectionHelper.java

WorkcraftCore/src/org/workcraft/dom/visual/HitMan.java

WorkcraftCore/src/org/workcraft/dom/visual/connections/VisualConnection.java

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

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

WorkcraftCore/src/org/workcraft/gui/actions/ActionCheckBoxMenuItem.java

WorkcraftCore/src/org/workcraft/gui/actions/ActionMenuItem.java

WorkcraftCore/src/org/workcraft/gui/actions/ExportAction.java

WorkcraftCore/src/org/workcraft/gui/actions/ToggleWindowAction.java

WorkcraftCore/src/org/workcraft/gui/actions/ToolAction.java

WorkcraftCore/src/org/workcraft/gui/graph/tools/SelectionTool.java

WorkcraftCore/src/org/workcraft/gui/workspace/WorkspacePopupProvider.java

WorkcraftCore/src/org/workcraft/plugins/BuiltinTools.java

WorkcraftCore/src/org/workcraft/plugins/transform/CopyLablesTool.java

WorkcraftCore/src/org/workcraft/plugins/transform/StraightenConnectionsTool.java

WorkcraftCore/src/org/workcraft/util/Tools.java

XmasPlugin/src/org/workcraft/plugins/xmas/tools/SyncSelectionTool.java

build_distr_linux.sh

build_distr_windows.sh

Older »