lp:~danilovesky/workcraft/trunk-stg-reach-preset
Created by
Danil Sokolov
and last modified
- Get this branch:
- bzr branch lp:~danilovesky/workcraft/trunk-stg-reach-preset
Only
Danil Sokolov
can upload to this branch. If you are
Danil Sokolov
please log in for upload directions.
Branch merges
Propose for merging
No branches
dependent on this one.
- Danil Sokolov: Approve
-
Diff: 627 lines (+113/-81)28 files modifiedCircuitPlugin/src/org/workcraft/plugins/circuit/tasks/CheckCircuitDeadlockTask.java (+1/-1)
CircuitPlugin/src/org/workcraft/plugins/circuit/tasks/CheckCircuitHazardTask.java (+1/-1)
CircuitPlugin/src/org/workcraft/plugins/circuit/tasks/CheckCircuitTask.java (+2/-2)
DfsPlugin/src/org/workcraft/plugins/dfs/tasks/CheckDataflowDeadlockTask.java (+1/-1)
DfsPlugin/src/org/workcraft/plugins/dfs/tasks/CheckDataflowHazardTask.java (+1/-1)
DfsPlugin/src/org/workcraft/plugins/dfs/tasks/CheckDataflowTask.java (+2/-2)
MpsatPlugin/src/org/workcraft/plugins/mpsat/MpsatBuiltinPresets.java (+9/-9)
MpsatPlugin/src/org/workcraft/plugins/mpsat/MpsatChainResultHandler.java (+6/-3)
MpsatPlugin/src/org/workcraft/plugins/mpsat/MpsatModule.java (+3/-1)
MpsatPlugin/src/org/workcraft/plugins/mpsat/MpsatSettings.java (+9/-23)
MpsatPlugin/src/org/workcraft/plugins/mpsat/MpsatSettingsSerialiser.java (+3/-1)
MpsatPlugin/src/org/workcraft/plugins/mpsat/MpsatStgReachabilityResultHandler.java (+6/-2)
MpsatPlugin/src/org/workcraft/plugins/mpsat/gui/MpsatConfigurationDialog.java (+16/-6)
MpsatPlugin/src/org/workcraft/plugins/mpsat/gui/SolutionPanel.java (+2/-2)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatChainTask.java (+3/-2)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/AbstractMpsatChecker.java (+1/-1)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/CscResolutionTool.java (+1/-1)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/CustomPropertyMpsatChecker.java (+1/-1)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/MpsatConsistencyChecker.java (+1/-1)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/MpsatCscChecker.java (+3/-3)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/MpsatDeadlockChecker.java (+3/-2)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/MpsatNormalcyChecker.java (+27/-0)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/MpsatPersistencyChecker.java (+2/-2)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/MpsatSynthesis.java (+1/-1)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/MpsatUscChecker.java (+2/-2)
PolicyNetPlugin/src/org/workcraft/plugins/policy/tasks/CheckDeadlockTask.java (+1/-1)
WorkcraftCore/src/org/workcraft/plugins/shared/gui/PresetManagerPanel.java (+5/-5)
WorkcraftCore/src/org/workcraft/plugins/shared/presets/Preset.java (+0/-4)
Related bugs
Related blueprints
Branch information
Recent revisions
- 499. By Danil Sokolov
-
CSC, USC and normalcy properties are checked via specialised MPSat command line parameters (previously was by Reach expressions).
- 498. By Danil Sokolov
-
STG verification is extended by consistency, output persistency, USC and CSC checks (all formulated in Reach expressions)
Branch metadata
- Branch format:
- Branch format 6
- Repository format:
- Bazaar pack repository format 1 with rich root (needs bzr 1.0)