Viewing all changes in revision 719.

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

expand all

collapse all

Show diffs side-by-side

added

removed

CpogsPlugin/src/org/workcraft/plugins/cpog/tools/ScencoExhaustiveTool.java

CpogsPlugin/src/org/workcraft/plugins/cpog/tools/ScencoHeuristicTool.java

CpogsPlugin/src/org/workcraft/plugins/cpog/tools/ScencoRandomTool.java

CpogsPlugin/src/org/workcraft/plugins/cpog/tools/ScencoSATBasedTool.java

CpogsPlugin/src/org/workcraft/plugins/cpog/tools/ScencoSequentialTool.java

CpogsPlugin/src/org/workcraft/plugins/cpog/tools/ScencoSingleLiteralTool.java

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

Tests/src/org/workcraft/testing/dom/ConnectionRemoverTest.java

Tests/src/org/workcraft/testing/plugins/petri/SaveLoadTests.java

WorkcraftCore/src/org/workcraft/Console.java

WorkcraftCore/src/org/workcraft/Framework.java

WorkcraftCore/src/org/workcraft/PluginManager.java

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

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

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

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

• Older »

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