Viewing all changes in revision 617.

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

expand all

collapse all

Show diffs side-by-side

added

removed

CircuitPlugin/src/org/workcraft/plugins/circuit/Circuit.java

CircuitPlugin/src/org/workcraft/plugins/circuit/tools/CircuitSimulationTool.java

DfsPlugin/src/org/workcraft/plugins/dfs/tools/CycleAnaliserTool.java

DfsPlugin/src/org/workcraft/plugins/dfs/tools/DfsSimulationTool.java

FsmPlugin/src/org/workcraft/plugins/fsm/Fsm.java

FsmPlugin/src/org/workcraft/plugins/fsm/tools/FsmSimulationTool.java

FstPlugin/src/org/workcraft/plugins/fst/tools/FstSimulationTool.java

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

PetriNetPlugin/src/org/workcraft/plugins/petri/tools/PetriNetSimulationTool.java

PolicyNetPlugin/src/org/workcraft/plugins/policy/PolicyNetToolProvider.java

PolicyNetPlugin/src/org/workcraft/plugins/policy/tools/PolicySimulationTool.java

STGPlugin/src/org/workcraft/plugins/stg/tools/StgSimulationTool.java

WorkcraftCore/src/org/workcraft/dom/visual/VisualModel.java

WorkcraftCore/src/org/workcraft/gui/propertyeditor/SettingsEditorDialog.java

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

• Older »

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