Sign upLogin

workcraft/workcraft

View on GitHub
Star
Branch: master(View all)
NameLines of codeMaintainabilityTest coverage
workcraft/MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat_verification/presets/HandshakeParameters.java266
C
1 day
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/tools/CycleAnalyserTool.java414
C
1 day
workcraft/PetrifyPlugin/src/org/workcraft/plugins/petrify/tasks/SynthesisTask.java183
C
1 day
workcraft/MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat_verification/tasks/ConformationTask.java193
C
1 day
workcraft/AtacsPlugin/test-src/org/workcraft/plugins/atacs/SynthesisCommandsTests.java234
C
1 day
workcraft/MpsatSynthesisPlugin/test-src/org/workcraft/plugins/mpsat_synthesis/SynthesisCommandsTests.java268
C
1 day
workcraft/CpogPlugin/src/org/workcraft/plugins/cpog/tools/CpogSelectionTool.java870
C
1 day
workcraft/AtacsPlugin/src/org/workcraft/plugins/atacs/AtacsSettings.java118
C
1 day
workcraft/MsfsmPlugin/src/org/workcraft/plugins/msfsm/MsfsmSettings.java118
C
1 day
workcraft/MpsatVerificationPlugin/test-src/org/workcraft/plugins/mpsat_verification/VerificationCommandTests.java305
C
1 day
workcraft/WorkcraftCore/src/org/workcraft/formula/cnf/CnfGenerator.java118
C
1 day
workcraft/WorkcraftCore/src/org/workcraft/formula/dnf/DnfGenerator.java118
C
1 day
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/tools/InitialisationAnalyserTool.java501
C
1 day
workcraft/WorkcraftCore/src/org/workcraft/dom/visual/VisualComponent.java432
C
1 day
ci/verification-circuit-flat_arbiter/flat_arbiter.circuit.js21
C
1 day
workcraft/StgPlugin/test-src/org/workcraft/plugins/stg/StatisticsCommandTests.java140
C
1 day
workcraft/ParityPlugin/src/org/workcraft/plugins/parity/commands/ParitySolverCommand.java187
C
1 day
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/utils/StructureUtils.java121
C
1 day
workcraft/StgPlugin/src/org/workcraft/plugins/stg/VisualStg.java356
C
1 day
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/routing/basic/Rectangle.java109
C
1 day
ci/verification-stg-arbitration/arbitration-3.stg.js17
C
1 day
ci/verification-stg-pulser/pulser.stg.js16
C
1 day
ci/verification-stg-hierarchy/duplicator-hier-csc.stg.js16
C
1 day
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/renderers/GateRenderer.java360
C
1 day
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/FunctionComponent.java170
C
1 day
workcraft/MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat_verification/tasks/OutputDeterminacyTask.java194
C
7 hrs
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/routing/basic/Line.java88
C
7 hrs
workcraft/StgPlugin/src/org/workcraft/plugins/stg/converters/AbstractToStgConverter.java253
C
7 hrs
workcraft/SonPlugin/src/org/workcraft/plugins/son/tools/SONSimulationTool.java859
C
7 hrs
workcraft/FsmPlugin/src/org/workcraft/plugins/fsm/commands/ReversibilityVerificationCommand.java106
C
7 hrs
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/VisualFunctionContact.java294
B
6 hrs
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/tasks/SpotChainTask.java126
B
6 hrs
workcraft/WorkcraftCore/src/org/workcraft/utils/DesktopApi.java219
B
6 hrs
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/tasks/CombinedCheckTask.java126
B
6 hrs
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/tasks/AssertionCheckTask.java111
B
6 hrs
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/routing/impl/RouterTask.java100
B
6 hrs
workcraft/PetriPlugin/src/org/workcraft/plugins/petri/utils/ConnectionUtils.java134
B
6 hrs
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/utils/ScanUtils.java498
B
6 hrs
workcraft/WorkcraftCore/src/org/workcraft/formula/workers/CleverBooleanWorker.java158
B
6 hrs
workcraft/DfsPlugin/src/org/workcraft/plugins/dfs/tasks/CheckTask.java113
B
6 hrs
workcraft/SonPlugin/src/org/workcraft/plugins/son/elements/VisualCondition.java147
B
5 hrs
workcraft/SonPlugin/src/org/workcraft/plugins/son/algorithm/SONAlg.java76
B
5 hrs
workcraft/StgPlugin/src/org/workcraft/plugins/stg/utils/StgUtils.java412
B
5 hrs
workcraft/ParityPlugin/src/org/workcraft/plugins/parity/VisualParity.java148
B
5 hrs
workcraft/DtdPlugin/src/org/workcraft/plugins/dtd/VisualDtd.java377
B
5 hrs
workcraft/WorkcraftCore/src/org/workcraft/gui/MainWindowActions.java194
B
5 hrs
workcraft/FsmPlugin/src/org/workcraft/plugins/fsm/converters/FsmToPetriConverter.java128
B
5 hrs
workcraft/CircuitPlugin/test-src/org/workcraft/plugins/circuit/StatisticsCommandTests.java100
B
5 hrs
workcraft/PetriPlugin/src/org/workcraft/plugins/petri/Petri.java157
B
5 hrs
workcraft/MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat_verification/gui/HandshakeWizardDialog.java262
B
5 hrs