Viewing all changes in revision 708.

• browse files at revision 708
• compare with another revision
• download diff
• download tarball
• view history from revision 708

expand all

collapse all

Show diffs side-by-side

added

removed

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/CheckDataflowTask.java

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

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

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

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

MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat/tools/MpsatCombinedChecker.java

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

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

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

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

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

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

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

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

workcraft.bat

• Older »

Loggerhead is a web-based interface for Breezy
Version: 2.0.1