| workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/stg/XmasToStgConverter.java | 1,196 | F 1 wk |
|
| workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/commands/PNetGenerationCommand.java | 1,008 | F 1 wk |
|
| workcraft/DfsPlugin/src/org/workcraft/plugins/dfs/stg/DfsToStgConverter.java | 1,102 | F 1 wk |
|
| workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/commands/SynchronisationCommand.java | 726 | F 1 wk |
|
| workcraft/SonPlugin/src/org/workcraft/plugins/son/algorithm/SimulationAlg.java | 462 | F 6 days |
|
| workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/tools/XmasQueryTool.java | 565 | F 4 days |
|
| workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/tools/XmasAnalysisTool.java | 470 | F 4 days |
|
| workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/utils/VerificationUtils.java | 1,020 | F 3 days |
|
| workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/tools/XmasVerificationTool.java | 371 | F 3 days |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/VisualCircuitComponent.java | 796 | D 3 days |
|
| workcraft/SonPlugin/src/org/workcraft/plugins/son/algorithm/ErrorTracingAlg.java | 249 | D 3 days |
|
| workcraft/CpogPlugin/src/org/workcraft/plugins/cpog/tasks/ScencoExecutionSupport.java | 431 | D 2 days |
|
| workcraft/SonPlugin/src/org/workcraft/plugins/son/algorithm/BFSEntireEstimationAlg.java | 245 | D 2 days |
|
| workcraft/CpogPlugin/src/org/workcraft/plugins/cpog/tools/CpogParsingTool.java | 778 | D 2 days |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/utils/ResetUtils.java | 521 | D 2 days |
|
| workcraft/CfltPlugin/src/org/workcraft/plugins/cflt/ecc/SequenceHeuristic.java | 141 | D 2 days |
|
| workcraft/CfltPlugin/src/org/workcraft/plugins/cflt/ecc/MaxMinHeuristic.java | 156 | D 2 days |
|
| workcraft/SonPlugin/src/org/workcraft/plugins/son/algorithm/RelationAlgorithm.java | 330 | D 2 days |
|
| workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/commands/JsonExportCommand.java | 377 | D 2 days |
|
| workcraft/WorkcraftCore/src/org/workcraft/gui/tools/SelectionTool.java | 712 | D 2 days |
|
| workcraft/SonPlugin/src/org/workcraft/plugins/son/algorithm/ConsistencyAlg.java | 319 | D 2 days |
|
| workcraft/SonPlugin/src/org/workcraft/plugins/son/tools/TimeValueSetterTool.java | 536 | D 2 days |
|
| workcraft/PlatoPlugin/src/org/workcraft/plugins/plato/layout/ConceptsLayout.java | 252 | D 2 days |
|
| workcraft/SonPlugin/src/org/workcraft/plugins/son/algorithm/DFSEstimationAlg.java | 237 | D 1 day |
|
| workcraft/DfsPlugin/src/org/workcraft/plugins/dfs/commands/WaggingGenerator.java | 365 | D 1 day |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/tasks/CheckTask.java | 314 | D 1 day |
|
| workcraft/SonPlugin/src/org/workcraft/plugins/son/algorithm/BSONAlg.java | 487 | D 1 day |
|
| workcraft/FstPlugin/src/org/workcraft/plugins/fst/tools/FstSimulationTool.java | 179 | D 1 day |
|
| workcraft/FsmPlugin/src/org/workcraft/plugins/fsm/tools/FsmSimulationTool.java | 171 | D 1 day |
|
| workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/tools/XmasSimulationTool.java | 372 | C 1 day |
|
| workcraft/SonPlugin/src/org/workcraft/plugins/son/BlockConnector.java | 206 | C 1 day |
|
| workcraft/GraphPlugin/src/org/workcraft/plugins/graph/converters/GraphToPetriConverter.java | 187 | C 1 day |
|
| workcraft/MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat_verification/tasks/RefinementTask.java | 262 | C 1 day |
|
| workcraft/PetriPlugin/src/org/workcraft/plugins/petri/commands/ContractTransitionTransformationCommand.java | 418 | C 1 day |
|
| workcraft/WorkcraftCore/src/org/workcraft/utils/BisonSyntaxUtils.java | 89 | C 1 day |
|
| workcraft/CircuitPlugin/res/scripts/circuit-contact.js | 103 | C 1 day |
|
| workcraft/CfltPlugin/src/org/workcraft/plugins/cflt/AdvancedGraph.java | 185 | C 1 day |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/interop/AbstractVerilogImporter.java | 1,175 | C 1 day |
|
| workcraft/SonPlugin/src/org/workcraft/plugins/son/VisualSON.java | 565 | C 1 day |
|
| workcraft/SonPlugin/src/org/workcraft/plugins/son/SON.java | 471 | C 1 day |
|
| workcraft/SonPlugin/src/org/workcraft/plugins/son/algorithm/TSONAlg.java | 130 | C 1 day |
|
| workcraft/WorkcraftCore/src/org/workcraft/utils/Geometry.java | 294 | C 1 day |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/routing/impl/CellAnalyser.java | 158 | C 1 day |
|
| workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/converter/WtgToStgConverter.java | 437 | C 1 day |
|
| workcraft/DtdPlugin/src/org/workcraft/plugins/dtd/utils/DtdUtils.java | 267 | C 1 day |
|
| workcraft/DfsPlugin/src/org/workcraft/plugins/dfs/interop/VerilogExporter.java | 239 | C 1 day |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/utils/CircuitUtils.java | 648 | C 1 day |
|
| workcraft/ParityPlugin/src/org/workcraft/plugins/parity/VisualPlayer0.java | 135 | C 1 day |
|
| workcraft/ParityPlugin/src/org/workcraft/plugins/parity/VisualPlayer1.java | 135 | C 1 day |
|
| workcraft/DfsPlugin/src/org/workcraft/plugins/dfs/tools/DfsSimulationTool.java | 399 | C 1 day |
|