| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/naryformula/SplitFormGenerator.java | 77 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/observers/FunctionConsistencySupervisor.java | 33 | A 1 hr |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/observers/IOTypeConsistencySupervisor.java | 52 | A 2 hrs |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/observers/ZeroDelayConsistencySupervisor.java | 81 | A 1 hr |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/references/CircuitNameManager.java | 116 | A 1 hr |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/references/CircuitReferenceManager.java | 12 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/refinement/ComponentInterface.java | 88 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/refinement/RdgToPetriConverter.java | 177 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/refinement/RefinementDependencyGraph.java | 135 | A 2 hrs |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/renderers/CElementRenderer.java | 275 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/renderers/CElementRenderingResult.java | 7 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/renderers/ComponentRenderingResult.java | 20 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/renderers/GateRenderer.java | 360 | C 1 day |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/routing/RouterClient.java | 87 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/routing/RouterVisualiser.java | 141 | A 1 hr |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/routing/basic/CellState.java | 8 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/routing/basic/Coordinate.java | 58 | A 1 hr |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/routing/basic/CoordinateOrientation.java | 20 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/routing/basic/IndexedInterval.java | 50 | A 1 hr |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/routing/basic/IndexedPoint.java | 61 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/routing/basic/Line.java | 88 | C 7 hrs |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/routing/basic/Point.java | 58 | A 1 hr |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/routing/basic/PointToVisit.java | 28 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/routing/basic/PortDirection.java | 58 | A 1 hr |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/routing/basic/Rectangle.java | 109 | C 1 day |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/routing/basic/RouterConnection.java | 72 | A 3 hrs |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/routing/basic/RouterPort.java | 41 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/routing/basic/Size.java | 41 | A 1 hr |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/routing/impl/AbstractRoutingAlgorithm.java | 141 | A 3 hrs |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/routing/impl/CellAnalyser.java | 158 | C 1 day |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/routing/impl/CoordinatesRegistry.java | 52 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/routing/impl/CoordinatesRegistryBuilder.java | 93 | A 1 hr |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/routing/impl/DijkstraRouter.java | 58 | A 45 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/routing/impl/IndexedCoordinates.java | 149 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/routing/impl/Route.java | 34 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/routing/impl/Router.java | 39 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/routing/impl/RouterCells.java | 79 | A 3 hrs |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/routing/impl/RouterCellsBuilder.java | 82 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/routing/impl/RouterTask.java | 100 | B 6 hrs |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/routing/impl/SnapHelper.java | 29 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/routing/impl/UsageCounter.java | 60 | A 1 hr |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/serialisation/FunctionDeserialiser.java | 35 | A 35 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/serialisation/FunctionSerialiser.java | 23 | A 35 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/stg/CircuitToStgConverter.java | 585 | B 5 hrs |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/tasks/AssertionCheckTask.java | 111 | B 6 hrs |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/tasks/CheckTask.java | 314 | D 1 day |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/tasks/CombinedCheckTask.java | 126 | B 6 hrs |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/tasks/SpotChainTask.java | 126 | B 6 hrs |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/tasks/StrictImplementationCheckTask.java | 148 | A 3 hrs |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/tools/CircuitConnectionTool.java | 90 | A 0 mins |
|