workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/WtgSettings.java | 195 | A 3 hrs |
|
workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/commands/InputPropernessVerificationCommand.java | 35 | A 1 hr |
|
workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/commands/ReachabilityVerificationCommand.java | 35 | A 1 hr |
|
workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/commands/SoundnessVerificationCommand.java | 40 |
|
|
workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/commands/StructureWaveformTransformationCommand.java | 163 | A 1 hr |
|
workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/commands/SynthesisGuidelinesVerificationCommand.java | 32 |
|
|
workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/commands/WtgToStgConversionCommand.java | 33 |
|
|
workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/converter/UnstableSignalStg.java | 28 | A 1 hr |
|
workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/converter/WtgToStgConverter.java | 437 | C 1 day |
|
workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/decorations/StateDecoration.java | 23 | A 35 mins |
|
workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/decorations/WaveformDecoration.java | 23 | A 35 mins |
|
workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/observers/GuardNameSupervisor.java | 37 |
|
|
workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/observers/InitialStateSupervisor.java | 37 | A 1 hr |
|
workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/observers/SignalTypeConsistencySupervisor.java | 52 |
|
|
workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/serialisation/GuardDeserialiser.java | 15 |
|
|
workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/serialisation/GuardSerialiser.java | 14 |
|
|
workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/tools/SignalGeneratorTool.java | 25 |
|
|
workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/tools/WtgConnectionTool.java | 13 |
|
|
workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/tools/WtgSelectionTool.java | 62 |
|
|
workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/tools/WtgSimulationTool.java | 227 |
|
|
workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/utils/VerificationUtils.java | 1,020 | F 3 days |
|
workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/utils/WtgUtils.java | 142 | A 3 hrs |
|
workcraft/WtgPlugin/test-src/org/workcraft/plugins/wtg/WtgAnonymiseCommandTests.java | 52 |
|
|
workcraft/WtgPlugin/test-src/org/workcraft/plugins/wtg/WtgConversionCommandTests.java | 70 |
|
|
workcraft/WtgPlugin/test-src/org/workcraft/plugins/wtg/WtgPropertiesTests.java | 55 |
|
|
workcraft/WtgPlugin/test-src/org/workcraft/plugins/wtg/WtgSettingsTest.java | 47 | A 1 hr |
|
workcraft/WtgPlugin/test-src/org/workcraft/plugins/wtg/WtgTransformationCommandTests.java | 46 |
|
|
workcraft/WtgPlugin/test-src/org/workcraft/plugins/wtg/WtgVerificationCommandTests.java | 51 | A 35 mins |
|
workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/VisualXmas.java | 68 | A 35 mins |
|
workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/VisualXmasDescriptor.java | 12 |
|
|
workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/Xmas.java | 100 |
|
|
workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/XmasDescriptor.java | 16 |
|
|
workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/XmasPlugin.java | 44 | A 45 mins |
|
workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/XmasSettings.java | 211 | A 2 hrs |
|
workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/commands/ConfigurationCommand.java | 176 |
|
|
workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/commands/JsonExportCommand.java | 377 | D 2 days |
|
workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/commands/PNetExt.java | 150 |
|
|
workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/commands/PNetGenerationCommand.java | 1,008 | F 1 wk |
|
workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/commands/SynchronisationCommand.java | 726 | F 1 wk |
|
workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/commands/XmasToStgConversionCommand.java | 25 | A 50 mins |
|
workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/components/CreditComponent.java | 28 |
|
|
workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/components/ForkComponent.java | 7 |
|
|
workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/components/FunctionComponent.java | 31 |
|
|
workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/components/JoinComponent.java | 7 |
|
|
workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/components/MergeComponent.java | 7 |
|
|
workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/components/QueueComponent.java | 30 |
|
|
workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/components/QueueDecoration.java | 5 |
|
|
workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/components/SinkComponent.java | 7 |
|
|
workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/components/SlotState.java | 18 | A 1 hr |
|
workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/components/SourceComponent.java | 56 |
|
|