← Back to branch summary

~danilovesky/workcraft/trunk-ui-property-filter

~danilovesky/workcraft/trunk-ui-property-filter

Viewing all changes in revision 603.

Committer: Danil Sokolov
Date: 2015-04-23 12:23:18 UTC
mfrom: (602.1.3 trunk-bug)
Revision ID: danilovesky@gmail.com-20150423122318-tyfg7xa917vmxe8h

https://launchpad.net/bugs/1447521

https://launchpad.net/bugs/1444513

Merge proposal for bugs 1447521 and 1444513 approved.

files added:
CircuitPlugin/src/org/workcraft/plugins/circuit/CircuitUtils.java

CircuitPlugin/src/org/workcraft/plugins/circuit/FunctionConsistencySupervisor.java

CircuitPlugin/src/org/workcraft/plugins/circuit/InitStateConsistencySupervisor.java

PetrifyPlugin/src/org/workcraft/plugins/petrify/tools/PetrifyNetSynthesisWithEr.java

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

CircuitPlugin/src/org/workcraft/plugins/circuit/Contact.java

CircuitPlugin/src/org/workcraft/plugins/circuit/VisualCircuit.java

CircuitPlugin/src/org/workcraft/plugins/circuit/VisualContact.java

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

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

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

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

DfsPlugin/src/org/workcraft/plugins/dfs/tools/CheckDataflowDeadlockTool.java

DfsPlugin/src/org/workcraft/plugins/dfs/tools/CheckDataflowHazardTool.java

DfsPlugin/src/org/workcraft/plugins/dfs/tools/CheckDataflowTool.java

FsmPlugin/src/org/workcraft/plugins/fsm/Fsm.java

FsmPlugin/src/org/workcraft/plugins/fsm/InitialStateSupervisor.java

MpsatPlugin/src/org/workcraft/plugins/mpsat/MpsatResultParser.java

MpsatPlugin/src/org/workcraft/plugins/mpsat/gui/SolutionPanel.java

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

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

MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/AbstractMpsatChecker.java

MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/MpsatConformationChecker.java

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

PetrifyPlugin/src/org/workcraft/plugins/petrify/tools/PetrifyNetSynthesis.java

PolicyNetPlugin/src/org/workcraft/plugins/policy/tools/CheckDeadlockTool.java

WorkcraftCore/src/org/workcraft/Trace.java

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

WorkcraftCore/src/org/workcraft/workspace/Workspace.java

WorkcraftCore/src/org/workcraft/workspace/WorkspaceEntry.java

Show diffs side-by-side

added added

removed removed

CircuitPlugin/src/org/workcraft/plugins/circuit/Circuit.java

CircuitPlugin/src/org/workcraft/plugins/circuit/CircuitUtils.java

CircuitPlugin/src/org/workcraft/plugins/circuit/Contact.java

CircuitPlugin/src/org/workcraft/plugins/circuit/FunctionConsistencySupervisor.java

CircuitPlugin/src/org/workcraft/plugins/circuit/InitStateConsistencySupervisor.java

CircuitPlugin/src/org/workcraft/plugins/circuit/VisualCircuit.java

CircuitPlugin/src/org/workcraft/plugins/circuit/VisualContact.java

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

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

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

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

DfsPlugin/src/org/workcraft/plugins/dfs/tools/CheckDataflowDeadlockTool.java

DfsPlugin/src/org/workcraft/plugins/dfs/tools/CheckDataflowHazardTool.java

DfsPlugin/src/org/workcraft/plugins/dfs/tools/CheckDataflowTool.java

FsmPlugin/src/org/workcraft/plugins/fsm/Fsm.java

FsmPlugin/src/org/workcraft/plugins/fsm/InitialStateSupervisor.java

MpsatPlugin/src/org/workcraft/plugins/mpsat/MpsatResultParser.java

MpsatPlugin/src/org/workcraft/plugins/mpsat/gui/SolutionPanel.java

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

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

MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/AbstractMpsatChecker.java

MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/MpsatConformationChecker.java

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

PetrifyPlugin/src/org/workcraft/plugins/petrify/tools/PetrifyNetSynthesis.java

PetrifyPlugin/src/org/workcraft/plugins/petrify/tools/PetrifyNetSynthesisWithEr.java

PolicyNetPlugin/src/org/workcraft/plugins/policy/tools/CheckDeadlockTool.java

WorkcraftCore/src/org/workcraft/Trace.java

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

WorkcraftCore/src/org/workcraft/workspace/Workspace.java

WorkcraftCore/src/org/workcraft/workspace/WorkspaceEntry.java

Older »