← Back to branch summary

~danilovesky/workcraft/trunk-bug-1342671

~danilovesky/workcraft/trunk-bug-1342671

Viewing all changes in revision 499.

Committer: Danil Sokolov
Date: 2014-04-16 22:13:32 UTC
mfrom: (497.1.2 trunk-stg-reach-preset)
Revision ID: danilovesky@gmail.com-20140416221332-5wqittg24811ehed

Merge for blueprint stg-reach-preset approved (with minor corrections).

files added:
MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/MpsatNormalcyChecker.java

files renamed:
MpsatPlugin/src/org/workcraft/plugins/mpsat/MPSatModule.java => MpsatPlugin/src/org/workcraft/plugins/mpsat/MpsatModule.java

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

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

CircuitPlugin/src/org/workcraft/plugins/circuit/tasks/CheckCircuitTask.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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

WorkcraftCore/src/org/workcraft/plugins/shared/gui/PresetManagerPanel.java

WorkcraftCore/src/org/workcraft/plugins/shared/presets/Preset.java

Show diffs side-by-side

added added

removed removed

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

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

CircuitPlugin/src/org/workcraft/plugins/circuit/tasks/CheckCircuitTask.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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

WorkcraftCore/src/org/workcraft/plugins/shared/gui/PresetManagerPanel.java

WorkcraftCore/src/org/workcraft/plugins/shared/presets/Preset.java

Older »