workcraft/WorkcraftCore/test-src/org/workcraft/dom/visual/VisualModelTests.java | 379 | A 0 mins |
|
workcraft/WorkcraftCore/test-src/org/workcraft/dom/visual/VisualNodeTests.java | 118 | A 0 mins |
|
workcraft/WorkcraftCore/test-src/org/workcraft/formula/BddTests.java | 46 | A 0 mins |
|
workcraft/WorkcraftCore/test-src/org/workcraft/formula/FormulaUtilsTests.java | 107 | A 0 mins |
|
workcraft/WorkcraftCore/test-src/org/workcraft/formula/NfConverterTests.java | 37 | A 0 mins |
|
workcraft/WorkcraftCore/test-src/org/workcraft/plugins/CommonSettingsTest.java | 177 | A 1 hr |
|
workcraft/WorkcraftCore/test-src/org/workcraft/plugins/DecorationSettingsTest.java | 50 | B 4 hrs |
|
workcraft/WorkcraftCore/test-src/org/workcraft/plugins/LayoutSettingsTest.java | 44 | B 4 hrs |
|
workcraft/WorkcraftCore/test-src/org/workcraft/serialisation/BasicTypesSerialisationTests.java | 109 | A 0 mins |
|
workcraft/WorkcraftCore/test-src/org/workcraft/serialisation/MethodParametersMatcherTests.java | 108 | A 0 mins |
|
workcraft/WorkcraftCore/test-src/org/workcraft/utils/ColorUtilsTests.java | 53 | A 1 hr |
|
workcraft/WorkcraftCore/test-src/org/workcraft/utils/DirectedGraphUtilsTests.java | 159 | A 0 mins |
|
workcraft/WorkcraftCore/test-src/org/workcraft/utils/EquationUtilsTests.java | 52 | A 0 mins |
|
workcraft/WorkcraftCore/test-src/org/workcraft/utils/FileUtilsTests.java | 139 | A 0 mins |
|
workcraft/WorkcraftCore/test-src/org/workcraft/utils/GeometryTests.java | 218 | A 3 hrs |
|
workcraft/WorkcraftCore/test-src/org/workcraft/utils/JarUtilsTests.java | 12 | A 0 mins |
|
workcraft/WorkcraftCore/test-src/org/workcraft/utils/LogUtilsTests.java | 17 | A 0 mins |
|
workcraft/WorkcraftCore/test-src/org/workcraft/utils/ModelUtilsTests.java | 37 | A 0 mins |
|
workcraft/WorkcraftCore/test-src/org/workcraft/utils/ParseUtilsTest.java | 62 | A 0 mins |
|
workcraft/WorkcraftCore/test-src/org/workcraft/utils/SetUtilsTests.java | 39 | A 0 mins |
|
workcraft/WorkcraftCore/test-src/org/workcraft/utils/SortUtilsTests.java | 39 | A 0 mins |
|
workcraft/WorkcraftCore/test-src/org/workcraft/utils/TextUtilsTests.java | 151 | A 0 mins |
|
workcraft/WorkcraftCore/test-src/org/workcraft/utils/TraceUtilsTest.java | 121 | A 1 hr |
|
workcraft/WorkcraftRunner/build.gradle | |
|
|
workcraft/WtgPlugin/build.gradle | |
|
|
workcraft/WtgPlugin/res/images/wtg-node-state.svg | |
|
|
workcraft/WtgPlugin/res/images/wtg-node-waveform.svg | |
|
|
workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/Guard.java | 36 | A 0 mins |
|
workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/State.java | 28 | A 0 mins |
|
workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/VisualState.java | 73 | A 1 hr |
|
workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/VisualWaveform.java | 84 | A 0 mins |
|
workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/VisualWtg.java | 81 | A 0 mins |
|
workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/VisualWtgDescriptor.java | 12 | A 0 mins |
|
workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/Waveform.java | 23 | A 0 mins |
|
workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/Wtg.java | 156 | A 1 hr |
|
workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/WtgDescriptor.java | 20 | A 0 mins |
|
workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/WtgPlugin.java | 86 | A 0 mins |
|
workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/WtgPropertyHelper.java | 225 | A 30 mins |
|
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 | A 0 mins |
|
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 | A 0 mins |
|
workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/commands/WtgToStgConversionCommand.java | 33 | A 0 mins |
|
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 | A 0 mins |
|