← Back to branch summary

~danilovesky/workcraft/trunk-stg-transform-tools

~danilovesky/workcraft/trunk-stg-transform-tools

« back to all changes in this revision

Viewing changes to WorkcraftCore/src/org/workcraft/util/Tools.java

Committer: Danil Sokolov
Date: 2014-04-17 15:37:45 UTC
mfrom: (497.2.2 workcraft-trunk)
Revision ID: danilovesky@gmail.com-20140417153745-fjc6p4aa1prpg2mc

Merged with the trunk changes.

files added:
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/MpsatNormalcyChecker.java

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

MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/MpsatUscChecker.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/MpsatDeadlockChecker.java

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

MpsatPlugin/src/org/workcraft/plugins/pcomp/tools/PcompTool.java

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

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

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

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

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

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

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

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

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

WorkcraftCore/src/org/workcraft/Tool.java

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

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

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

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

Show diffs side-by-side

added added

removed removed

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

63

63

64

64

return sectionTools;

65

65

}

66

66

67

}

b'\\ No newline at end of file'

Older »