Viewing all changes in revision 712.

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

expand all

collapse all

Show diffs side-by-side

added

removed

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

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

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

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

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

MpsatSynthesisPlugin/src/org/workcraft/plugins/mpsat/tools/MpsatSynthesisComplexGate.java

MpsatSynthesisPlugin/src/org/workcraft/plugins/mpsat/tools/MpsatSynthesisGeneralisedCelement.java

MpsatSynthesisPlugin/src/org/workcraft/plugins/mpsat/tools/MpsatSynthesisStandardCelement.java

MpsatSynthesisPlugin/src/org/workcraft/plugins/mpsat/tools/MpsatSynthesisTechnologyMapping.java

MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat/MpsatModule.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/MpsatCscChecker.java

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

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

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

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

PetriNetPlugin/src/org/workcraft/plugins/petri/PetriNetModule.java

PetriNetPlugin/src/org/workcraft/plugins/petri/PetriNetUtils.java

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

WorkcraftCore/src/org/workcraft/ConversionTool.java

WorkcraftCore/src/org/workcraft/MenuOrdering.java

WorkcraftCore/src/org/workcraft/SynthesisTool.java

WorkcraftCore/src/org/workcraft/TransformationTool.java

WorkcraftCore/src/org/workcraft/VerificationTool.java

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

WorkcraftCore/src/org/workcraft/gui/workspace/WorkspacePopupProvider.java

WorkcraftCore/src/org/workcraft/plugins/transform/CopyLablesTool.java

WorkcraftCore/src/org/workcraft/plugins/transform/StraightenConnectionsTool.java

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

• Older »

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