| workcraft/CfltPlugin/src/org/workcraft/plugins/cflt/Graph.java | 92 | A 0 mins |
|
| workcraft/CfltPlugin/src/org/workcraft/plugins/cflt/Node.java | 29 | A 0 mins |
|
| workcraft/CfltPlugin/src/org/workcraft/plugins/cflt/Operator.java | 4 | A 0 mins |
|
| workcraft/CfltPlugin/src/org/workcraft/plugins/cflt/commands/TranslateProfloExpressionCommand.java | 89 | A 1 hr |
|
| workcraft/CfltPlugin/src/org/workcraft/plugins/cflt/ecc/ExhaustiveSearch.java | 49 | A 30 mins |
|
| workcraft/CfltPlugin/src/org/workcraft/plugins/cflt/ecc/MaxCliqueEnumerator.java | 128 | A 0 mins |
|
| workcraft/CfltPlugin/src/org/workcraft/plugins/cflt/ecc/MaxMinHeuristic.java | 156 | D 2 days |
|
| workcraft/CfltPlugin/src/org/workcraft/plugins/cflt/ecc/SequenceHeuristic.java | 141 | D 2 days |
|
| workcraft/CfltPlugin/src/org/workcraft/plugins/cflt/gui/ExpressionDialog.java | 101 | A 2 hrs |
|
| workcraft/CfltPlugin/src/org/workcraft/plugins/cflt/presets/ExpressionDataSerialiser.java | 34 | A 0 mins |
|
| workcraft/CfltPlugin/src/org/workcraft/plugins/cflt/presets/ExpressionParameters.java | 35 | A 40 mins |
|
| workcraft/CfltPlugin/src/org/workcraft/plugins/cflt/tools/ConnectionDirection.java | 4 | A 0 mins |
|
| workcraft/CfltPlugin/src/org/workcraft/plugins/cflt/tools/CotreeTool.java | 112 | A 2 hrs |
|
| workcraft/CfltPlugin/src/org/workcraft/plugins/cflt/tools/PetriDrawingTool.java | 120 | A 3 hrs |
|
| workcraft/CfltPlugin/src/org/workcraft/plugins/cflt/tools/StgDrawingTool.java | 149 | A 3 hrs |
|
| workcraft/CfltPlugin/src/org/workcraft/plugins/cflt/utils/EdgeCliqueCoverUtils.java | 74 | A 1 hr |
|
| workcraft/CfltPlugin/src/org/workcraft/plugins/cflt/utils/ExpressionUtils.java | 188 | A 1 hr |
|
| workcraft/CfltPlugin/src/org/workcraft/plugins/cflt/utils/GraphUtils.java | 27 | A 0 mins |
|
| workcraft/CircuitPlugin/build.gradle | |
|
|
| workcraft/CircuitPlugin/javacc/org/workcraft/plugins/circuit/jj/expression/ExpressionParser.jj | |
|
|
| workcraft/CircuitPlugin/javacc/org/workcraft/plugins/circuit/jj/genlib/GenlibParser.jj | |
|
|
| workcraft/CircuitPlugin/javacc/org/workcraft/plugins/circuit/jj/substitution/SubstitutionParser.jj | |
|
|
| workcraft/CircuitPlugin/javacc/org/workcraft/plugins/circuit/jj/verilog/VerilogParser.jj | |
|
|
| workcraft/CircuitPlugin/res/images/circuit-cycle-auto_append.svg | |
|
|
| workcraft/CircuitPlugin/res/images/circuit-cycle-auto_discard.svg | |
|
|
| workcraft/CircuitPlugin/res/images/circuit-cycle-clear_all.svg | |
|
|
| workcraft/CircuitPlugin/res/images/circuit-cycle-selfloop_pins.svg | |
|
|
| workcraft/CircuitPlugin/res/images/circuit-initialisation-auto_append.svg | |
|
|
| workcraft/CircuitPlugin/res/images/circuit-initialisation-auto_discard.svg | |
|
|
| workcraft/CircuitPlugin/res/images/circuit-initialisation-clear_all.svg | |
|
|
| workcraft/CircuitPlugin/res/images/circuit-initialisation-input_ports.svg | |
|
|
| workcraft/CircuitPlugin/res/images/circuit-initialisation-problematic_pins.svg | |
|
|
| workcraft/CircuitPlugin/res/images/circuit-initialisation-sequential_pins.svg | |
|
|
| workcraft/CircuitPlugin/res/images/circuit-node-component.svg | |
|
|
| workcraft/CircuitPlugin/res/images/circuit-node-function.svg | |
|
|
| workcraft/CircuitPlugin/res/images/circuit-node-joint.svg | |
|
|
| workcraft/CircuitPlugin/res/images/circuit-node-port-input.svg | |
|
|
| workcraft/CircuitPlugin/res/images/circuit-node-port-output.svg | |
|
|
| workcraft/CircuitPlugin/res/images/circuit-node-port.svg | |
|
|
| workcraft/CircuitPlugin/res/images/circuit-tool-cycle_analysis.svg | |
|
|
| workcraft/CircuitPlugin/res/images/circuit-tool-initialisation_analysis.svg | |
|
|
| workcraft/CircuitPlugin/res/scripts/circuit-compatibility.js | 18 | A 0 mins |
|
| workcraft/CircuitPlugin/res/scripts/circuit-contact.js | 103 | C 1 day |
|
| workcraft/CircuitPlugin/res/scripts/circuit-file.js | 34 | B 4 hrs |
|
| workcraft/CircuitPlugin/res/scripts/circuit-reference.js | 56 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/Circuit.java | 108 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/CircuitComponent.java | 96 | A 2 hrs |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/CircuitDescriptor.java | 21 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/CircuitLayoutSettings.java | 147 | B 5 hrs |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/CircuitPlugin.java | 150 | A 0 mins |
|
