Requirement coverage¶
Generated by cargo xtask coverage. A requirement is covered when a source or test file cites it.
Citation convention: a citation is a full ID (STA-REQ-1050), optionally followed by further
numbers of the same prefix separated by ,, /, and or or. A range after a cited number
(1050 to 1054, 0400-0419, also with –, … or ...) cites every ID from its first to its last number
within the same prefix; IDs in the range that no specification defines are ignored. A dash marks
a range only when the last number follows it directly (9370 - 9372 is no range). A range of
more than 200 IDs is not expanded: only its first number counts as cited.
| Requirement | Specification | Cited by |
|---|---|---|
| AIGER-REQ-0001 | docs/specs/aiger/README.md | @common/crates/formats/rusteda-formats/src/aiger/mod.rs @common/crates/formats/rusteda-formats/src/aiger/read.rs @common/crates/formats/rusteda-formats/tests/aiger_reader.rs |
| AIGER-REQ-0002 | docs/specs/aiger/README.md | @common/crates/formats/rusteda-formats/src/aiger/mod.rs @common/crates/formats/rusteda-formats/src/aiger/read.rs @common/crates/formats/rusteda-formats/tests/aiger_reader.rs |
| AIGER-REQ-0010 | docs/specs/aiger/README.md | @common/crates/formats/rusteda-formats/src/aiger/mod.rs @common/crates/formats/rusteda-formats/src/aiger/read.rs @common/crates/formats/rusteda-formats/tests/aiger_reader.rs |
| AIGER-REQ-0011 | docs/specs/aiger/README.md | @common/crates/formats/rusteda-formats/src/aiger/mod.rs @common/crates/formats/rusteda-formats/src/aiger/read.rs @common/crates/formats/rusteda-formats/tests/aiger_reader.rs |
| AIGER-REQ-0012 | docs/specs/aiger/README.md | @common/crates/formats/rusteda-formats/src/aiger/mod.rs @common/crates/formats/rusteda-formats/src/aiger/read.rs @common/crates/formats/rusteda-formats/tests/aiger_reader.rs |
| AIGER-REQ-0013 | docs/specs/aiger/README.md | @common/crates/formats/rusteda-formats/src/aiger/mod.rs @common/crates/formats/rusteda-formats/src/aiger/read.rs @common/crates/formats/rusteda-formats/tests/aiger_reader.rs |
| AIGER-REQ-0020 | docs/specs/aiger/README.md | @common/crates/formats/rusteda-formats/src/aiger/mod.rs @common/crates/formats/rusteda-formats/src/aiger/read.rs @common/crates/formats/rusteda-formats/tests/aiger_reader.rs |
| AIGER-REQ-0021 | docs/specs/aiger/README.md | @common/crates/formats/rusteda-formats/src/aiger/mod.rs @common/crates/formats/rusteda-formats/src/aiger/read.rs @common/crates/formats/rusteda-formats/tests/aiger_reader.rs |
| AIGER-REQ-0022 | docs/specs/aiger/README.md | @common/crates/formats/rusteda-formats/src/aiger/mod.rs @common/crates/formats/rusteda-formats/src/aiger/read.rs @common/crates/formats/rusteda-formats/tests/aiger_reader.rs |
| AIGER-REQ-0023 | docs/specs/aiger/README.md | @common/crates/formats/rusteda-formats/src/aiger/mod.rs @common/crates/formats/rusteda-formats/src/aiger/read.rs @common/crates/formats/rusteda-formats/tests/aiger_reader.rs |
| AIGER-REQ-0024 | docs/specs/aiger/README.md | @common/crates/formats/rusteda-formats/src/aiger/mod.rs @common/crates/formats/rusteda-formats/src/aiger/read.rs @common/crates/formats/rusteda-formats/tests/aiger_reader.rs |
| AIGER-REQ-0030 | docs/specs/aiger/README.md | @common/crates/formats/rusteda-formats/src/aiger/mod.rs @common/crates/formats/rusteda-formats/src/aiger/read.rs @common/crates/formats/rusteda-formats/tests/aiger_reader.rs |
| AIGER-REQ-0031 | docs/specs/aiger/README.md | @common/crates/formats/rusteda-formats/src/aiger/mod.rs @common/crates/formats/rusteda-formats/src/aiger/read.rs @common/crates/formats/rusteda-formats/tests/aiger_reader.rs |
| AIGER-REQ-0032 | docs/specs/aiger/README.md | @common/crates/formats/rusteda-formats/src/aiger/mod.rs @common/crates/formats/rusteda-formats/src/aiger/read.rs @common/crates/formats/rusteda-formats/tests/aiger_reader.rs |
| BLIF-REQ-0001 | docs/specs/blif/README.md | @common/crates/formats/rusteda-formats/src/blif/mod.rs @common/crates/formats/rusteda-formats/tests/blif_reader.rs |
| BLIF-REQ-0002 | docs/specs/blif/README.md | @common/crates/formats/rusteda-formats/src/blif/flatten.rs @common/crates/formats/rusteda-formats/src/blif/mod.rs @common/crates/formats/rusteda-formats/tests/blif_reader.rs |
| BLIF-REQ-0003 | docs/specs/blif/README.md | @common/crates/formats/rusteda-formats/src/blif/mod.rs @common/crates/formats/rusteda-formats/tests/blif_reader.rs |
| BLIF-REQ-0010 | docs/specs/blif/README.md | @common/crates/formats/rusteda-formats/src/blif/lex.rs @common/crates/formats/rusteda-formats/src/blif/mod.rs @common/crates/formats/rusteda-formats/tests/blif_reader.rs |
| BLIF-REQ-0011 | docs/specs/blif/README.md | @common/crates/formats/rusteda-formats/src/blif/mod.rs @common/crates/formats/rusteda-formats/src/blif/parse.rs @common/crates/formats/rusteda-formats/tests/blif_reader.rs |
| BLIF-REQ-0020 | docs/specs/blif/README.md | @common/crates/formats/rusteda-formats/src/blif/mod.rs @common/crates/formats/rusteda-formats/src/blif/parse.rs @common/crates/formats/rusteda-formats/tests/blif_reader.rs |
| BLIF-REQ-0021 | docs/specs/blif/README.md | @common/crates/formats/rusteda-formats/src/blif/mod.rs @common/crates/formats/rusteda-formats/src/blif/parse.rs @common/crates/formats/rusteda-formats/tests/blif_reader.rs |
| BLIF-REQ-0022 | docs/specs/blif/README.md | @common/crates/formats/rusteda-formats/src/blif/flatten.rs @common/crates/formats/rusteda-formats/src/blif/mod.rs @common/crates/formats/rusteda-formats/src/blif/parse.rs @common/crates/formats/rusteda-formats/tests/blif_reader.rs |
| BLIF-REQ-0023 | docs/specs/blif/README.md | @common/crates/formats/rusteda-formats/src/blif/mod.rs @common/crates/formats/rusteda-formats/src/blif/parse.rs @common/crates/formats/rusteda-formats/tests/blif_reader.rs |
| BLIF-REQ-0030 | docs/specs/blif/README.md | @common/crates/formats/rusteda-formats/src/blif/mod.rs @common/crates/formats/rusteda-formats/src/blif/parse.rs @common/crates/formats/rusteda-formats/tests/blif_reader.rs |
| BLIF-REQ-0031 | docs/specs/blif/README.md | @common/crates/formats/rusteda-formats/src/blif/mod.rs @common/crates/formats/rusteda-formats/src/blif/parse.rs @common/crates/formats/rusteda-formats/tests/blif_reader.rs |
| BLIF-REQ-0032 | docs/specs/blif/README.md | @common/crates/formats/rusteda-formats/src/blif/mod.rs @common/crates/formats/rusteda-formats/src/blif/parse.rs @common/crates/formats/rusteda-formats/tests/blif_reader.rs |
| BLIF-REQ-0033 | docs/specs/blif/README.md | @common/crates/formats/rusteda-formats/src/blif/mod.rs @common/crates/formats/rusteda-formats/src/blif/parse.rs @common/crates/formats/rusteda-formats/tests/blif_reader.rs |
| BLIF-REQ-0034 | docs/specs/blif/README.md | @common/crates/formats/rusteda-formats/src/blif/flatten.rs @common/crates/formats/rusteda-formats/src/blif/mod.rs @common/crates/formats/rusteda-formats/src/blif/parse.rs @common/crates/formats/rusteda-formats/tests/blif_reader.rs |
| BLIF-REQ-0040 | docs/specs/blif/README.md | @common/crates/formats/rusteda-formats/src/blif/flatten.rs @common/crates/formats/rusteda-formats/src/blif/mod.rs @common/crates/formats/rusteda-formats/src/blif/parse.rs @common/crates/formats/rusteda-formats/tests/blif_reader.rs |
| BLIF-REQ-0041 | docs/specs/blif/README.md | @common/crates/formats/rusteda-formats/src/blif/flatten.rs @common/crates/formats/rusteda-formats/src/blif/mod.rs @common/crates/formats/rusteda-formats/src/blif/parse.rs @common/crates/formats/rusteda-formats/tests/blif_reader.rs |
| BLIF-REQ-0042 | docs/specs/blif/README.md | @common/crates/formats/rusteda-formats/src/blif/flatten.rs @common/crates/formats/rusteda-formats/src/blif/mod.rs @common/crates/formats/rusteda-formats/src/blif/parse.rs @common/crates/formats/rusteda-formats/tests/blif_reader.rs |
| BLIF-REQ-0050 | docs/specs/blif/README.md | @common/crates/formats/rusteda-formats/src/blif/mod.rs @common/crates/formats/rusteda-formats/src/blif/parse.rs @common/crates/formats/rusteda-formats/tests/blif_reader.rs |
| BLIF-REQ-0051 | docs/specs/blif/README.md | @common/crates/formats/rusteda-formats/src/blif/mod.rs @common/crates/formats/rusteda-formats/src/blif/parse.rs @common/crates/formats/rusteda-formats/tests/blif_reader.rs |
| BLIF-REQ-0052 | docs/specs/blif/README.md | @common/crates/formats/rusteda-formats/src/blif/mod.rs @common/crates/formats/rusteda-formats/src/blif/parse.rs @common/crates/formats/rusteda-formats/tests/blif_reader.rs |
| BLIF-REQ-0060 | docs/specs/blif/README.md | @common/crates/formats/rusteda-formats/src/blif/flatten.rs @common/crates/formats/rusteda-formats/src/blif/mod.rs @common/crates/formats/rusteda-formats/tests/blif_reader.rs |
| BLIF-REQ-0061 | docs/specs/blif/README.md | @common/crates/formats/rusteda-formats/src/blif/mod.rs @common/crates/formats/rusteda-formats/tests/blif_reader.rs |
| BLIF-REQ-0062 | docs/specs/blif/README.md | @common/crates/formats/rusteda-formats/src/blif/mod.rs @common/crates/formats/rusteda-formats/tests/blif_reader.rs |
| CLI-REQ-0001 | docs/specs/cli/README.md | crates/apps/ruststa-cli/src/lib.rs crates/apps/ruststa-cli/tests/cli_contract.rs |
| CLI-REQ-0002 | docs/specs/cli/README.md | crates/apps/ruststa-cli/tests/cli_contract.rs |
| CLI-REQ-0003 | docs/specs/cli/README.md | crates/apps/ruststa-cli/tests/cli_contract.rs |
| CLI-REQ-0004 | docs/specs/cli/README.md | crates/apps/ruststa-cli/tests/cli_contract.rs |
| CLI-REQ-0005 | docs/specs/cli/README.md | crates/apps/ruststa-cli/tests/cli_contract.rs |
| CLI-REQ-0006 | docs/specs/cli/README.md | crates/apps/ruststa-cli/src/lib.rs crates/apps/ruststa-cli/tests/cli_contract.rs |
| CLI-REQ-0007 | docs/specs/cli/README.md | crates/apps/ruststa-cli/tests/cli_contract.rs |
| CLI-REQ-0008 | docs/specs/cli/README.md | crates/apps/ruststa-cli/tests/cli_contract.rs |
| CLI-REQ-0009 | docs/specs/cli/README.md | crates/apps/ruststa-cli/tests/cli_contract.rs |
| CLI-REQ-0010 | docs/specs/cli/README.md | crates/apps/ruststa-cli/tests/cli_contract.rs |
| CLI-REQ-0011 | docs/specs/cli/README.md | crates/apps/ruststa-cli/src/lib.rs crates/apps/ruststa-cli/tests/cli_contract.rs |
| CLI-REQ-0012 | docs/specs/cli/README.md | crates/apps/ruststa-cli/tests/cli_contract.rs |
| CLI-REQ-0016 | docs/specs/cli/README.md | crates/apps/ruststa-cli/tests/cli_contract.rs crates/engines/ruststa/tests/backend_equality.rs |
| CLI-REQ-0100 | docs/specs/cli/README.md | crates/apps/ruststa-cli/tests/cli_contract.rs |
| CLI-REQ-0101 | docs/specs/cli/README.md | crates/apps/ruststa-cli/tests/cli_contract.rs |
| CLI-REQ-0102 | docs/specs/cli/README.md | crates/apps/ruststa-cli/tests/cli_contract.rs |
| CLI-REQ-0103 | docs/specs/cli/README.md | crates/apps/ruststa-cli/tests/cli_contract.rs |
| CLI-REQ-0150 | docs/specs/cli/README.md | crates/apps/ruststa-cli/tests/cli_contract.rs |
| COMPUTE-REQ-0001 | docs/specs/compute/README.md | @common/crates/core/rusteda-compute/src/cuda.rs @common/crates/core/rusteda-compute/src/cut/cuda.rs @common/crates/core/rusteda-compute/src/lib.rs |
| COMPUTE-REQ-0002 | docs/specs/compute/README.md | @common/crates/core/rusteda-compute/src/cuda.rs @common/crates/core/rusteda-compute/src/cut/cuda.rs @common/crates/core/rusteda-compute/src/lib.rs |
| COMPUTE-REQ-0003 | docs/specs/compute/README.md | @common/crates/core/rusteda-compute/src/lib.rs @common/crates/core/rusteda-compute/src/timing/mod.rs crates/engines/ruststa/src/engine/prop/lower.rs |
| COMPUTE-REQ-0004 | docs/specs/compute/README.md | @common/crates/core/rusteda-compute/src/cuda.rs @common/crates/core/rusteda-compute/src/cut/mod.rs @common/crates/core/rusteda-compute/src/cut/tests.rs @common/crates/core/rusteda-compute/src/lib.rs @common/crates/core/rusteda-compute/src/timing/cuda.rs |
| COMPUTE-REQ-0005 | docs/specs/compute/README.md | @common/crates/core/rusteda-compute/src/lib.rs |
| COMPUTE-REQ-0010 | docs/specs/compute/timing.md | @common/crates/core/rusteda-compute/src/lib.rs @common/crates/core/rusteda-compute/src/timing/mod.rs @common/crates/core/rusteda-compute/src/timing/tests/cpu.rs crates/engines/ruststa/src/engine/prop/lower.rs crates/engines/ruststa/tests/backend_equality.rs |
| COMPUTE-REQ-0011 | docs/specs/compute/timing.md | @common/crates/core/rusteda-compute/src/lib.rs @common/crates/core/rusteda-compute/src/timing/abi.rs @common/crates/core/rusteda-compute/src/timing/tests/cpu.rs @common/crates/core/rusteda-compute/src/timing/validate.rs crates/engines/ruststa/src/engine/delay/gate.rs crates/engines/ruststa/src/engine/prop/exceptions/eval.rs crates/engines/ruststa/src/engine/prop/lower.rs |
| COMPUTE-REQ-0012 | docs/specs/compute/timing.md | @common/crates/core/rusteda-compute/src/lib.rs @common/crates/core/rusteda-compute/src/timing/abi.rs @common/crates/core/rusteda-compute/src/timing/tests/known.rs @common/crates/core/rusteda-compute/src/timing/validate.rs crates/engines/ruststa/src/engine/delay/lut.rs crates/engines/ruststa/src/engine/prop/lower.rs |
| COMPUTE-REQ-0013 | docs/specs/compute/timing.md | @common/crates/core/rusteda-compute/src/lib.rs @common/crates/core/rusteda-compute/src/timing/abi.rs @common/crates/core/rusteda-compute/src/timing/validate.rs |
| COMPUTE-REQ-0014 | docs/specs/compute/timing.md | @common/crates/core/rusteda-compute/src/lib.rs @common/crates/core/rusteda-compute/src/timing/abi.rs @common/crates/core/rusteda-compute/src/timing/lut.rs @common/crates/core/rusteda-compute/src/timing/tests/cpu.rs @common/crates/core/rusteda-compute/src/timing/tests/known.rs @common/crates/core/rusteda-compute/src/timing/tests/naive.rs @common/crates/core/rusteda-compute/src/timing/validate.rs |
| COMPUTE-REQ-0015 | docs/specs/compute/timing.md | @common/crates/core/rusteda-compute/src/lib.rs @common/crates/core/rusteda-compute/src/timing/abi.rs @common/crates/core/rusteda-compute/src/timing/cpu.rs @common/crates/core/rusteda-compute/src/timing/state.rs @common/crates/core/rusteda-compute/src/timing/tests/known.rs @common/crates/core/rusteda-compute/src/timing/tests/naive.rs @common/crates/core/rusteda-compute/src/timing/validate.rs crates/engines/ruststa/src/engine/prop/lower.rs crates/engines/ruststa/src/engine/prop/lower/start_builder.rs |
| COMPUTE-REQ-0016 | docs/specs/compute/timing.md | @common/crates/core/rusteda-compute/src/lib.rs @common/crates/core/rusteda-compute/src/timing/state.rs @common/crates/core/rusteda-compute/src/timing/tests/cpu.rs @common/crates/core/rusteda-compute/src/timing/tests/known.rs @common/crates/core/rusteda-compute/src/timing/tests/naive.rs crates/engines/ruststa/src/engine/prop/lower.rs |
| COMPUTE-REQ-0017 | docs/specs/compute/timing.md | @common/crates/core/rusteda-compute/src/lib.rs @common/crates/core/rusteda-compute/src/timing/cpu.rs @common/crates/core/rusteda-compute/src/timing/tests/cpu.rs @common/crates/core/rusteda-compute/src/timing/tests/known.rs @common/crates/core/rusteda-compute/src/timing/tests/naive.rs crates/engines/ruststa/src/engine/prop/lower.rs |
| COMPUTE-REQ-0018 | docs/specs/compute/timing.md | @common/crates/core/rusteda-compute/src/lib.rs @common/crates/core/rusteda-compute/src/timing/cpu.rs @common/crates/core/rusteda-compute/src/timing/tests/cpu.rs @common/crates/core/rusteda-compute/src/timing/tests/known.rs @common/crates/core/rusteda-compute/src/timing/tests/naive.rs crates/engines/ruststa/src/engine/prop/lower.rs |
| COMPUTE-REQ-0019 | docs/specs/compute/timing.md | @common/crates/core/rusteda-compute/src/lib.rs @common/crates/core/rusteda-compute/src/timing/cpu.rs @common/crates/core/rusteda-compute/src/timing/cuda.rs @common/crates/core/rusteda-compute/src/timing/mod.rs @common/crates/core/rusteda-compute/src/timing/tests/cpu.rs @common/crates/core/rusteda-compute/src/timing/tests/gpu.rs crates/engines/ruststa/src/engine/delay/gate.rs crates/engines/ruststa/tests/backend_equality.rs |
| COMPUTE-REQ-0020 | docs/specs/compute/timing.md | @common/crates/core/rusteda-compute/src/lib.rs @common/crates/core/rusteda-compute/src/timing/lut.rs @common/crates/core/rusteda-compute/src/timing/mod.rs @common/crates/core/rusteda-compute/src/timing/tests/checks.rs @common/crates/core/rusteda-compute/src/timing/tests/cpu.rs @common/crates/core/rusteda-compute/src/timing/validate.rs crates/engines/ruststa/src/engine/prop/latch.rs |
| COMPUTE-REQ-0021 | docs/specs/compute/timing.md | @common/crates/core/rusteda-compute/src/lib.rs @common/crates/core/rusteda-compute/src/timing/cpu.rs @common/crates/core/rusteda-compute/src/timing/mod.rs @common/crates/core/rusteda-compute/src/timing/tests/cpu.rs @common/crates/core/rusteda-compute/src/timing/tests/gpu.rs crates/engines/ruststa/src/engine/prop/lower.rs |
| COMPUTE-REQ-0022 | docs/specs/compute/timing.md | @common/crates/core/rusteda-compute/src/lib.rs @common/crates/core/rusteda-compute/src/timing/cuda.rs @common/crates/core/rusteda-compute/src/timing/mod.rs @common/crates/core/rusteda-compute/src/timing/tests/cpu.rs @common/crates/core/rusteda-compute/src/timing/tests/gpu.rs |
| COMPUTE-REQ-0023 | docs/specs/compute/timing.md | @common/crates/core/rusteda-compute/src/lib.rs @common/crates/core/rusteda-compute/src/timing/mod.rs @common/crates/core/rusteda-compute/src/timing/state.rs @common/crates/core/rusteda-compute/src/timing/tests/cpu.rs @common/crates/core/rusteda-compute/src/timing/tests/gpu.rs crates/engines/ruststa/src/engine/prop/lower.rs |
| COMPUTE-REQ-0024 | docs/specs/compute/timing.md | @common/crates/core/rusteda-compute/src/lib.rs @common/crates/core/rusteda-compute/src/timing/mod.rs @common/crates/core/rusteda-compute/src/timing/tests/cpu.rs @common/crates/core/rusteda-compute/src/timing/tests/gpu.rs crates/engines/ruststa/src/engine/prop/lower.rs |
| COMPUTE-REQ-0025 | docs/specs/compute/timing.md | @common/crates/core/rusteda-compute/src/lib.rs crates/engines/ruststa/src/engine/prop/lower.rs |
| COMPUTE-REQ-0026 | docs/specs/compute/timing.md | @common/crates/core/rusteda-compute/src/lib.rs @common/crates/core/rusteda-compute/src/timing/cpu.rs @common/crates/core/rusteda-compute/src/timing/mod.rs @common/crates/core/rusteda-compute/src/timing/tests/cpu.rs |
| COMPUTE-REQ-0027 | docs/specs/compute/timing.md | @common/crates/core/rusteda-compute/src/lib.rs @common/crates/core/rusteda-compute/src/timing/cpu.rs @common/crates/core/rusteda-compute/src/timing/mod.rs @common/crates/core/rusteda-compute/src/timing/tests/cpu.rs |
| COMPUTE-REQ-0028 | docs/specs/compute/timing.md | @common/crates/core/rusteda-compute/src/lib.rs @common/crates/core/rusteda-compute/src/timing/cuda.rs @common/crates/core/rusteda-compute/src/timing/tests/gpu.rs crates/engines/ruststa/src/engine/prop/lower.rs |
| COMPUTE-REQ-0029 | docs/specs/compute/timing.md | @common/crates/core/rusteda-compute/src/lib.rs @common/crates/core/rusteda-compute/src/timing/cuda.rs @common/crates/core/rusteda-compute/src/timing/mod.rs @common/crates/core/rusteda-compute/src/timing/tests/gpu.rs crates/engines/ruststa/src/engine/prop/lower.rs crates/engines/ruststa/tests/backend_equality.rs |
| COMPUTE-REQ-0030 | docs/specs/compute/timing.md | @common/crates/core/rusteda-compute/src/timing/tests/prepared.rs |
| COMPUTE-REQ-0101 | docs/specs/compute/README.md | @common/crates/core/rusteda-compute/src/cut/mod.rs @common/crates/core/rusteda-compute/src/cut/tests.rs @common/crates/core/rusteda-compute/src/lib.rs |
| COMPUTE-REQ-0102 | docs/specs/compute/README.md | @common/crates/core/rusteda-compute/src/cut/cuda.rs @common/crates/core/rusteda-compute/src/cut/mod.rs |
| COMPUTE-REQ-0103 | docs/specs/compute/README.md | @common/crates/core/rusteda-compute/src/cut/mod.rs @common/crates/core/rusteda-compute/src/cut/pack.rs |
| COMPUTE-REQ-0104 | docs/specs/compute/README.md | @common/crates/core/rusteda-compute/src/cut/mod.rs @common/crates/core/rusteda-compute/src/cut/tests.rs |
| COMPUTE-REQ-0105 | docs/specs/compute/README.md | @common/crates/core/rusteda-compute/src/cut/cpu.rs @common/crates/core/rusteda-compute/src/cut/mod.rs @common/crates/core/rusteda-compute/src/cut/tests.rs |
| COMPUTE-REQ-0106 | docs/specs/compute/README.md | @common/crates/core/rusteda-compute/src/cut/cuda.rs @common/crates/core/rusteda-compute/src/cut/mod.rs @common/crates/core/rusteda-compute/src/cut/tests.rs @common/crates/core/rusteda-compute/src/lib.rs |
| CORE-REQ-0100 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/symbol.rs |
| CORE-REQ-0101 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/arena.rs @common/crates/core/rusteda-core/src/netlist/tests.rs |
| CORE-REQ-0102 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/arena.rs @common/crates/core/rusteda-core/src/netlist/tests.rs @common/crates/core/rusteda-core/src/netlist/tests_random.rs |
| CORE-REQ-0103 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/arena.rs |
| CORE-REQ-0110 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/names.rs @common/crates/core/rusteda-core/src/netlist/frozen.rs @common/crates/core/rusteda-core/src/netlist/tests.rs @common/crates/core/rusteda-core/src/netlist/tests_frozen.rs @common/crates/core/rusteda-core/src/netlist/validate.rs |
| CORE-REQ-0111 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/names.rs @common/crates/core/rusteda-core/src/netlist/tests.rs @common/crates/core/rusteda-core/src/netlist/tests_frozen.rs @common/crates/core/rusteda-core/src/netlist/validate.rs |
| CORE-REQ-0112 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/names.rs |
| CORE-REQ-0113 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/names.rs |
| CORE-REQ-0120 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/netlist.rs @common/crates/core/rusteda-core/src/netlist/tests.rs |
| CORE-REQ-0121 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/netlist.rs @common/crates/core/rusteda-core/src/netlist/tests.rs @common/crates/core/rusteda-core/src/netlist/tests_random.rs |
| CORE-REQ-0122 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/netlist.rs @common/crates/core/rusteda-core/src/netlist/tests.rs @common/crates/core/rusteda-core/src/netlist/tests_random.rs |
| CORE-REQ-0123 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/netlist.rs @common/crates/core/rusteda-core/src/netlist/error.rs @common/crates/core/rusteda-core/src/netlist/tests.rs @common/crates/core/rusteda-core/src/netlist/tests_random.rs @common/crates/core/rusteda-workspace/src/edits.rs |
| CORE-REQ-0124 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/netlist/tests.rs |
| CORE-REQ-0125 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/netlist/tests.rs |
| CORE-REQ-0126 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/netlist/tests.rs |
| CORE-REQ-0127 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/netlist/tests.rs |
| CORE-REQ-0128 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/netlist.rs @common/crates/core/rusteda-core/src/netlist/tests.rs |
| CORE-REQ-0130 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/netlist/frozen.rs @common/crates/core/rusteda-core/src/netlist/tests_frozen.rs |
| CORE-REQ-0131 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/netlist/frozen.rs @common/crates/core/rusteda-core/src/netlist/tests_frozen.rs |
| CORE-REQ-0132 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/netlist/frozen.rs @common/crates/core/rusteda-core/src/netlist/tests_frozen.rs |
| CORE-REQ-0133 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/netlist/frozen.rs @common/crates/core/rusteda-core/src/netlist/tests_frozen.rs |
| CORE-REQ-0134 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/netlist/frozen.rs @common/crates/core/rusteda-core/src/netlist/tests_frozen.rs |
| CORE-REQ-0135 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/netlist/frozen.rs @common/crates/core/rusteda-core/src/netlist/tests.rs @common/crates/core/rusteda-core/src/netlist/tests_frozen.rs @common/crates/core/rusteda-core/src/netlist/validate.rs |
| CORE-REQ-0136 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/netlist/frozen.rs @common/crates/core/rusteda-core/src/netlist/tests.rs @common/crates/core/rusteda-core/src/netlist/tests_frozen.rs |
| CORE-REQ-0137 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/netlist/frozen.rs @common/crates/core/rusteda-core/src/netlist/tests_frozen.rs @common/crates/core/rusteda-core/src/netlist/validate.rs @common/crates/formats/rusteda-formats/src/verilog/netlist/freeze_writer.rs |
| CORE-REQ-0138 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/netlist/frozen.rs @common/crates/core/rusteda-core/src/netlist/tests_frozen.rs |
| JOB-REQ-0001 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/job.rs |
| JOB-REQ-0002 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/job.rs |
| JOB-REQ-0003 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/job.rs crates/engines/ruststa/src/engine/analysis.rs crates/engines/ruststa/src/engine/store/from_analysis.rs |
| JOB-REQ-0004 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/job.rs |
| JOB-REQ-0005 | docs/specs/core/README.md | crates/apps/ruststa-cli/tests/cli_contract.rs crates/apps/ruststa-cli/tests/sta_view_model.rs |
| JOB-REQ-0006 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/job.rs crates/apps/ruststa-cli/tests/sta_view_model.rs |
| JOB-REQ-0007 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/diag.rs @common/crates/core/rusteda-workspace/src/text.rs |
| LIBERTY-REQ-0001 | docs/specs/liberty/liberty.md | @common/crates/formats/rusteda-formats/src/liberty/syntax.rs |
| LIBERTY-REQ-0002 | docs/specs/liberty/liberty.md | @common/crates/formats/rusteda-formats/src/liberty/syntax.rs |
| LIBERTY-REQ-0003 | docs/specs/liberty/liberty.md | @common/crates/formats/rusteda-formats/src/liberty/syntax.rs |
| LIBERTY-REQ-0004 | docs/specs/liberty/liberty.md | @common/crates/formats/rusteda-formats/src/liberty/syntax.rs |
| LIBERTY-REQ-0005 | docs/specs/liberty/liberty.md | @common/crates/formats/rusteda-formats/src/liberty/units.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0006 | docs/specs/liberty/liberty.md | @common/crates/formats/rusteda-formats/src/liberty/units.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0007 | docs/specs/liberty/liberty.md | @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0010 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0011 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/tests/liberty_cells_and_pins.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0012 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/tests/liberty_cells_and_pins.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0013 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/core/rusteda-core/src/liberty/table.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0014 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0015 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/tests/liberty_cells_and_pins.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0016 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/tests/liberty_cells_and_pins.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0017 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/core/rusteda-core/src/liberty/units.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/src/liberty/units.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0018 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0019 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0020 | docs/specs/liberty/liberty.md | @common/crates/core/rusteda-core/src/liberty/func.rs @common/crates/formats/rusteda-formats/src/liberty/func.rs |
| LIBERTY-REQ-0021 | docs/specs/liberty/liberty.md | @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/src/liberty/func.rs |
| LIBERTY-REQ-0022 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/func.rs @common/crates/formats/rusteda-formats/src/liberty/func.rs |
| LIBERTY-REQ-0023 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/kinds.rs @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0024 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/kinds.rs @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs |
| LIBERTY-REQ-0025 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0026 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0030 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/table.rs |
| LIBERTY-REQ-0031 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/kinds.rs @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/formats/rusteda-formats/src/liberty/tables.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0032 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/table.rs @common/crates/formats/rusteda-formats/src/liberty/tables.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0033 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/table.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0034 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/table.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0040 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/kinds.rs @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0041 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0042 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/kinds.rs @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0043 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0044 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/src/liberty/bus.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0045 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0046 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0047 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/kinds.rs @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/src/liberty/wire_load.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0048 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/kinds.rs @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/src/liberty/wire_load.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0049 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/tests/liberty_cells_and_pins.rs crates/engines/ruststa/src/engine/input/libview/mod.rs crates/engines/ruststa/tests/limits.rs crates/engines/ruststa/tests/pulse_rules.rs |
| LIBERTY-REQ-0050 | docs/specs/liberty/liberty.md | @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0051 | docs/specs/liberty/liberty.md | @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/src/liberty/classify.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0052 | docs/specs/liberty/liberty.md | @common/crates/formats/rusteda-formats/src/liberty/diags.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0053 | docs/specs/liberty/liberty.md | @common/crates/formats/rusteda-formats/src/liberty/diags.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0054 | docs/specs/liberty/liberty.md | @common/crates/formats/rusteda-formats/src/liberty/classify.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0055 | docs/specs/liberty/liberty.md | @common/crates/formats/rusteda-formats/src/liberty/classify.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0056 | docs/specs/liberty/liberty.md | @common/crates/formats/rusteda-formats/src/liberty/classify.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0057 | docs/specs/liberty/liberty.md | @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/src/liberty/diags.rs @common/crates/formats/rusteda-formats/src/liberty/tables.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0058 | docs/specs/liberty/liberty.md | @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0059 | docs/specs/liberty/liberty.md | @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/src/liberty/bus.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| PROTO-REQ-0001 | docs/specs/cli/protocol.md | crates/apps/ruststa-cli/tests/cli_contract.rs |
| PROTO-REQ-0002 | docs/specs/cli/protocol.md | crates/apps/ruststa-cli/tests/cli_contract.rs crates/engines/ruststa/src/view.rs |
| PROTO-REQ-0010 | docs/specs/cli/protocol.md | crates/apps/ruststa-cli/tests/cli_contract.rs |
| PROTO-REQ-0020 | docs/specs/cli/protocol.md | crates/apps/ruststa-cli/tests/cli_contract.rs |
| PROTO-REQ-0021 | docs/specs/cli/protocol.md | crates/apps/ruststa-cli/tests/cli_contract.rs |
| PROTO-REQ-0030 | docs/specs/cli/protocol.md | crates/apps/ruststa-cli/tests/cli_contract.rs |
| PROTO-REQ-0031 | docs/specs/cli/protocol.md | crates/apps/ruststa-cli/tests/cli_contract.rs |
| PROTO-REQ-0032 | docs/specs/cli/protocol.md | crates/apps/ruststa-cli/tests/cli_contract.rs |
| PROTO-REQ-0033 | docs/specs/cli/protocol.md | crates/apps/ruststa-cli/tests/cli_contract.rs |
| PROTO-REQ-0034 | docs/specs/cli/protocol.md | crates/apps/ruststa-cli/tests/cli_contract.rs |
| PROTO-REQ-0050 | docs/specs/cli/protocol.md | crates/apps/ruststa-cli/tests/cli_contract.rs |
| PROTO-REQ-0051 | docs/specs/cli/protocol.md | crates/apps/ruststa-cli/tests/cli_contract.rs |
| PROTO-REQ-0052 | docs/specs/cli/protocol.md | crates/apps/ruststa-cli/tests/cli_contract.rs |
| PROTO-REQ-0053 | docs/specs/cli/protocol.md | crates/apps/ruststa-cli/tests/cli_contract.rs |
| PROTO-REQ-0060 | docs/specs/cli/protocol.md | crates/apps/ruststa-cli/tests/cli_contract.rs |
| PROTO-REQ-0061 | docs/specs/cli/protocol.md | crates/apps/ruststa-cli/tests/cli_contract.rs |
| PROTO-REQ-0062 | docs/specs/cli/protocol.md | crates/apps/ruststa-cli/tests/cli_contract.rs |
| PROTO-REQ-0100 | docs/specs/cli/tables.md | crates/apps/ruststa-cli/tests/cli_contract.rs |
| PROTO-REQ-0110 | docs/specs/cli/tables.md | crates/apps/ruststa-cli/tests/cli_contract.rs |
| PROTO-REQ-0120 | docs/specs/cli/tables.md | crates/apps/ruststa-cli/tests/cli_contract.rs |
| PROTO-REQ-0130 | docs/specs/cli/tables.md | crates/apps/ruststa-cli/tests/cli_contract.rs |
| PROTO-REQ-0131 | docs/specs/cli/tables.md | crates/apps/ruststa-cli/tests/cli_contract.rs |
| PROTO-REQ-0132 | docs/specs/cli/tables.md | crates/apps/ruststa-cli/tests/cli_contract.rs |
| RCLI-REQ-0001 | docs/specs/rusteda-cli/README.md | @common/crates/apps/rusteda-cli/src/export.rs @common/crates/apps/rusteda-cli/src/lib.rs @common/crates/apps/rusteda-cli/tests/cli_contract.rs crates/apps/rusteda-cli/tests/cli_contract.rs |
| RCLI-REQ-0002 | docs/specs/rusteda-cli/README.md | @common/crates/apps/rusteda-cli/src/lib.rs @common/crates/apps/rusteda-cli/tests/cli_contract.rs crates/apps/rusteda-cli/tests/cli_contract.rs |
| RCLI-REQ-0003 | docs/specs/rusteda-cli/README.md | @common/crates/apps/rusteda-cli/tests/cli_contract.rs crates/apps/rusteda-cli/tests/cli_contract.rs |
| RCLI-REQ-0004 | docs/specs/rusteda-cli/README.md | @common/crates/apps/rusteda-cli/src/lib.rs @common/crates/apps/rusteda-cli/tests/cli_contract.rs crates/apps/rusteda-cli/tests/cli_contract.rs |
| RCLI-REQ-0005 | docs/specs/rusteda-cli/README.md | @common/crates/apps/rusteda-cli/src/lib.rs @common/crates/apps/rusteda-cli/tests/cli_contract.rs crates/apps/rusteda-cli/tests/cli_contract.rs |
| RCLI-REQ-0006 | docs/specs/rusteda-cli/README.md | @common/crates/apps/rusteda-cli/tests/cli_contract.rs crates/apps/rusteda-cli/tests/cli_contract.rs |
| RCLI-REQ-0007 | docs/specs/rusteda-cli/README.md | @common/crates/apps/rusteda-cli/tests/cli_contract.rs @common/crates/apps/rusteda-cli/tests/import_sdc.rs crates/apps/rusteda-cli/tests/cli_contract.rs crates/apps/rusteda-cli/tests/import_sdc.rs |
| RCLI-REQ-0008 | docs/specs/rusteda-cli/README.md | @common/crates/apps/rusteda-cli/src/export.rs @common/crates/apps/rusteda-cli/src/lib.rs @common/crates/apps/rusteda-cli/tests/cli_contract.rs @common/crates/apps/rusteda-cli/tests/import_sdc.rs crates/apps/rusteda-cli/tests/cli_contract.rs crates/apps/rusteda-cli/tests/import_sdc.rs |
| RCLI-REQ-0010 | docs/specs/rusteda-cli/README.md | @common/crates/apps/rusteda-cli/src/init.rs @common/crates/apps/rusteda-cli/tests/cli_contract.rs crates/apps/rusteda-cli/tests/cli_contract.rs |
| RCLI-REQ-0011 | docs/specs/rusteda-cli/README.md | @common/crates/apps/rusteda-cli/src/import.rs @common/crates/apps/rusteda-cli/src/import_netlist.rs @common/crates/apps/rusteda-cli/src/import_sdc.rs @common/crates/apps/rusteda-cli/tests/cli_contract.rs @common/crates/apps/rusteda-cli/tests/import_netlist.rs @common/crates/apps/rusteda-cli/tests/import_sdc.rs crates/apps/rusteda-cli/tests/cli_contract.rs crates/apps/rusteda-cli/tests/import_netlist.rs crates/apps/rusteda-cli/tests/import_sdc.rs |
| RCLI-REQ-0012 | docs/specs/rusteda-cli/README.md | @common/crates/apps/rusteda-cli/src/import.rs @common/crates/apps/rusteda-cli/src/import_lib.rs @common/crates/apps/rusteda-cli/src/lib.rs @common/crates/apps/rusteda-cli/tests/cli_contract.rs crates/apps/rusteda-cli/tests/cli_contract.rs |
| RCLI-REQ-0013 | docs/specs/rusteda-cli/README.md | @common/crates/apps/rusteda-cli/src/import.rs @common/crates/apps/rusteda-cli/src/import_lib.rs @common/crates/apps/rusteda-cli/tests/cli_contract.rs crates/apps/rusteda-cli/tests/cli_contract.rs |
| RCLI-REQ-0014 | docs/specs/rusteda-cli/README.md | @common/crates/apps/rusteda-cli/src/import.rs @common/crates/apps/rusteda-cli/src/import_rtl.rs @common/crates/apps/rusteda-cli/tests/cli_contract.rs crates/apps/rusteda-cli/tests/cli_contract.rs |
| RCLI-REQ-0015 | docs/specs/rusteda-cli/README.md | @common/crates/apps/rusteda-cli/src/query.rs @common/crates/apps/rusteda-cli/tests/cli_contract.rs crates/apps/rusteda-cli/tests/cli_contract.rs |
| RCLI-REQ-0016 | docs/specs/rusteda-cli/README.md | @common/crates/apps/rusteda-cli/src/query.rs @common/crates/apps/rusteda-cli/tests/cli_contract.rs @common/crates/apps/rusteda-cli/tests/export_netlist.rs crates/apps/rusteda-cli/tests/cli_contract.rs crates/apps/rusteda-cli/tests/export_netlist.rs |
| RCLI-REQ-0017 | docs/specs/rusteda-cli/README.md | @common/crates/apps/rusteda-cli/src/query.rs @common/crates/apps/rusteda-cli/tests/cli_contract.rs crates/apps/rusteda-cli/tests/cli_contract.rs |
| RCLI-REQ-0018 | docs/specs/rusteda-cli/README.md | @common/crates/apps/rusteda-cli/src/lib.rs @common/crates/apps/rusteda-cli/src/revert.rs @common/crates/apps/rusteda-cli/tests/cli_contract.rs crates/apps/rusteda-cli/tests/cli_contract.rs |
| RCLI-REQ-0019 | docs/specs/rusteda-cli/README.md | @common/crates/apps/rusteda-cli/src/import_netlist.rs @common/crates/apps/rusteda-cli/src/import_netlist/fast.rs @common/crates/apps/rusteda-cli/tests/import_netlist.rs crates/apps/rusteda-cli/tests/import_netlist.rs |
| RCLI-REQ-0020 | docs/specs/rusteda-cli/README.md | @common/crates/apps/rusteda-cli/src/export.rs @common/crates/apps/rusteda-cli/tests/export_netlist.rs crates/apps/rusteda-cli/tests/export_netlist.rs |
| RCLI-REQ-0021 | docs/specs/rusteda-cli/README.md | @common/crates/apps/rusteda-cli/src/import_logic.rs @common/crates/apps/rusteda-cli/src/import_rtl.rs @common/crates/apps/rusteda-cli/tests/import_logic.rs crates/apps/rusteda-cli/tests/import_logic.rs |
| RCLI-REQ-0022 | docs/specs/rusteda-cli/README.md | @common/crates/apps/rusteda-cli/src/import_logic.rs @common/crates/apps/rusteda-cli/src/import_rtl.rs @common/crates/apps/rusteda-cli/tests/import_logic.rs crates/apps/rusteda-cli/tests/import_logic.rs |
| RCLI-REQ-0023 | docs/specs/rusteda-cli/README.md | @common/crates/apps/rusteda-cli/src/query.rs @common/crates/apps/rusteda-cli/tests/show_drv.rs crates/apps/rusteda-cli/tests/show_drv.rs |
| RCLI-REQ-0024 | docs/specs/rusteda-cli/README.md | @common/crates/apps/rusteda-cli/src/import.rs @common/crates/apps/rusteda-cli/src/import_netlist.rs @common/crates/apps/rusteda-cli/src/lib.rs @common/crates/apps/rusteda-cli/tests/import_netlist.rs crates/apps/rusteda-cli/tests/import_netlist.rs |
| RCLI-REQ-0070 | docs/specs/rusteda-cli/spef.md | @common/crates/apps/rusteda-cli/src/import_spef.rs @common/crates/apps/rusteda-cli/tests/import_spef.rs crates/apps/rusteda-cli/tests/import_spef.rs crates/apps/ruststa-cli/tests/signoff_cli.rs |
| RCLI-REQ-0071 | docs/specs/rusteda-cli/spef.md | @common/crates/apps/rusteda-cli/src/import_spef.rs @common/crates/formats/rusteda-formats/src/spef/tests.rs |
| RCLI-REQ-0072 | docs/specs/rusteda-cli/spef.md | @common/crates/apps/rusteda-cli/src/import_spef.rs @common/crates/formats/rusteda-formats/src/spef/tests.rs |
| RCLI-REQ-0073 | docs/specs/rusteda-cli/spef.md | @common/crates/apps/rusteda-cli/src/import_spef.rs @common/crates/apps/rusteda-cli/tests/import_spef.rs @common/crates/formats/rusteda-formats/src/spef/source.rs crates/apps/rusteda-cli/tests/import_spef.rs |
| RCLI-REQ-0074 | docs/specs/rusteda-cli/spef.md | @common/crates/formats/rusteda-formats/src/spef/tests.rs |
| RCLI-REQ-0075 | docs/specs/rusteda-cli/spef.md | @common/crates/apps/rusteda-cli/src/import.rs @common/crates/apps/rusteda-cli/src/import_spef.rs @common/crates/apps/rusteda-cli/tests/import_spef.rs @common/crates/formats/rusteda-formats/src/spef/mod.rs crates/apps/rusteda-cli/tests/import_spef.rs crates/apps/ruststa-cli/src/ws_io.rs crates/apps/ruststa-cli/tests/signoff_cli.rs |
| RCLI-REQ-0076 | docs/specs/rusteda-cli/spef.md | @common/crates/apps/rusteda-cli/src/import.rs @common/crates/apps/rusteda-cli/tests/import_spef.rs crates/apps/rusteda-cli/tests/import_spef.rs |
| SDC-REQ-0001 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc.rs @common/crates/formats/rusteda-formats/src/sdc/eval.rs @common/crates/formats/rusteda-formats/tests/sdc_fuzz.rs @common/crates/formats/rusteda-formats/tests/sdc_roundtrip.rs @common/crates/formats/rusteda-formats/tests/sdc_subset.rs crates/engines/ruststa/tests/constraints_compile.rs |
| SDC-REQ-0002 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc.rs @common/crates/formats/rusteda-formats/src/sdc/cmd.rs @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs @common/crates/formats/rusteda-formats/tests/sdc_subset.rs |
| SDC-REQ-0003 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc.rs @common/crates/formats/rusteda-formats/src/sdc/write.rs @common/crates/formats/rusteda-formats/tests/sdc_roundtrip.rs |
| SDC-REQ-0004 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc.rs crates/engines/ruststa/tests/constraints_compile.rs |
| SDC-REQ-0005 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc.rs @common/crates/formats/rusteda-formats/src/sdc/obj.rs @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs crates/engines/ruststa/src/engine/input/constr/pattern.rs crates/engines/ruststa/src/engine/input/constr/query.rs |
| SDC-REQ-0006 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/filter.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs crates/engines/ruststa/src/engine/input/constr/query.rs |
| SDC-REQ-0007 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/eval.rs @common/crates/formats/rusteda-formats/src/sdc/eval/builtins.rs @common/crates/formats/rusteda-formats/tests/sdc_subset.rs |
| SDC-REQ-0008 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/eval.rs @common/crates/formats/rusteda-formats/tests/sdc_subset.rs |
| SDC-REQ-0009 | docs/specs/sdc/sdc.md | @common/crates/apps/rusteda-cli/src/import_sdc.rs @common/crates/formats/rusteda-formats/src/sdc.rs @common/crates/formats/rusteda-formats/src/sdc/eval.rs @common/crates/formats/rusteda-formats/tests/sdc_subset.rs |
| SDC-REQ-0010 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/eval.rs @common/crates/formats/rusteda-formats/src/sdc/expr.rs @common/crates/formats/rusteda-formats/tests/sdc_subset.rs |
| SDC-REQ-0011 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/eval.rs @common/crates/formats/rusteda-formats/src/sdc/expr.rs @common/crates/formats/rusteda-formats/tests/sdc_subset.rs |
| SDC-REQ-0012 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/eval.rs @common/crates/formats/rusteda-formats/tests/sdc_subset.rs |
| SDC-REQ-0013 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/eval.rs @common/crates/formats/rusteda-formats/tests/sdc_subset.rs |
| SDC-REQ-0014 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc.rs @common/crates/formats/rusteda-formats/src/sdc/eval.rs @common/crates/formats/rusteda-formats/tests/sdc_subset.rs |
| SDC-REQ-0015 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc.rs @common/crates/formats/rusteda-formats/src/sdc/eval.rs @common/crates/formats/rusteda-formats/src/sdc/eval/builtins.rs @common/crates/formats/rusteda-formats/tests/sdc_fuzz.rs @common/crates/formats/rusteda-formats/tests/sdc_subset.rs |
| SDC-REQ-0016 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/cmd.rs @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/build.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs @common/crates/formats/rusteda-formats/tests/sdc_roundtrip.rs |
| SDC-REQ-0017 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs |
| SDC-REQ-0018 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs |
| SDC-REQ-0019 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs |
| SDC-REQ-0020 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/cmd.rs @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs |
| SDC-REQ-0021 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/cmd.rs @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs crates/engines/ruststa/src/engine/input/constr/model.rs |
| SDC-REQ-0022 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/cmd.rs @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs crates/engines/ruststa/src/engine/input/constr/model.rs |
| SDC-REQ-0023 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/cmd.rs @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/build.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs |
| SDC-REQ-0024 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/cmd.rs @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs |
| SDC-REQ-0025 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/cmd.rs @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs crates/engines/ruststa/src/engine/input/constr/model.rs |
| SDC-REQ-0026 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/cmd.rs @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs crates/engines/ruststa/src/engine/input/constr/model.rs |
| SDC-REQ-0027 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/cmd.rs @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs crates/engines/ruststa/src/engine/input/constr/model.rs |
| SDC-REQ-0028 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/cmd.rs @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs @common/crates/formats/rusteda-formats/tests/sdc_roundtrip.rs |
| SDC-REQ-0029 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/cmd.rs @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs |
| SDC-REQ-0030 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/cmd.rs @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs |
| SDC-REQ-0031 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/cmd.rs @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs |
| SDC-REQ-0032 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/cmd.rs @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs |
| SDC-REQ-0033 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/cmd.rs @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs crates/engines/ruststa/src/engine/input/constr/model.rs |
| SDC-REQ-0034 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/cmd.rs @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs crates/engines/ruststa/src/engine/input/constr/model.rs |
| SDC-REQ-0035 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/cmd.rs @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs crates/engines/ruststa/src/engine/input/constr/model.rs |
| SDC-REQ-0036 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/cmd.rs @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs crates/engines/ruststa/src/engine/input/constr/model.rs |
| SDC-REQ-0037 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/cmd.rs @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs crates/engines/ruststa/src/engine/input/constr/model.rs |
| SDC-REQ-0038 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/cmd.rs @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs crates/engines/ruststa/src/engine/input/constr/model.rs |
| SDC-REQ-0039 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/cmd.rs @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/build.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs crates/engines/ruststa/src/engine/input/constr/model.rs |
| SDC-REQ-0040 | docs/specs/sdc/sdc.md | @common/crates/apps/rusteda-cli/src/import_sdc.rs @common/crates/formats/rusteda-formats/src/sdc.rs @common/crates/formats/rusteda-formats/src/sdc/constr.rs @common/crates/formats/rusteda-formats/src/sdc/constr/encode.rs @common/crates/formats/rusteda-formats/tests/sdc_roundtrip.rs @common/crates/formats/rusteda-formats/tests/sdc_subset.rs |
| SDC-REQ-0041 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc.rs @common/crates/formats/rusteda-formats/src/sdc/constr.rs @common/crates/formats/rusteda-formats/src/sdc/constr/encode.rs @common/crates/formats/rusteda-formats/tests/sdc_roundtrip.rs |
| SDC-REQ-0042 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/constr.rs @common/crates/formats/rusteda-formats/src/sdc/constr/encode.rs @common/crates/formats/rusteda-formats/tests/sdc_roundtrip.rs |
| SDC-REQ-0043 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc.rs @common/crates/formats/rusteda-formats/src/sdc/constr.rs @common/crates/formats/rusteda-formats/src/sdc/constr/encode.rs @common/crates/formats/rusteda-formats/tests/sdc_roundtrip.rs |
| SDC-REQ-0044 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc.rs @common/crates/formats/rusteda-formats/src/sdc/constr.rs @common/crates/formats/rusteda-formats/src/sdc/constr/encode.rs @common/crates/formats/rusteda-formats/tests/sdc_roundtrip.rs |
| SDC-REQ-0045 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc.rs @common/crates/formats/rusteda-formats/src/sdc/constr.rs @common/crates/formats/rusteda-formats/src/sdc/constr/encode.rs @common/crates/formats/rusteda-formats/tests/sdc_roundtrip.rs |
| SDC-REQ-0046 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/constr.rs @common/crates/formats/rusteda-formats/src/sdc/constr/encode.rs @common/crates/formats/rusteda-formats/tests/sdc_roundtrip.rs |
| SDC-REQ-0047 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/constr.rs @common/crates/formats/rusteda-formats/src/sdc/constr/encode.rs @common/crates/formats/rusteda-formats/tests/sdc_roundtrip.rs |
| SDC-REQ-0048 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/constr.rs @common/crates/formats/rusteda-formats/src/sdc/constr/encode.rs @common/crates/formats/rusteda-formats/tests/sdc_roundtrip.rs |
| SDC-REQ-0049 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc.rs @common/crates/formats/rusteda-formats/src/sdc/constr.rs @common/crates/formats/rusteda-formats/src/sdc/constr/decode.rs @common/crates/formats/rusteda-formats/tests/sdc_roundtrip.rs |
| SDC-REQ-0050 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc.rs @common/crates/formats/rusteda-formats/src/sdc/constr.rs @common/crates/formats/rusteda-formats/src/sdc/constr/decode.rs @common/crates/formats/rusteda-formats/tests/sdc_roundtrip.rs |
| SDC-REQ-0051 | docs/specs/sdc/sdc.md | @common/crates/apps/rusteda-cli/src/import_sdc.rs @common/crates/apps/rusteda-cli/tests/import_sdc.rs @common/crates/formats/rusteda-formats/tests/sdc_roundtrip.rs crates/apps/rusteda-cli/tests/import_sdc.rs |
| SDC-REQ-0052 | docs/specs/sdc/sdc.md | @common/crates/apps/rusteda-cli/src/import_sdc.rs @common/crates/apps/rusteda-cli/tests/import_sdc.rs @common/crates/formats/rusteda-formats/tests/sdc_roundtrip.rs crates/apps/rusteda-cli/tests/import_sdc.rs |
| SDC-REQ-0053 | docs/specs/sdc/sdc.md | @common/crates/apps/rusteda-cli/src/import_sdc.rs @common/crates/apps/rusteda-cli/tests/import_sdc.rs @common/crates/formats/rusteda-formats/tests/sdc_roundtrip.rs crates/apps/rusteda-cli/tests/import_sdc.rs |
| SDC-REQ-0054 | docs/specs/sdc/sdc.md | @common/crates/apps/rusteda-cli/src/import_sdc.rs @common/crates/apps/rusteda-cli/tests/import_sdc.rs crates/apps/rusteda-cli/tests/import_sdc.rs |
| SDC-REQ-0055 | docs/specs/sdc/sdc.md | @common/crates/apps/rusteda-cli/src/import_sdc.rs @common/crates/apps/rusteda-cli/tests/import_sdc.rs @common/crates/formats/rusteda-formats/src/sdc.rs crates/apps/rusteda-cli/tests/import_sdc.rs |
| SDC-REQ-0070 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/tests/sdc_commands.rs |
| SDC-REQ-0071 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/tests/sdc_commands.rs |
| STA-REQ-0001 | docs/specs/sta/inputs.md | crates/engines/ruststa/src/netlist.rs crates/engines/ruststa/tests/legacy_graph.rs crates/engines/ruststa/tests/support/legacy_import.rs crates/engines/ruststa/tests/support/main.rs crates/verify/ruststa-check/src/design.rs crates/verify/ruststa-check/src/rev/verilog.rs |
| STA-REQ-0002 | docs/specs/sta/inputs.md | crates/engines/ruststa/src/engine/graph/build.rs crates/engines/ruststa/src/engine/input/netview.rs crates/engines/ruststa/src/graph.rs crates/engines/ruststa/src/netlist.rs crates/engines/ruststa/tests/graph_netlist.rs crates/verify/ruststa-check/src/design.rs crates/verify/ruststa-check/src/rev/verilog.rs |
| STA-REQ-0003 | docs/specs/sta/inputs.md | crates/engines/ruststa/src/engine/graph/build.rs crates/engines/ruststa/src/engine/input/netview.rs crates/engines/ruststa/src/engine/paths/search.rs crates/engines/ruststa/src/engine/prop/exceptions/helpers.rs crates/engines/ruststa/src/engine/prop/lower.rs crates/engines/ruststa/src/netlist.rs crates/engines/ruststa/tests/graph_netlist.rs crates/engines/ruststa/tests/support/main.rs crates/verify/ruststa-check/src/design.rs crates/verify/ruststa-check/src/rev/verilog.rs |
| STA-REQ-0010 | docs/specs/sta/inputs.md | crates/engines/ruststa/src/engine/input/libview/mod.rs crates/engines/ruststa/src/model.rs crates/engines/ruststa/tests/constraints_compile.rs crates/engines/ruststa/tests/delay_calc.rs crates/engines/ruststa/tests/legacy_constraints.rs crates/verify/ruststa-check/src/cells.rs crates/verify/ruststa-check/src/rev/lib_model.rs |
| STA-REQ-0011 | docs/specs/sta/legacy.md | crates/apps/ruststa-cli/tests/sta_inputs.rs crates/engines/ruststa/src/engine/input/constr/compile.rs crates/engines/ruststa/src/engine/input/constr/model.rs crates/engines/ruststa/src/engine/input/libview/mod.rs crates/engines/ruststa/src/model.rs crates/engines/ruststa/tests/constraints_compile.rs crates/engines/ruststa/tests/delay_calc.rs crates/engines/ruststa/tests/graph_netlist.rs |
| STA-REQ-0012 | docs/specs/sta/inputs.md | crates/engines/ruststa/src/engine/graph/build.rs crates/engines/ruststa/src/engine/input/libview/mod.rs crates/engines/ruststa/src/model.rs crates/engines/ruststa/tests/delay_calc.rs crates/engines/ruststa/tests/known_answer.rs crates/verify/ruststa-check/src/rev/lib_model.rs |
| STA-REQ-0013 | docs/specs/sta/legacy.md | crates/verify/ruststa-check/src/rev/lib_model.rs |
| STA-REQ-0014 | docs/specs/sta/inputs.md | crates/engines/ruststa/src/engine/delay/lut.rs crates/engines/ruststa/src/engine/input/libview/mod.rs crates/engines/ruststa/tests/delay_calc.rs crates/verify/ruststa-check/src/rev/lib_model.rs |
| STA-REQ-0015 | docs/specs/sta/inputs.md | crates/engines/ruststa/src/engine/analysis.rs crates/engines/ruststa/src/engine/input/libview/mod.rs crates/engines/ruststa/src/engine/scope.rs crates/engines/ruststa/src/engine/store/from_analysis.rs crates/engines/ruststa/tests/checks.rs crates/engines/ruststa/tests/delay_calc.rs crates/engines/ruststa/tests/known_answer.rs crates/verify/ruststa-check/src/rev/lib_model.rs |
| STA-REQ-0016 | docs/specs/sta/inputs.md | crates/engines/ruststa/src/engine/input/libview/mod.rs crates/engines/ruststa/src/engine/input/libview/thresholds.rs crates/engines/ruststa/tests/delay_calc.rs crates/engines/ruststa/tests/known_answer.rs crates/verify/ruststa-check/src/rev/lib_model.rs |
| STA-REQ-0017 | docs/specs/sta/inputs.md | crates/engines/ruststa/src/engine/analysis.rs crates/engines/ruststa/src/engine/input/libview/mod.rs crates/engines/ruststa/tests/delay_calc.rs crates/engines/ruststa/tests/held_sequential.rs |
| STA-REQ-0020 | docs/specs/sta/inputs.md | crates/engines/ruststa/src/constraints.rs crates/engines/ruststa/src/engine/input/constr/model.rs crates/engines/ruststa/src/engine/input/constr/pattern.rs crates/engines/ruststa/src/engine/input/constr/query.rs crates/engines/ruststa/src/old_sdc.rs crates/engines/ruststa/tests/constraints_compile.rs crates/engines/ruststa/tests/legacy_constraints.rs crates/verify/ruststa-check/src/old_sdc.rs crates/verify/ruststa-check/src/sdc.rs |
| STA-REQ-0021 | docs/specs/sta/inputs.md | crates/engines/ruststa/src/constraints.rs crates/engines/ruststa/src/engine/input/constr/model.rs crates/engines/ruststa/tests/legacy_constraints.rs crates/verify/ruststa-check/src/sdc.rs |
| STA-REQ-0022 | docs/specs/sta/inputs.md | crates/apps/ruststa-cli/tests/sta_exceptions_cli.rs crates/engines/ruststa/src/engine/analysis.rs |
| STA-REQ-0024 | docs/specs/sta/lowering.md | crates/apps/ruststa-cli/src/run.rs crates/apps/ruststa-cli/src/ws_io.rs crates/apps/ruststa-cli/tests/sta_exceptions_cli.rs crates/engines/ruststa/src/engine/analysis.rs crates/engines/ruststa/src/engine/incr/update.rs |
| STA-REQ-0100 | docs/specs/sta/delay.md | crates/engines/ruststa/src/graph.rs crates/engines/ruststa/tests/graph_netlist.rs crates/engines/ruststa/tests/legacy_graph.rs crates/verify/ruststa-check/src/timing.rs |
| STA-REQ-0101 | docs/specs/sta/legacy.md | crates/engines/ruststa/src/engine/types.rs crates/engines/ruststa/src/prop.rs crates/verify/ruststa-check/src/rev/eval.rs crates/verify/ruststa-check/src/timing.rs |
| STA-REQ-0102 | docs/specs/sta/delay.md | crates/engines/ruststa/src/engine/graph/build.rs crates/engines/ruststa/src/graph.rs crates/engines/ruststa/tests/graph_netlist.rs crates/engines/ruststa/tests/legacy_graph.rs crates/verify/ruststa-check/src/rev/eval.rs crates/verify/ruststa-check/src/timing.rs |
| STA-REQ-0108 | docs/specs/sta/delay.md | crates/engines/ruststa/src/engine/delay/gate.rs crates/engines/ruststa/src/engine/delay/lut.rs crates/engines/ruststa/src/engine/input/libview/mod.rs crates/engines/ruststa/src/engine/prop/starts.rs crates/engines/ruststa/tests/delay_calc.rs crates/engines/ruststa/tests/known_answer.rs crates/verify/ruststa-check/src/rev/eval.rs crates/verify/ruststa-check/src/rev/eval/transitions.rs crates/verify/ruststa-check/src/timing.rs |
| STA-REQ-0109 | docs/specs/sta/delay.md | crates/engines/ruststa/src/engine/delay/gate.rs crates/engines/ruststa/src/engine/delay/lut.rs crates/engines/ruststa/src/engine/input/libview/mod.rs crates/engines/ruststa/tests/delay_calc.rs crates/engines/ruststa/tests/known_answer.rs crates/verify/ruststa-check/src/timing.rs |
| STA-REQ-0110 | docs/specs/sta/delay.md | crates/apps/ruststa-cli/tests/sta_known_answer.rs crates/engines/ruststa/src/engine/analysis.rs crates/engines/ruststa/src/engine/delay/load.rs crates/engines/ruststa/src/engine/delay/wire.rs crates/engines/ruststa/src/engine/input/constr/model.rs crates/engines/ruststa/src/engine/input/libview/mod.rs crates/engines/ruststa/src/model.rs crates/engines/ruststa/src/prop.rs crates/engines/ruststa/tests/delay_calc.rs crates/engines/ruststa/tests/known_answer.rs crates/verify/ruststa-check/src/cells.rs crates/verify/ruststa-check/src/rev/eval.rs crates/verify/ruststa-check/src/rev/lib_model.rs crates/verify/ruststa-check/src/timing.rs |
| STA-REQ-0111 | docs/specs/sta/delay.md | crates/apps/ruststa-cli/tests/sta_inputs.rs crates/engines/ruststa/src/engine/delay/wire.rs crates/engines/ruststa/src/prop.rs crates/engines/ruststa/tests/known_answer.rs crates/verify/ruststa-check/src/timing.rs |
| STA-REQ-0112 | docs/specs/sta/delay.md | crates/apps/ruststa-cli/tests/sta_known_answer.rs crates/engines/ruststa/src/engine/input/libview/mod.rs crates/engines/ruststa/src/prop.rs crates/engines/ruststa/tests/delay_calc.rs crates/engines/ruststa/tests/known_answer.rs crates/verify/ruststa-check/src/rev/lib_model.rs crates/verify/ruststa-check/src/timing.rs |
| STA-REQ-0113 | docs/specs/sta/delay.md | crates/engines/ruststa/src/engine/delay/gate.rs crates/engines/ruststa/src/engine/delay/lut.rs crates/engines/ruststa/src/engine/input/libview/mod.rs crates/engines/ruststa/src/model.rs crates/engines/ruststa/src/prop.rs crates/engines/ruststa/tests/delay_calc.rs crates/engines/ruststa/tests/known_answer.rs crates/verify/ruststa-check/src/cells.rs crates/verify/ruststa-check/src/rev/lib_model.rs crates/verify/ruststa-check/src/timing.rs |
| STA-REQ-0114 | docs/specs/sta/delay.md | crates/engines/ruststa/src/engine/analysis.rs crates/engines/ruststa/src/engine/delay/gate.rs crates/engines/ruststa/src/engine/delay/lut.rs crates/engines/ruststa/src/engine/input/libview/mod.rs crates/engines/ruststa/src/model.rs crates/engines/ruststa/src/prop.rs crates/engines/ruststa/tests/delay_calc.rs crates/engines/ruststa/tests/known_answer.rs crates/verify/ruststa-check/src/cells.rs crates/verify/ruststa-check/src/rev/lib_model.rs crates/verify/ruststa-check/src/timing.rs |
| STA-REQ-0115 | docs/specs/sta/legacy.md | crates/engines/ruststa/src/engine/delay/gate.rs crates/engines/ruststa/src/engine/prop/exceptions/eval.rs crates/engines/ruststa/src/engine/prop/lower.rs crates/engines/ruststa/src/engine/prop/lower/start_builder.rs crates/engines/ruststa/src/prop.rs crates/engines/ruststa/tests/delay_calc.rs crates/verify/ruststa-check/src/timing.rs |
| STA-REQ-0116 | docs/specs/sta/legacy.md | crates/engines/ruststa/tests/held_sequential.rs |
| STA-REQ-0117 | docs/specs/sta/delay.md | crates/engines/ruststa/src/engine/graph/build.rs crates/engines/ruststa/src/engine/graph/constants.rs crates/engines/ruststa/src/engine/graph/constants/sequential.rs crates/engines/ruststa/src/engine/graph/levels.rs crates/engines/ruststa/src/engine/limits/statics.rs crates/engines/ruststa/src/engine/prop/clocks/propagated.rs crates/engines/ruststa/src/engine/prop/lower.rs crates/engines/ruststa/src/engine/prop/lower/slew_only.rs crates/engines/ruststa/src/engine/prop/starts.rs crates/engines/ruststa/src/engine/store/builder.rs crates/engines/ruststa/tests/constant_transitions.rs crates/engines/ruststa/tests/constants.rs crates/engines/ruststa/tests/drv_constants.rs crates/engines/ruststa/tests/held_sequential.rs crates/verify/ruststa-check/src/rev/constants.rs crates/verify/ruststa-check/src/rev/eval/transitions.rs |
| STA-REQ-0120 | docs/specs/sta/delay.md | crates/engines/ruststa/src/engine/analysis.rs crates/engines/ruststa/src/engine/analysis/electrical.rs crates/engines/ruststa/src/engine/delay/gate.rs crates/engines/ruststa/src/engine/delay/load.rs crates/engines/ruststa/src/engine/delay/lut.rs crates/engines/ruststa/src/engine/input/libview/mod.rs crates/engines/ruststa/tests/delay_calc.rs crates/engines/ruststa/tests/known_answer.rs crates/verify/ruststa-check/src/rev/lib_model.rs |
| STA-REQ-0121 | docs/specs/sta/delay.md | crates/engines/ruststa/src/engine/analysis.rs crates/engines/ruststa/src/engine/delay/gate.rs crates/engines/ruststa/src/engine/delay/load.rs crates/engines/ruststa/src/engine/input/libview/mod.rs crates/engines/ruststa/tests/delay_calc.rs crates/engines/ruststa/tests/known_answer.rs crates/engines/ruststa/tests/legacy_equivalence.rs crates/verify/ruststa-check/src/rev/eval.rs crates/verify/ruststa-check/src/rev/lib_model.rs |
| STA-REQ-0122 | docs/specs/sta/delay.md | crates/engines/ruststa/src/engine/analysis.rs crates/engines/ruststa/src/engine/delay/wire.rs crates/engines/ruststa/src/engine/input/constr/model.rs crates/engines/ruststa/tests/known_answer.rs crates/engines/ruststa/tests/wireload.rs crates/verify/ruststa-check/src/rev/lib_model.rs |
| STA-REQ-0123 | docs/specs/sta/delay.md | crates/engines/ruststa/src/engine/delay/wire.rs crates/engines/ruststa/tests/known_answer.rs crates/engines/ruststa/tests/wireload.rs crates/verify/ruststa-check/src/rev/eval.rs crates/verify/ruststa-check/src/rev/lib_model.rs |
| STA-REQ-0124 | docs/specs/sta/delay.md | crates/engines/ruststa/src/engine/delay/wire.rs crates/engines/ruststa/src/engine/input/constr/model.rs crates/engines/ruststa/tests/known_answer.rs crates/engines/ruststa/tests/wireload.rs crates/verify/ruststa-check/src/rev/eval.rs crates/verify/ruststa-check/src/rev/lib_model.rs |
| STA-REQ-0125 | docs/specs/sta/delay.md | crates/engines/ruststa/src/engine/analysis.rs crates/engines/ruststa/src/engine/delay/wire.rs crates/engines/ruststa/tests/known_answer.rs crates/engines/ruststa/tests/wireload.rs crates/verify/ruststa-check/src/rev/lib_model.rs crates/verify/ruststa-check/src/rev/mod.rs |
| STA-REQ-0150 | docs/specs/sta/constants.md | crates/apps/ruststa-cli/tests/sta_exceptions_cli.rs crates/engines/ruststa/src/engine/analysis.rs crates/engines/ruststa/src/engine/graph/constants.rs crates/engines/ruststa/src/engine/limits/mod.rs crates/engines/ruststa/tests/constants.rs crates/verify/ruststa-check/src/rev/constants.rs crates/verify/ruststa-check/src/rev/sdc_query.rs |
| STA-REQ-0151 | docs/specs/sta/legacy.md | crates/engines/ruststa/tests/constants.rs crates/engines/ruststa/tests/held_sequential.rs |
| STA-REQ-0152 | docs/specs/sta/legacy.md | crates/engines/ruststa/tests/constants.rs |
| STA-REQ-0153 | docs/specs/sta/constants.md | crates/engines/ruststa/src/engine/graph/constants.rs crates/engines/ruststa/tests/constants.rs crates/verify/ruststa-check/src/rev/constants.rs crates/verify/ruststa-check/src/rev/eval.rs |
| STA-REQ-0154 | docs/specs/sta/legacy.md | crates/engines/ruststa/tests/constants.rs |
| STA-REQ-0155 | docs/specs/sta/constants.md | crates/engines/ruststa/src/engine/prop/checks.rs crates/engines/ruststa/src/engine/prop/starts.rs crates/engines/ruststa/tests/constants.rs crates/engines/ruststa/tests/held_sequential.rs crates/verify/ruststa-check/src/rev/canon_sdc.rs crates/verify/ruststa-check/src/rev/constants.rs |
| STA-REQ-0156 | docs/specs/sta/constants.md | crates/engines/ruststa/src/engine/graph/constants.rs crates/engines/ruststa/src/engine/input/constr/model.rs crates/engines/ruststa/src/engine/prop/starts.rs crates/engines/ruststa/tests/constants.rs crates/engines/ruststa/tests/held_sequential.rs |
| STA-REQ-0157 | docs/specs/sta/constants.md | crates/apps/ruststa-cli/tests/sta_exceptions_cli.rs crates/engines/ruststa/src/engine/analysis.rs crates/engines/ruststa/src/engine/graph/constants.rs crates/engines/ruststa/src/engine/input/constr/model.rs crates/engines/ruststa/src/engine/prop/checks.rs crates/engines/ruststa/src/engine/prop/endpoints.rs crates/engines/ruststa/tests/constants.rs |
| STA-REQ-0158 | docs/specs/sta/constants.md | crates/apps/ruststa-cli/tests/sta_exceptions_cli.rs crates/engines/ruststa/src/engine/graph/constants.rs crates/engines/ruststa/tests/constants.rs |
| STA-REQ-0159 | docs/specs/sta/constants.md | crates/apps/ruststa-cli/tests/sta_exceptions_cli.rs crates/engines/ruststa/src/engine/graph/build.rs crates/engines/ruststa/src/engine/graph/constants.rs crates/engines/ruststa/tests/constant_transitions.rs crates/engines/ruststa/tests/constants.rs crates/verify/ruststa-check/src/rev/constants.rs |
| STA-REQ-0161 | docs/specs/sta/legacy.md | crates/engines/ruststa/tests/held_sequential.rs |
| STA-REQ-0162 | docs/specs/sta/constants.md | crates/engines/ruststa/src/engine/graph/constants.rs crates/engines/ruststa/src/engine/graph/constants/propagate.rs crates/engines/ruststa/tests/constants.rs crates/engines/ruststa/tests/held_sequential.rs crates/verify/ruststa-check/src/rev/constants.rs |
| STA-REQ-0163 | docs/specs/sta/constants.md | crates/engines/ruststa/src/engine/graph/build.rs crates/engines/ruststa/src/engine/graph/constants.rs crates/engines/ruststa/src/engine/graph/constants/sequential.rs crates/engines/ruststa/src/engine/prop/checks.rs crates/engines/ruststa/src/engine/prop/endpoints.rs crates/engines/ruststa/src/engine/prop/latch.rs crates/engines/ruststa/tests/constant_transitions.rs crates/engines/ruststa/tests/constants.rs crates/engines/ruststa/tests/held_sequential.rs crates/verify/ruststa-check/src/rev/constants.rs crates/verify/ruststa-check/src/rev/eval.rs crates/verify/ruststa-check/src/rev/eval/transitions.rs |
| STA-REQ-0164 | docs/specs/sta/constants.md | crates/engines/ruststa/src/engine/graph/constants.rs crates/engines/ruststa/src/engine/prop/starts.rs crates/engines/ruststa/tests/constants.rs crates/engines/ruststa/tests/held_sequential.rs crates/verify/ruststa-check/src/rev/eval.rs |
| STA-REQ-0200 | docs/specs/sta/checks.md | crates/engines/ruststa/src/engine/analysis.rs crates/engines/ruststa/src/engine/graph/constants/sequential.rs crates/engines/ruststa/src/engine/paths/search.rs crates/engines/ruststa/src/engine/prop/clocks/ideal.rs crates/engines/ruststa/src/engine/prop/clocks/mod.rs crates/engines/ruststa/src/engine/prop/exceptions/eval.rs crates/engines/ruststa/src/engine/prop/exceptions/helpers.rs crates/engines/ruststa/src/engine/prop/lower.rs crates/engines/ruststa/src/prop.rs crates/engines/ruststa/tests/checks.rs crates/engines/ruststa/tests/legacy_equivalence.rs crates/verify/ruststa-check/src/rev/canon_sdc.rs crates/verify/ruststa-check/src/rev/eval.rs crates/verify/ruststa-check/src/rev/eval/transitions.rs crates/verify/ruststa-check/src/timing.rs |
| STA-REQ-0201 | docs/specs/sta/legacy.md | crates/engines/ruststa/src/engine/prop/lower.rs crates/engines/ruststa/src/engine/prop/lower/start_builder.rs crates/engines/ruststa/src/engine/prop/starts.rs crates/engines/ruststa/src/engine/prop/tags.rs crates/engines/ruststa/src/prop.rs crates/engines/ruststa/tests/checks.rs crates/engines/ruststa/tests/legacy_equivalence.rs crates/verify/ruststa-check/src/timing.rs |
| STA-REQ-0210 | docs/specs/sta/legacy.md | crates/apps/ruststa-cli/tests/sta_known_answer.rs crates/engines/ruststa/src/checks.rs crates/verify/ruststa-check/src/checks.rs crates/verify/ruststa-check/src/rev/checks_eval.rs |
| STA-REQ-0211 | docs/specs/sta/legacy.md | crates/engines/ruststa/src/checks.rs crates/engines/ruststa/tests/legacy_equivalence.rs crates/verify/ruststa-check/src/checks.rs crates/verify/ruststa-check/src/rev/lib_model.rs |
| STA-REQ-0212 | docs/specs/sta/checks.md | crates/engines/ruststa/src/checks.rs crates/engines/ruststa/src/engine/input/constr/index.rs crates/engines/ruststa/src/engine/paths/relaunch.rs crates/engines/ruststa/src/engine/prop/backward.rs crates/engines/ruststa/src/engine/prop/exceptions/check.rs crates/engines/ruststa/tests/checks.rs crates/engines/ruststa/tests/constraints_compile.rs crates/engines/ruststa/tests/known_answer.rs crates/engines/ruststa/tests/legacy_equivalence.rs crates/verify/ruststa-check/src/checks.rs crates/verify/ruststa-check/src/rev/checks_eval.rs |
| STA-REQ-0213 | docs/specs/sta/legacy.md | crates/apps/ruststa-cli/tests/sta_known_answer.rs crates/engines/ruststa/src/checks.rs crates/engines/ruststa/src/engine/graph/build.rs crates/engines/ruststa/src/engine/input/libview/mod.rs crates/engines/ruststa/src/engine/prop/lower.rs crates/engines/ruststa/src/model.rs crates/engines/ruststa/src/prop.rs crates/engines/ruststa/tests/graph_netlist.rs crates/verify/ruststa-check/src/checks.rs crates/verify/ruststa-check/src/timing.rs |
| STA-REQ-0214 | docs/specs/sta/checks.md | crates/engines/ruststa/src/checks.rs crates/engines/ruststa/src/engine/prop/backward.rs crates/engines/ruststa/src/engine/prop/endpoints.rs crates/engines/ruststa/tests/checks.rs crates/engines/ruststa/tests/known_answer.rs crates/engines/ruststa/tests/legacy_equivalence.rs crates/verify/ruststa-check/src/checks.rs |
| STA-REQ-0215 | docs/specs/sta/checks.md | crates/engines/ruststa/src/checks.rs crates/engines/ruststa/src/engine/paths/mod.rs crates/engines/ruststa/src/engine/paths/search.rs crates/engines/ruststa/tests/required_paths.rs crates/verify/ruststa-check/src/checks.rs crates/verify/ruststa-check/src/rev/compare.rs crates/verify/ruststa-check/src/rev/paths.rs |
| STA-REQ-0216 | docs/specs/sta/checks.md | crates/apps/ruststa-cli/tests/sta_known_answer.rs crates/engines/ruststa/src/checks.rs crates/engines/ruststa/src/engine/prop/exceptions/check.rs crates/engines/ruststa/src/model.rs crates/engines/ruststa/tests/checks.rs crates/engines/ruststa/tests/known_answer.rs crates/engines/ruststa/tests/legacy_equivalence.rs crates/verify/ruststa-check/src/checks.rs crates/verify/ruststa-check/src/rev/checks_eval.rs crates/verify/ruststa-check/src/rev/paths.rs |
| STA-REQ-0217 | docs/specs/sta/checks.md | crates/engines/ruststa/src/engine/analysis.rs crates/engines/ruststa/src/engine/input/constr/model.rs crates/engines/ruststa/src/engine/limits/statics.rs crates/engines/ruststa/src/engine/paths/relaunch.rs crates/engines/ruststa/src/engine/prop/clocks/ideal.rs crates/engines/ruststa/src/engine/prop/clocks/mod.rs crates/engines/ruststa/src/engine/prop/exceptions/eval.rs crates/engines/ruststa/src/engine/prop/lower.rs crates/engines/ruststa/src/engine/prop/starts.rs crates/engines/ruststa/src/engine/prop/tags.rs crates/engines/ruststa/tests/checks.rs crates/engines/ruststa/tests/known_answer.rs crates/verify/ruststa-check/src/rev/canon_sdc.rs crates/verify/ruststa-check/src/rev/eval.rs |
| STA-REQ-0218 | docs/specs/sta/checks.md | crates/apps/ruststa-cli/tests/signoff_cli.rs crates/engines/ruststa/src/engine/analysis.rs crates/engines/ruststa/src/engine/input/constr/model.rs crates/engines/ruststa/src/engine/prop/backward.rs crates/engines/ruststa/src/engine/prop/checks.rs crates/engines/ruststa/src/engine/prop/clocks/ideal.rs crates/engines/ruststa/src/engine/prop/starts.rs crates/engines/ruststa/tests/checks.rs crates/engines/ruststa/tests/known_answer.rs crates/verify/ruststa-check/src/rev/canon_sdc.rs crates/verify/ruststa-check/src/rev/checks_eval.rs crates/verify/ruststa-check/src/rev/eval.rs crates/verify/ruststa-check/src/rev/eval/transitions.rs |
| STA-REQ-0219 | docs/specs/sta/checks.md | crates/engines/ruststa/src/engine/analysis.rs crates/engines/ruststa/src/engine/input/constr/model.rs crates/engines/ruststa/src/engine/prop/backward.rs crates/engines/ruststa/src/engine/prop/checks.rs crates/engines/ruststa/src/engine/prop/exceptions/eval.rs crates/engines/ruststa/src/engine/prop/starts.rs crates/engines/ruststa/tests/checks.rs crates/engines/ruststa/tests/known_answer.rs crates/verify/ruststa-check/src/rev/checks_eval.rs crates/verify/ruststa-check/src/rev/eval.rs |
| STA-REQ-0220 | docs/specs/sta/checks.md | crates/engines/ruststa/src/engine/analysis.rs crates/engines/ruststa/src/engine/paths/search.rs crates/engines/ruststa/src/engine/prop/clocks/ideal.rs crates/engines/ruststa/src/engine/prop/exceptions/helpers.rs crates/engines/ruststa/src/engine/prop/lower.rs crates/engines/ruststa/src/engine/prop/relation.rs crates/engines/ruststa/tests/checks.rs crates/engines/ruststa/tests/known_answer.rs crates/verify/ruststa-check/src/rev/checks_eval.rs |
| STA-REQ-0221 | docs/specs/sta/checks.md | crates/engines/ruststa/src/engine/analysis.rs crates/engines/ruststa/src/engine/input/constr/model.rs crates/engines/ruststa/src/engine/paths/relaunch.rs crates/engines/ruststa/src/engine/prop/backward.rs crates/engines/ruststa/src/engine/prop/checks.rs crates/engines/ruststa/src/engine/prop/exceptions/eval.rs crates/engines/ruststa/src/engine/prop/latch.rs crates/engines/ruststa/src/engine/prop/lower.rs crates/engines/ruststa/src/engine/prop/relation.rs crates/engines/ruststa/tests/checks.rs crates/engines/ruststa/tests/known_answer.rs crates/engines/ruststa/tests/required_paths.rs crates/verify/ruststa-check/src/rev/canon_sdc.rs crates/verify/ruststa-check/src/rev/checks_eval.rs crates/verify/ruststa-check/src/rev/eval.rs crates/verify/ruststa-check/src/rev/lib_model.rs |
| STA-REQ-0222 | docs/specs/sta/checks.md | crates/engines/ruststa/src/engine/analysis.rs crates/engines/ruststa/src/engine/paths/relaunch.rs crates/engines/ruststa/src/engine/prop/backward.rs crates/engines/ruststa/src/engine/prop/exceptions/eval.rs crates/engines/ruststa/src/engine/prop/latch.rs crates/engines/ruststa/src/engine/prop/starts.rs crates/engines/ruststa/tests/checks.rs crates/engines/ruststa/tests/known_answer.rs crates/engines/ruststa/tests/required_paths.rs crates/verify/ruststa-check/src/rev/eval.rs crates/verify/ruststa-check/src/rev/eval/transitions.rs crates/verify/ruststa-check/src/rev/lib_model.rs crates/verify/ruststa-check/src/rev/paths.rs |
| STA-REQ-0223 | docs/specs/sta/checks.md | crates/engines/ruststa/src/engine/input/libview/mod.rs crates/engines/ruststa/tests/checks.rs crates/engines/ruststa/tests/delay_calc.rs crates/engines/ruststa/tests/known_answer.rs crates/verify/ruststa-check/src/rev/lib_model.rs |
| STA-REQ-0224 | docs/specs/sta/checks.md | crates/engines/ruststa/src/engine/analysis.rs crates/engines/ruststa/src/engine/prop/backward.rs crates/engines/ruststa/src/engine/prop/checks.rs crates/engines/ruststa/src/engine/prop/gating.rs crates/engines/ruststa/tests/checks.rs crates/engines/ruststa/tests/known_answer.rs crates/engines/ruststa/tests/required_paths.rs crates/verify/ruststa-check/src/rev/lib_model.rs |
| STA-REQ-0225 | docs/specs/sta/checks.md | crates/engines/ruststa/src/engine/analysis.rs crates/engines/ruststa/src/engine/prop/backward.rs crates/engines/ruststa/src/engine/prop/endpoints.rs crates/engines/ruststa/src/engine/prop/exceptions/check.rs crates/engines/ruststa/src/engine/prop/exceptions/helpers.rs crates/engines/ruststa/src/engine/scope.rs crates/engines/ruststa/tests/checks.rs crates/engines/ruststa/tests/known_answer.rs crates/verify/ruststa-check/src/rev/checks_eval.rs |
| STA-REQ-0226 | docs/specs/sta/checks.md | crates/engines/ruststa/src/engine/analysis.rs crates/engines/ruststa/src/engine/graph/constants.rs crates/engines/ruststa/src/engine/prop/checks.rs crates/engines/ruststa/src/engine/prop/endpoints.rs crates/engines/ruststa/src/engine/prop/exceptions/resolve.rs crates/engines/ruststa/src/engine/scope.rs crates/engines/ruststa/tests/checks.rs crates/engines/ruststa/tests/invariants.rs crates/engines/ruststa/tests/known_answer.rs crates/verify/ruststa-check/src/rev/checks_eval.rs |
| STA-REQ-0227 | docs/specs/sta/checks.md | crates/engines/ruststa/src/engine/prop/backward.rs crates/engines/ruststa/src/engine/prop/backward/required.rs crates/engines/ruststa/tests/invariants.rs crates/engines/ruststa/tests/required_paths.rs crates/verify/ruststa-check/src/rev/mod.rs crates/verify/ruststa-check/src/rev/paths.rs |
| STA-REQ-0228 | docs/specs/sta/checks.md | crates/engines/ruststa/src/engine/paths/mod.rs crates/engines/ruststa/src/engine/paths/search.rs crates/engines/ruststa/src/engine/store/from_analysis.rs crates/engines/ruststa/src/engine/store/from_analysis/steps.rs crates/engines/ruststa/tests/required_paths.rs crates/verify/ruststa-check/src/rev/compare.rs crates/verify/ruststa-check/src/rev/paths.rs crates/verify/ruststa-check/tests/planted.rs |
| STA-REQ-0229 | docs/specs/sta/checks.md | crates/engines/ruststa/src/engine/analysis.rs crates/engines/ruststa/src/engine/prop/backward.rs crates/engines/ruststa/src/engine/prop/checks.rs crates/engines/ruststa/src/engine/prop/endpoints.rs crates/engines/ruststa/src/engine/prop/latch.rs crates/engines/ruststa/src/engine/store/from_analysis/steps.rs crates/engines/ruststa/tests/checks.rs crates/engines/ruststa/tests/constant_transitions.rs crates/engines/ruststa/tests/known_answer.rs crates/verify/ruststa-check/src/rev/checks_eval.rs |
| STA-REQ-0230 | docs/specs/sta/checks.md | crates/engines/ruststa/src/engine/graph/constants.rs crates/engines/ruststa/src/engine/graph/constants/sequential.rs crates/engines/ruststa/tests/constant_transitions.rs |
| STA-REQ-0250 | docs/specs/sta/exceptions.md | crates/engines/ruststa/src/engine/input/constr/model.rs crates/engines/ruststa/src/engine/prop/exceptions/apply.rs crates/engines/ruststa/src/engine/prop/exceptions/check.rs crates/engines/ruststa/src/engine/prop/exceptions/eval.rs crates/engines/ruststa/src/engine/prop/exceptions/mod.rs crates/engines/ruststa/src/engine/prop/exceptions/resolve.rs crates/verify/ruststa-check/src/rev/canon_sdc.rs crates/verify/ruststa-check/src/rev/exceptions.rs crates/verify/ruststa-check/tests/exceptions.rs |
| STA-REQ-0251 | docs/specs/sta/exceptions.md | crates/engines/ruststa/src/engine/input/constr/index.rs crates/engines/ruststa/src/engine/input/constr/model.rs crates/engines/ruststa/src/engine/prop/exceptions/apply.rs crates/engines/ruststa/src/engine/prop/exceptions/eval.rs crates/engines/ruststa/src/engine/prop/exceptions/resolve.rs crates/engines/ruststa/src/engine/prop/exceptions/state.rs |
| STA-REQ-0252 | docs/specs/sta/exceptions.md | crates/engines/ruststa/src/engine/input/constr/index.rs crates/engines/ruststa/src/engine/input/constr/model.rs crates/engines/ruststa/src/engine/prop/exceptions/apply.rs crates/engines/ruststa/src/engine/prop/exceptions/resolve.rs crates/engines/ruststa/src/engine/prop/exceptions/state.rs crates/verify/ruststa-check/src/rev/canon_sdc.rs |
| STA-REQ-0253 | docs/specs/sta/exceptions.md | crates/engines/ruststa/src/engine/input/constr/index.rs crates/engines/ruststa/src/engine/input/constr/model.rs |
| STA-REQ-0254 | docs/specs/sta/exceptions.md | planned (E13) |
| STA-REQ-0255 | docs/specs/sta/exceptions.md | crates/apps/ruststa-cli/tests/sta_exceptions_cli.rs crates/engines/ruststa/src/engine/input/constr/compile_ext.rs crates/engines/ruststa/src/engine/prop/exceptions/resolve.rs crates/engines/ruststa/src/engine/prop/exceptions/state.rs crates/engines/ruststa/tests/constraints_compile.rs |
| STA-REQ-0256 | docs/specs/sta/exceptions.md | crates/engines/ruststa/src/engine/prop/exceptions/apply.rs crates/engines/ruststa/src/engine/prop/exceptions/resolve.rs |
| STA-REQ-0257 | docs/specs/sta/exceptions.md | crates/engines/ruststa/src/engine/prop/exceptions/resolve.rs crates/engines/ruststa/src/engine/prop/exceptions/state.rs |
| STA-REQ-0258 | docs/specs/sta/exceptions.md | crates/engines/ruststa/src/engine/input/constr/model.rs crates/engines/ruststa/src/engine/prop/exceptions/apply.rs crates/engines/ruststa/src/engine/prop/exceptions/resolve.rs |
| STA-REQ-0259 | docs/specs/sta/exceptions.md | crates/apps/ruststa-cli/tests/sta_exceptions_cli.rs crates/engines/ruststa/src/engine/prop/exceptions/apply.rs crates/engines/ruststa/src/engine/prop/exceptions/resolve.rs |
| STA-REQ-0260 | docs/specs/sta/exceptions.md | crates/apps/ruststa-cli/tests/sta_exceptions_cli.rs crates/engines/ruststa/src/engine/prop/exceptions/resolve.rs |
| STA-REQ-0261 | docs/specs/sta/exceptions.md | crates/apps/ruststa-cli/tests/sta_exceptions_cli.rs crates/engines/ruststa/src/engine/prop/exceptions/resolve.rs |
| STA-REQ-0262 | docs/specs/sta/exceptions.md | crates/apps/ruststa-cli/tests/sta_exceptions_cli.rs crates/engines/ruststa/src/engine/prop/checks.rs crates/engines/ruststa/src/engine/prop/exceptions/check.rs crates/engines/ruststa/src/engine/prop/exceptions/resolve.rs |
| STA-REQ-0263 | docs/specs/sta/exceptions.md | crates/engines/ruststa/src/engine/prop/checks.rs crates/engines/ruststa/src/engine/prop/exceptions/apply.rs crates/engines/ruststa/src/engine/prop/exceptions/check.rs crates/engines/ruststa/src/engine/prop/exceptions/resolve.rs |
| STA-REQ-0264 | docs/specs/sta/exceptions.md | crates/engines/ruststa/src/engine/prop/exceptions/apply.rs crates/engines/ruststa/src/engine/prop/exceptions/check.rs crates/engines/ruststa/src/engine/prop/exceptions/eval.rs crates/engines/ruststa/src/engine/prop/exceptions/resolve.rs crates/engines/ruststa/src/engine/prop/exceptions/state.rs |
| STA-REQ-0265 | docs/specs/sta/exceptions.md | crates/engines/ruststa/src/engine/prop/exceptions/apply.rs crates/engines/ruststa/src/engine/prop/exceptions/resolve.rs crates/engines/ruststa/src/engine/prop/exceptions/state.rs |
| STA-REQ-0266 | docs/specs/sta/exceptions.md | crates/engines/ruststa/src/engine/input/constr/model.rs crates/engines/ruststa/src/engine/prop/exceptions/apply.rs crates/engines/ruststa/src/engine/prop/exceptions/resolve.rs crates/verify/ruststa-check/src/rev/canon_sdc.rs |
| STA-REQ-0267 | docs/specs/sta/exceptions.md | crates/engines/ruststa/src/engine/prop/checks.rs crates/engines/ruststa/src/engine/prop/exceptions/eval.rs crates/engines/ruststa/src/engine/prop/exceptions/state.rs crates/engines/ruststa/src/engine/prop/latch.rs crates/verify/ruststa-check/src/rev/paths.rs |
| STA-REQ-0268 | docs/specs/sta/exceptions.md | crates/engines/ruststa/src/engine/input/constr/index.rs crates/engines/ruststa/src/engine/prop/exceptions/apply.rs crates/engines/ruststa/src/engine/prop/exceptions/check.rs crates/engines/ruststa/src/engine/prop/exceptions/helpers.rs crates/engines/ruststa/tests/constraints_compile.rs |
| STA-REQ-0269 | docs/specs/sta/exceptions.md | crates/engines/ruststa/src/engine/input/constr/model.rs crates/engines/ruststa/src/engine/prop/exceptions/eval.rs crates/engines/ruststa/src/engine/prop/exceptions/mod.rs crates/engines/ruststa/src/engine/prop/exceptions/state.rs |
| STA-REQ-0270 | docs/specs/sta/exceptions.md | crates/engines/ruststa/src/engine/input/constr/model.rs crates/engines/ruststa/src/engine/prop/exceptions/apply.rs crates/engines/ruststa/src/engine/prop/exceptions/check.rs crates/engines/ruststa/src/engine/prop/exceptions/eval.rs crates/engines/ruststa/src/engine/prop/exceptions/mod.rs crates/engines/ruststa/src/engine/prop/exceptions/resolve.rs crates/verify/ruststa-check/tests/exceptions.rs |
| STA-REQ-0271 | docs/specs/sta/exceptions.md | crates/apps/ruststa-cli/tests/sta_exceptions_cli.rs crates/engines/ruststa/src/engine/analysis.rs crates/engines/ruststa/src/engine/prop/checks.rs crates/engines/ruststa/src/engine/prop/exceptions/apply.rs crates/engines/ruststa/src/engine/prop/exceptions/mod.rs crates/engines/ruststa/src/engine/prop/starts.rs crates/engines/ruststa/tests/exceptions.rs |
| STA-REQ-0300 | docs/specs/sta/cli.md | crates/apps/ruststa-cli/tests/cli_contract.rs crates/engines/ruststa/src/engine/incr/cone.rs crates/engines/ruststa/src/lib.rs |
| STA-REQ-0301 | docs/specs/sta/cli.md | crates/apps/ruststa-cli/tests/cli_contract.rs crates/engines/ruststa/src/engine/incr/cone.rs |
| STA-REQ-0302 | docs/specs/sta/cli.md | crates/apps/ruststa-cli/src/run.rs crates/apps/ruststa-cli/src/store_build.rs crates/apps/ruststa-cli/src/ws_io.rs crates/apps/ruststa-cli/tests/cli_contract.rs crates/engines/ruststa/src/analysis.rs crates/engines/ruststa/src/engine/prop/endpoints.rs crates/engines/ruststa/src/engine/store/builder.rs crates/engines/ruststa/src/engine/store/from_analysis.rs crates/engines/ruststa/src/engine/store/from_analysis/capacity.rs crates/engines/ruststa/src/engine/store/layout.rs crates/engines/ruststa/src/engine/store/query.rs crates/engines/ruststa/src/engine/store/reader.rs crates/engines/ruststa/src/engine/store/writer.rs crates/engines/ruststa/src/lib.rs crates/engines/ruststa/src/report.rs crates/engines/ruststa/tests/store.rs |
| STA-REQ-0303 | docs/specs/sta/cli.md | crates/apps/ruststa-cli/tests/cli_contract.rs crates/apps/ruststa-cli/tests/update_whatif.rs |
| STA-REQ-0304 | docs/specs/sta/cli.md | crates/apps/ruststa-cli/src/ws_io.rs crates/apps/ruststa-cli/tests/cli_contract.rs crates/engines/ruststa/src/engine/graph/constants.rs crates/engines/ruststa/src/lib.rs |
| STA-REQ-0305 | docs/specs/sta/cli.md | crates/apps/ruststa-cli/tests/cli_contract.rs crates/engines/ruststa/src/engine/store/query.rs crates/engines/ruststa/tests/store.rs |
| STA-REQ-0306 | docs/specs/sta/cli.md | crates/apps/ruststa-cli/tests/checker_agreement.rs crates/apps/ruststa-cli/tests/cli_contract.rs crates/engines/ruststa/src/lib.rs crates/engines/ruststa/src/report.rs |
| STA-REQ-0307 | docs/specs/sta/cli.md | crates/apps/ruststa-cli/src/check.rs crates/apps/ruststa-cli/tests/cli_contract.rs crates/apps/ruststa-cli/tests/sta_exceptions_cli.rs |
| STA-REQ-0308 | docs/specs/sta/cli.md | crates/apps/ruststa-cli/tests/cli_contract.rs crates/apps/ruststa-cli/tests/sta_exceptions_cli.rs |
| STA-REQ-0310 | docs/specs/sta/cli.md | crates/apps/ruststa-cli/tests/cli_contract.rs crates/engines/ruststa/src/lib.rs crates/engines/ruststa/src/prop.rs crates/engines/ruststa/src/view.rs |
| STA-REQ-0311 | docs/specs/sta/cli.md | crates/apps/ruststa-cli/tests/cli_contract.rs crates/apps/ruststa-cli/tests/sta_view_model.rs |
| STA-REQ-0312 | docs/specs/sta/cli.md | crates/apps/ruststa-cli/tests/cli_contract.rs crates/apps/ruststa-cli/tests/shared_sta_reader.rs crates/apps/ruststa-cli/tests/sta_view_model.rs crates/engines/ruststa/src/analysis.rs crates/engines/ruststa/src/engine/store/builder.rs crates/engines/ruststa/src/engine/store/query.rs crates/engines/ruststa/tests/store.rs |
| STA-REQ-0313 | docs/specs/sta/cli.md | crates/apps/ruststa-cli/tests/cli_contract.rs crates/apps/ruststa-cli/tests/shared_sta_reader.rs crates/apps/ruststa-cli/tests/sta_view_model.rs crates/engines/ruststa/src/analysis.rs crates/engines/ruststa/src/engine/prop/endpoints.rs crates/engines/ruststa/src/engine/store/layout.rs crates/engines/ruststa/src/engine/store/query.rs crates/engines/ruststa/src/view.rs crates/engines/ruststa/tests/store.rs |
| STA-REQ-0314 | docs/specs/sta/cli.md | crates/apps/ruststa-cli/tests/cli_contract.rs crates/apps/ruststa-cli/tests/shared_sta_reader.rs crates/apps/ruststa-cli/tests/sta_view_model.rs crates/engines/ruststa/src/analysis.rs crates/engines/ruststa/src/engine/store/query.rs crates/engines/ruststa/tests/store.rs |
| STA-REQ-0315 | docs/specs/sta/cli.md | crates/apps/ruststa-cli/tests/cli_contract.rs crates/apps/ruststa-cli/tests/shared_sta_reader.rs crates/apps/ruststa-cli/tests/sta_view_model.rs crates/engines/ruststa/src/analysis.rs crates/engines/ruststa/src/engine/store/builder.rs crates/engines/ruststa/src/engine/store/hash.rs crates/engines/ruststa/src/engine/store/query.rs crates/engines/ruststa/src/view.rs crates/engines/ruststa/tests/store.rs |
| STA-REQ-0400 | docs/specs/sta/lowering.md | crates/apps/ruststa-cli/benches/backends.rs crates/engines/ruststa/src/engine/analysis.rs crates/engines/ruststa/src/engine/prop/exceptions/eval.rs crates/engines/ruststa/src/engine/prop/lower.rs crates/engines/ruststa/src/gpu/mod.rs crates/engines/ruststa/src/lib.rs crates/engines/ruststa/src/prop.rs crates/engines/ruststa/tests/backend_equality.rs |
| STA-REQ-0401 | docs/specs/sta/lowering.md | crates/engines/ruststa/src/engine/analysis.rs crates/engines/ruststa/src/engine/prop/latch.rs crates/engines/ruststa/src/engine/prop/lower.rs crates/engines/ruststa/src/engine/prop/lower/start_builder.rs crates/engines/ruststa/src/engine/store/builder.rs crates/engines/ruststa/src/engine/store/layout.rs crates/engines/ruststa/src/graph.rs crates/engines/ruststa/tests/backend_equality.rs crates/engines/ruststa/tests/graph_netlist.rs crates/engines/ruststa/tests/legacy_graph.rs crates/engines/ruststa/tests/store.rs |
| STA-REQ-0402 | docs/specs/sta/lowering.md | crates/engines/ruststa/tests/backend_equality.rs |
| STA-REQ-0403 | docs/specs/sta/lowering.md | crates/apps/ruststa-cli/benches/backends.rs crates/engines/ruststa/tests/backend_equality.rs |
| STA-REQ-0404 | docs/specs/sta/lowering.md | crates/engines/ruststa/src/engine/prop/lower.rs crates/engines/ruststa/src/gpu/mod.rs crates/engines/ruststa/tests/backend_equality.rs |
| STA-REQ-0405 | docs/specs/sta/lowering.md | crates/apps/ruststa-cli/benches/backends.rs crates/engines/ruststa/src/engine/store/builder.rs crates/engines/ruststa/src/engine/store/layout.rs crates/engines/ruststa/src/engine/store/writer.rs crates/engines/ruststa/src/prop.rs crates/engines/ruststa/tests/backend_equality.rs crates/engines/ruststa/tests/store.rs |
| STA-REQ-0406 | docs/specs/sta/lowering.md | crates/engines/ruststa/tests/backend_equality.rs |
| STA-REQ-0407 | docs/specs/sta/lowering.md | crates/engines/ruststa/src/engine/prop/lower.rs crates/engines/ruststa/src/lib.rs crates/engines/ruststa/tests/backend_equality.rs |
| STA-REQ-0408 | docs/specs/sta/lowering.md | crates/apps/ruststa-cli/benches/backends.rs crates/engines/ruststa/src/engine/analysis.rs crates/engines/ruststa/src/engine/prop/lower.rs crates/engines/ruststa/src/gpu/mod.rs crates/engines/ruststa/src/lib.rs crates/engines/ruststa/tests/backend_equality.rs |
| STA-REQ-0450 | docs/specs/sta/incremental.md | crates/engines/ruststa/src/engine/incr/mod.rs crates/engines/ruststa/src/engine/incr/session.rs crates/engines/ruststa/tests/incremental.rs |
| STA-REQ-0451 | docs/specs/sta/incremental.md | crates/engines/ruststa/src/engine/incr/edit.rs crates/engines/ruststa/tests/incremental.rs |
| STA-REQ-0452 | docs/specs/sta/incremental.md | crates/engines/ruststa/src/engine/incr/cone.rs crates/engines/ruststa/src/engine/incr/session.rs crates/engines/ruststa/src/engine/incr/verify.rs crates/engines/ruststa/tests/incremental.rs |
| STA-REQ-0453 | docs/specs/sta/incremental.md | crates/engines/ruststa/src/engine/analysis.rs crates/engines/ruststa/src/engine/incr/cone.rs crates/engines/ruststa/src/engine/incr/edit.rs crates/engines/ruststa/tests/incremental.rs |
| STA-REQ-0454 | docs/specs/sta/incremental.md | crates/engines/ruststa/src/engine/incr/cone.rs crates/engines/ruststa/src/engine/incr/session.rs crates/engines/ruststa/tests/incremental.rs |
| STA-REQ-0455 | docs/specs/sta/incremental.md | crates/engines/ruststa/src/engine/incr/cone.rs crates/engines/ruststa/src/engine/incr/session.rs crates/engines/ruststa/src/engine/incr/verify.rs crates/engines/ruststa/tests/incremental.rs |
| STA-REQ-0456 | docs/specs/sta/incremental.md | crates/engines/ruststa/src/engine/incr/update.rs crates/engines/ruststa/tests/incremental.rs |
| STA-REQ-0457 | docs/specs/sta/incremental.md | crates/engines/ruststa/src/engine/incr/cone.rs crates/engines/ruststa/src/engine/incr/diff.rs crates/engines/ruststa/src/engine/incr/update.rs crates/engines/ruststa/tests/incremental.rs |
| STA-REQ-0458 | docs/specs/sta/incremental.md | crates/engines/ruststa/src/engine/incr/mod.rs crates/engines/ruststa/src/engine/incr/update.rs crates/engines/ruststa/tests/incremental.rs crates/engines/ruststa/tests/support/mutate.rs |
| STA-REQ-0500 | docs/specs/sta/verification.md | crates/apps/ruststa-cli/src/args.rs crates/apps/ruststa-cli/tests/checker_agreement.rs crates/apps/ruststa-cli/tests/cli_contract.rs crates/verify/ruststa-check/src/lib.rs crates/verify/ruststa-check/src/rev/compare.rs crates/verify/ruststa-check/src/rev/mod.rs crates/verify/ruststa-check/src/rev/sdc_query.rs crates/verify/ruststa-check/src/rev/verilog.rs crates/verify/ruststa-check/tests/exceptions.rs crates/verify/ruststa-check/tests/workspace.rs |
| STA-REQ-0501 | docs/specs/sta/verification.md | crates/apps/ruststa-cli/src/args.rs crates/apps/ruststa-cli/tests/checker_agreement.rs crates/apps/ruststa-cli/tests/cli_contract.rs crates/apps/ruststa-cli/tests/sta_known_answer.rs crates/engines/ruststa/tests/invariants.rs crates/engines/ruststa/tests/known_answer.rs crates/engines/ruststa/tests/required_paths.rs crates/verify/ruststa-check/tests/exceptions.rs crates/verify/ruststa-check/tests/known_answer.rs |
| STA-REQ-0502 | docs/specs/sta/verification.md | crates/apps/ruststa-cli/src/args.rs crates/apps/ruststa-cli/tests/cli_contract.rs crates/apps/ruststa-cli/tests/sta_properties.rs crates/engines/ruststa/tests/invariants.rs crates/engines/ruststa/tests/properties.rs crates/verify/ruststa-check/src/rev/checks_eval.rs crates/verify/ruststa-check/src/rev/mod.rs crates/verify/ruststa-check/src/rev/paths.rs |
| STA-REQ-0503 | docs/specs/sta/verification.md | crates/apps/ruststa-cli/src/args.rs crates/apps/ruststa-cli/tests/checker_agreement.rs crates/apps/ruststa-cli/tests/cli_contract.rs crates/apps/ruststa-cli/tests/sta_properties.rs crates/engines/ruststa/tests/invariants.rs crates/engines/ruststa/tests/properties.rs crates/verify/ruststa-check/tests/known_answer.rs |
| STA-REQ-0504 | docs/specs/sta/verification.md | crates/apps/ruststa-cli/src/args.rs crates/apps/ruststa-cli/tests/checker_agreement.rs crates/apps/ruststa-cli/tests/cli_contract.rs crates/apps/ruststa-cli/tests/sta_properties.rs crates/engines/ruststa/tests/invariants.rs crates/engines/ruststa/tests/properties.rs crates/verify/ruststa-check/tests/exceptions.rs crates/verify/ruststa-check/tests/planted.rs |
| STA-REQ-0505 | docs/specs/sta/verification.md | crates/apps/ruststa-cli/tests/cli_contract.rs crates/engines/ruststa/tests/invariants.rs xtask/src/coverage.rs |
| STA-REQ-0506 | docs/specs/sta/verification.md | crates/apps/ruststa-cli/tests/cli_contract.rs crates/apps/ruststa-cli/tests/sta_exceptions_cli.rs crates/verify/ruststa-check/src/rev/exceptions.rs |
| STA-REQ-0510 | docs/specs/sta/verification.md | crates/apps/ruststa-cli/src/args.rs crates/apps/ruststa-cli/tests/cli_contract.rs |
| STA-REQ-0511 | docs/specs/sta/verification.md | crates/apps/ruststa-cli/tests/cli_contract.rs |
| STA-REQ-0512 | docs/specs/sta/verification.md | crates/apps/ruststa-cli/tests/cli_contract.rs crates/verify/ruststa-check/src/lib.rs |
| STA-REQ-0700 | docs/specs/sta/parasitics.md | @common/crates/apps/rusteda-cli/tests/import_spef.rs crates/apps/rusteda-cli/tests/import_spef.rs crates/apps/ruststa-cli/src/ws_io.rs crates/engines/ruststa/src/engine/analysis.rs |
| STA-REQ-0701 | docs/specs/sta/parasitics.md | crates/engines/ruststa/tests/extracted.rs |
| STA-REQ-0702 | docs/specs/sta/parasitics.md | crates/engines/ruststa/src/engine/delay/spef.rs |
| STA-REQ-0703 | docs/specs/sta/legacy.md | crates/engines/ruststa/src/engine/delay/spef.rs crates/engines/ruststa/tests/extracted.rs |
| STA-REQ-0704 | docs/specs/sta/parasitics.md | crates/engines/ruststa/src/engine/delay/spef.rs crates/engines/ruststa/src/engine/delay/spef/tree.rs crates/engines/ruststa/tests/extracted.rs |
| STA-REQ-0705 | docs/specs/sta/parasitics.md | crates/engines/ruststa/src/engine/delay/spef.rs crates/engines/ruststa/tests/extracted.rs |
| STA-REQ-0706 | docs/specs/sta/parasitics.md | crates/apps/ruststa-cli/tests/signoff_latch.rs crates/engines/ruststa/src/engine/delay/spef.rs crates/engines/ruststa/tests/extracted.rs |
| STA-REQ-0707 | docs/specs/sta/parasitics.md | crates/apps/ruststa-cli/src/ws_io.rs |
| STA-REQ-0708 | docs/specs/sta/parasitics.md | crates/engines/ruststa/tests/extracted.rs |
| STA-REQ-0710 | docs/specs/sta/propagated-clock.md | crates/engines/ruststa/src/engine/input/constr/model.rs crates/engines/ruststa/src/engine/prop/clocks/propagated.rs crates/engines/ruststa/tests/extracted.rs |
| STA-REQ-0711 | docs/specs/sta/propagated-clock.md | crates/engines/ruststa/src/engine/prop/clocks/propagated.rs crates/engines/ruststa/tests/extracted.rs |
| STA-REQ-0712 | docs/specs/sta/propagated-clock.md | crates/engines/ruststa/src/engine/prop/clocks/propagated.rs crates/engines/ruststa/tests/extracted.rs |
| STA-REQ-0713 | docs/specs/sta/propagated-clock.md | crates/engines/ruststa/src/engine/prop/clocks/propagated.rs crates/engines/ruststa/tests/extracted.rs |
| STA-REQ-0714 | docs/specs/sta/propagated-clock.md | crates/engines/ruststa/src/engine/prop/clocks/propagated.rs crates/engines/ruststa/tests/held_sequential.rs |
| STA-REQ-0720 | docs/specs/sta/rc-waveforms.md | crates/engines/ruststa/src/engine/delay/spef/tree.rs crates/engines/ruststa/tests/extracted.rs crates/engines/ruststa/tests/limits.rs |
| STA-REQ-0721 | docs/specs/sta/legacy.md | @common/crates/core/rusteda-compute/src/rc.rs |
| STA-REQ-0722 | docs/specs/sta/legacy.md | @common/crates/core/rusteda-compute/src/rc.rs @common/crates/core/rusteda-compute/tests/rc_transient.rs crates/engines/ruststa/src/engine/prop/lower/rc.rs |
| STA-REQ-0723 | docs/specs/sta/rc-waveforms.md | crates/engines/ruststa/src/engine/limits/statics.rs crates/engines/ruststa/src/engine/prop/lower/rc.rs crates/engines/ruststa/tests/extracted.rs |
| STA-REQ-0724 | docs/specs/sta/rc-waveforms.md | @common/crates/core/rusteda-compute/tests/rc_transient.rs |
| STA-REQ-0725 | docs/specs/sta/rc-waveforms.md | crates/engines/ruststa/src/engine/input/libview/thresholds.rs |
| STA-REQ-0726 | docs/specs/sta/legacy.md | @common/crates/core/rusteda-compute/src/rc.rs |
| STA-REQ-0727 | docs/specs/sta/rc-waveforms.md | crates/engines/ruststa/src/engine/delay/driver.rs crates/engines/ruststa/src/engine/delay/gate.rs crates/engines/ruststa/src/engine/prop/lower/rc.rs crates/engines/ruststa/tests/extracted.rs crates/engines/ruststa/tests/rc_driver_spice.rs |
| STA-REQ-0729 | docs/specs/sta/rc-waveforms.md | @common/crates/core/rusteda-compute/src/rc.rs crates/engines/ruststa/src/engine/delay/driver.rs crates/engines/ruststa/src/engine/delay/gate.rs crates/engines/ruststa/src/engine/limits/statics.rs crates/engines/ruststa/src/engine/prop/lower.rs crates/engines/ruststa/src/engine/prop/lower/rc.rs crates/engines/ruststa/src/engine/prop/starts.rs crates/engines/ruststa/tests/rc_driver_spice.rs crates/engines/ruststa/tests/rc_mesh_spice.rs |
| STA-REQ-0730 | docs/specs/sta/parasitics.md | crates/engines/ruststa/src/engine/delay/spef.rs crates/engines/ruststa/src/engine/delay/spef/mesh.rs crates/engines/ruststa/src/engine/delay/spef/tree.rs crates/engines/ruststa/tests/extracted.rs crates/engines/ruststa/tests/rc_mesh_spice.rs |
| STA-REQ-0731 | docs/specs/sta/parasitics.md | crates/engines/ruststa/src/engine/delay/spef.rs crates/engines/ruststa/src/engine/delay/spef/tree.rs crates/engines/ruststa/tests/extracted.rs |
| STA-REQ-0732 | docs/specs/sta/parasitics.md | crates/apps/ruststa-cli/tests/signoff_latch.rs crates/engines/ruststa/src/engine/delay/spef.rs crates/engines/ruststa/tests/extracted.rs |
| STA-REQ-0733 | docs/specs/sta/rc-waveforms.md | @common/crates/core/rusteda-compute/src/rc/charge.rs @common/crates/core/rusteda-compute/tests/rc_transient.rs crates/engines/ruststa/src/engine/prop/lower/rc.rs |
| STA-REQ-0734 | docs/specs/sta/rc-waveforms.md | @common/crates/core/rusteda-compute/src/rc/charge.rs @common/crates/core/rusteda-compute/tests/rc_transient.rs crates/engines/ruststa/src/engine/prop/lower/rc.rs |
| STA-REQ-0800 | docs/specs/sta/limits.md | crates/apps/ruststa-cli/tests/signoff_cli.rs crates/engines/ruststa/src/engine/analysis.rs crates/engines/ruststa/src/engine/input/libview/mod.rs crates/engines/ruststa/src/engine/limits/mod.rs crates/engines/ruststa/src/engine/limits/pulse.rs crates/engines/ruststa/tests/delay_calc.rs crates/engines/ruststa/tests/limits.rs |
| STA-REQ-0801 | docs/specs/sta/limits.md | crates/apps/ruststa-cli/src/args.rs crates/engines/ruststa/src/engine/input/libview/mod.rs crates/engines/ruststa/src/engine/limits/mod.rs crates/engines/ruststa/src/engine/limits/pulse.rs crates/engines/ruststa/tests/limits.rs crates/engines/ruststa/tests/pulse_rules.rs |
| STA-REQ-0802 | docs/specs/sta/limits.md | crates/apps/ruststa-cli/tests/signoff_cli.rs crates/engines/ruststa/src/engine/limits/mod.rs crates/engines/ruststa/src/engine/limits/pulse.rs crates/engines/ruststa/src/engine/limits/status.rs crates/engines/ruststa/tests/limits.rs |
| STA-REQ-0803 | docs/specs/sta/limits.md | crates/engines/ruststa/src/engine/limits/drv.rs crates/engines/ruststa/src/engine/limits/mod.rs crates/engines/ruststa/tests/limits.rs |
| STA-REQ-0804 | docs/specs/sta/limits.md | crates/engines/ruststa/src/engine/limits/drv.rs crates/engines/ruststa/tests/limits.rs |
| STA-REQ-0805 | docs/specs/sta/limits.md | crates/engines/ruststa/src/engine/input/constr/compile.rs crates/engines/ruststa/src/engine/limits/drv.rs crates/engines/ruststa/src/engine/limits/mod.rs crates/engines/ruststa/tests/constraints_compile.rs crates/engines/ruststa/tests/limits.rs |
| STA-REQ-0806 | docs/specs/sta/limits.md | crates/apps/ruststa-cli/src/report.rs crates/apps/ruststa-cli/src/run.rs crates/apps/ruststa-cli/src/update.rs crates/apps/ruststa-cli/src/ws_io.rs crates/apps/ruststa-cli/tests/signoff_cli.rs crates/apps/ruststa-cli/tests/signoff_latch.rs crates/engines/ruststa/src/engine/analysis.rs crates/engines/ruststa/src/engine/incr/verify.rs crates/engines/ruststa/src/engine/limits/mod.rs crates/engines/ruststa/src/engine/limits/table.rs crates/engines/ruststa/src/engine/prop/latch.rs crates/engines/ruststa/tests/drv_constants.rs |
| STA-REQ-0807 | docs/specs/sta/limits.md | crates/apps/ruststa-cli/src/whatif.rs crates/apps/ruststa-cli/src/ws_io.rs crates/apps/ruststa-cli/tests/cli_contract.rs crates/apps/ruststa-cli/tests/signoff_cli.rs crates/engines/ruststa/src/engine/limits/status.rs crates/engines/ruststa/src/engine/limits/table.rs crates/engines/ruststa/src/engine/session_api.rs crates/engines/ruststa/src/engine/store/from_analysis.rs crates/engines/ruststa/src/engine/store/layout.rs crates/engines/ruststa/src/engine/store/writer.rs crates/engines/ruststa/tests/drv_constants.rs crates/engines/ruststa/tests/named_edits.rs |
| STA-REQ-0808 | docs/specs/sta/limits.md | crates/apps/ruststa-cli/src/args.rs crates/apps/ruststa-cli/src/ws_io.rs crates/apps/ruststa-cli/tests/signoff_cli.rs crates/engines/ruststa/src/engine/analysis.rs crates/engines/ruststa/src/engine/limits/drv.rs crates/engines/ruststa/src/engine/limits/mod.rs crates/engines/ruststa/src/engine/limits/table.rs crates/engines/ruststa/src/engine/store/layout.rs crates/engines/ruststa/tests/limits.rs crates/engines/ruststa/tests/pulse_rules.rs |
| STA-REQ-0809 | docs/specs/sta/limits.md | crates/apps/ruststa-cli/src/ws_io.rs crates/apps/ruststa-cli/tests/signoff_cli.rs crates/engines/ruststa/src/engine/analysis.rs crates/engines/ruststa/src/engine/limits/drv.rs crates/engines/ruststa/src/engine/limits/mod.rs crates/engines/ruststa/src/engine/limits/statics.rs crates/engines/ruststa/src/engine/limits/status.rs crates/engines/ruststa/src/engine/limits/table.rs crates/engines/ruststa/src/engine/prop/lower/rc.rs crates/engines/ruststa/src/engine/store/layout.rs crates/engines/ruststa/tests/drv_constants.rs |
| STA-REQ-0810 | docs/specs/sta/limits.md | crates/apps/ruststa-cli/src/args.rs crates/apps/ruststa-cli/src/ws_io.rs crates/engines/ruststa/src/engine/analysis.rs crates/engines/ruststa/src/engine/limits/mod.rs crates/engines/ruststa/tests/limits.rs |
| STA-REQ-0811 | docs/specs/sta/limits.md | crates/apps/ruststa-cli/src/args.rs crates/apps/ruststa-cli/src/report.rs crates/apps/ruststa-cli/src/report_limits.rs crates/apps/ruststa-cli/tests/signoff_cli.rs |
| STA-REQ-0812 | docs/specs/sta/limits.md | crates/apps/ruststa-cli/src/inspect.rs crates/apps/ruststa-cli/src/report.rs crates/apps/ruststa-cli/tests/signoff_cli.rs crates/apps/ruststa-cli/tests/signoff_latch.rs crates/engines/ruststa/src/engine/limits/mod.rs |
| STA-REQ-0813 | docs/specs/sta/limits.md | crates/apps/ruststa-cli/src/ws_io.rs crates/apps/ruststa-cli/tests/signoff_cli.rs crates/engines/ruststa/src/engine/limits/mod.rs crates/engines/ruststa/src/engine/limits/status.rs crates/engines/ruststa/src/engine/store/layout.rs crates/engines/ruststa/src/engine/store/writer.rs crates/engines/ruststa/tests/drv_constants.rs crates/engines/ruststa/tests/limits.rs crates/engines/ruststa/tests/pulse_rules.rs |
| STA-REQ-0814 | docs/specs/sta/limits.md | crates/apps/ruststa-cli/src/path.rs crates/apps/ruststa-cli/tests/signoff_cli.rs crates/engines/ruststa/src/engine/store/query.rs |
| STA-REQ-0815 | docs/specs/sta/limits.md | crates/engines/ruststa/src/engine/limits/mod.rs crates/engines/ruststa/tests/limits.rs |
| STA-REQ-0816 | docs/specs/sta/limits.md | crates/apps/ruststa-cli/src/args.rs crates/apps/ruststa-cli/src/ws_io.rs crates/apps/ruststa-cli/tests/signoff_latch.rs crates/engines/ruststa/src/engine/analysis.rs crates/engines/ruststa/src/engine/limits/mod.rs crates/engines/ruststa/src/engine/limits/pulse.rs crates/engines/ruststa/src/engine/limits/table.rs crates/engines/ruststa/src/engine/store/layout.rs crates/engines/ruststa/tests/pulse_rules.rs |
| STA-REQ-0817 | docs/specs/sta/limits.md | crates/apps/ruststa-cli/src/args.rs crates/apps/ruststa-cli/src/ws_io.rs crates/apps/ruststa-cli/tests/signoff_latch.rs crates/engines/ruststa/src/engine/analysis.rs crates/engines/ruststa/src/engine/limits/mod.rs crates/engines/ruststa/src/engine/limits/pulse.rs crates/engines/ruststa/src/engine/limits/status.rs crates/engines/ruststa/src/engine/limits/table.rs crates/engines/ruststa/src/engine/store/layout.rs crates/engines/ruststa/tests/pulse_rules.rs |
| STA-REQ-0818 | docs/specs/sta/legacy.md | crates/engines/ruststa/tests/held_sequential.rs |
| STA-REQ-0819 | docs/specs/sta/limits.md | crates/apps/ruststa-cli/src/ws_io.rs crates/apps/ruststa-cli/tests/signoff_cli.rs crates/engines/ruststa/src/engine/limits/drv.rs crates/engines/ruststa/src/engine/limits/mod.rs crates/engines/ruststa/src/engine/limits/table.rs crates/engines/ruststa/src/engine/store/layout.rs crates/engines/ruststa/tests/drv_constants.rs |
| STA-REQ-0820 | docs/specs/sta/limits.md | crates/apps/ruststa-cli/src/ws_io.rs crates/apps/ruststa-cli/tests/signoff_cli.rs crates/engines/ruststa/src/engine/analysis.rs crates/engines/ruststa/tests/limits.rs |
| STA-REQ-0821 | docs/specs/sta/limits.md | crates/apps/ruststa-cli/src/args.rs crates/apps/ruststa-cli/src/ws_io.rs crates/apps/ruststa-cli/tests/signoff_cli.rs |
| STA-REQ-0822 | docs/specs/sta/limits.md | crates/apps/ruststa-cli/src/ws_io.rs crates/apps/ruststa-cli/tests/signoff_cli.rs crates/engines/ruststa/src/engine/graph/build.rs crates/engines/ruststa/src/engine/graph/constants.rs crates/engines/ruststa/src/engine/graph/constants/sequential.rs crates/engines/ruststa/src/engine/limits/drv.rs crates/engines/ruststa/src/engine/limits/mod.rs crates/engines/ruststa/src/engine/limits/status.rs crates/engines/ruststa/src/engine/limits/table.rs crates/engines/ruststa/src/engine/prop/clocks/ideal.rs crates/engines/ruststa/src/engine/prop/starts.rs crates/engines/ruststa/src/engine/store/layout.rs crates/engines/ruststa/tests/held_sequential.rs crates/engines/ruststa/tests/limits.rs |
| STA-REQ-0830 | docs/specs/sta/limits.md | crates/apps/ruststa-cli/src/args.rs crates/apps/ruststa-cli/src/holdfix.rs crates/apps/ruststa-cli/tests/signoff_cli.rs |
| STA-REQ-0831 | docs/specs/sta/limits.md | crates/apps/ruststa-cli/src/holdfix.rs crates/apps/ruststa-cli/tests/signoff_cli.rs |
| STA-REQ-0832 | docs/specs/sta/limits.md | crates/apps/ruststa-cli/src/holdfix.rs crates/apps/ruststa-cli/tests/signoff_cli.rs |
| VERILOG-REQ-0001 | docs/specs/verilog/verilog.md | @common/crates/formats/rusteda-formats/src/verilog/lex.rs @common/crates/formats/rusteda-formats/src/verilog/number.rs @common/crates/formats/rusteda-formats/src/verilog/token.rs |
| VERILOG-REQ-0002 | docs/specs/verilog/verilog.md | @common/crates/formats/rusteda-formats/src/verilog/lex.rs @common/crates/formats/rusteda-formats/src/verilog/netlist.rs @common/crates/formats/rusteda-formats/src/verilog/span.rs @common/crates/formats/rusteda-formats/tests/verilog_parse_design.rs |
| VERILOG-REQ-0100 | docs/specs/verilog/verilog.md | @common/crates/formats/rusteda-formats/src/verilog/ast.rs @common/crates/formats/rusteda-formats/src/verilog/ast/stmt.rs @common/crates/formats/rusteda-formats/src/verilog/parse/mod.rs @common/crates/formats/rusteda-formats/tests/verilog_parse_design.rs |
| VERILOG-REQ-0101 | docs/specs/verilog/verilog.md | @common/crates/formats/rusteda-formats/src/verilog/parse/mod.rs |
| VERILOG-REQ-0102 | docs/specs/verilog/verilog.md | @common/crates/formats/rusteda-formats/src/verilog/lex.rs @common/crates/formats/rusteda-formats/src/verilog/parse/stmt.rs @common/crates/formats/rusteda-formats/src/verilog/token.rs |
| VERILOG-REQ-0103 | docs/specs/verilog/verilog.md | @common/crates/formats/rusteda-formats/src/verilog/ast.rs @common/crates/formats/rusteda-formats/tests/verilog_parse_design.rs |
| VERILOG-REQ-0104 | docs/specs/verilog/verilog.md | @common/crates/formats/rusteda-formats/src/verilog/ast.rs |
| VERILOG-REQ-0105 | docs/specs/verilog/verilog.md | @common/crates/formats/rusteda-formats/src/verilog/mod.rs |
| VERILOG-REQ-0200 | docs/specs/verilog/verilog.md | @common/crates/formats/rusteda-formats/src/verilog/pp.rs |
| VERILOG-REQ-0201 | docs/specs/verilog/verilog.md | @common/crates/formats/rusteda-formats/src/verilog/pp.rs |
| VERILOG-REQ-0202 | docs/specs/verilog/verilog.md | @common/crates/formats/rusteda-formats/src/verilog/pp.rs |
| VERILOG-REQ-0203 | docs/specs/verilog/verilog.md | @common/crates/formats/rusteda-formats/src/verilog/pp.rs |
| VERILOG-REQ-0204 | docs/specs/verilog/verilog.md | @common/crates/formats/rusteda-formats/src/verilog/pp.rs |
| VERILOG-REQ-0205 | docs/specs/verilog/verilog.md | @common/crates/formats/rusteda-formats/src/verilog/pp.rs |
| VERILOG-REQ-0206 | docs/specs/verilog/verilog.md | @common/crates/formats/rusteda-formats/src/verilog/mod.rs @common/crates/formats/rusteda-formats/src/verilog/pp.rs |
| VERILOG-REQ-0300 | docs/specs/verilog/verilog.md | @common/crates/formats/rusteda-formats/src/verilog/netlist.rs @common/crates/formats/rusteda-formats/src/verilog/netlist/tests.rs @common/crates/formats/rusteda-formats/src/verilog/write.rs |
| VERILOG-REQ-0301 | docs/specs/verilog/verilog.md | @common/crates/formats/rusteda-formats/src/verilog/netlist.rs @common/crates/formats/rusteda-formats/src/verilog/netlist/freeze_writer.rs @common/crates/formats/rusteda-formats/src/verilog/netlist/tests.rs @common/crates/formats/rusteda-formats/src/verilog/write.rs |
| VERILOG-REQ-0302 | docs/specs/verilog/verilog.md | @common/crates/formats/rusteda-formats/src/verilog/write.rs |
| VERILOG-REQ-0310 | docs/specs/verilog/netlist.md | @common/crates/formats/rusteda-formats/src/verilog/netlist.rs |
| VERILOG-REQ-0311 | docs/specs/verilog/netlist.md | @common/crates/formats/rusteda-formats/src/verilog/netlist.rs |
| VERILOG-REQ-0312 | docs/specs/verilog/netlist.md | @common/crates/formats/rusteda-formats/src/verilog/netlist.rs |
| VERILOG-REQ-0313 | docs/specs/verilog/netlist.md | @common/crates/formats/rusteda-formats/src/verilog/netlist.rs |
| VERILOG-REQ-0314 | docs/specs/verilog/netlist.md | @common/crates/formats/rusteda-formats/src/verilog/netlist.rs |
| VERILOG-REQ-0315 | docs/specs/verilog/netlist.md | @common/crates/formats/rusteda-formats/src/verilog/netlist.rs @common/crates/formats/rusteda-formats/src/verilog/netlist/freeze_writer.rs |
| VERILOG-REQ-0316 | docs/specs/verilog/netlist.md | @common/crates/formats/rusteda-formats/src/verilog/netlist.rs |
| VERILOG-REQ-0317 | docs/specs/verilog/netlist.md | @common/crates/formats/rusteda-formats/src/verilog/netlist.rs @common/crates/formats/rusteda-formats/src/verilog/netlist/freeze_writer.rs |
| VERILOG-REQ-0318 | docs/specs/verilog/netlist.md | @common/crates/formats/rusteda-formats/src/verilog/netlist.rs |
| VERILOG-REQ-0319 | docs/specs/verilog/netlist.md | @common/crates/formats/rusteda-formats/src/verilog/netlist.rs @common/crates/formats/rusteda-formats/src/verilog/netlist/freeze_writer.rs |
| WS-REQ-0001 | docs/specs/workspace/README.md | @common/crates/apps/rusteda-cli/src/init.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0002 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0003 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0004 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/schema.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0005 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/schema.rs |
| WS-REQ-0010 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/hash.rs @common/crates/formats/rusteda-formats/src/sdc/constr.rs |
| WS-REQ-0011 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/hash.rs @common/crates/core/rusteda-workspace/src/txn.rs crates/engines/ruststa/tests/store.rs |
| WS-REQ-0012 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/error.rs @common/crates/core/rusteda-workspace/src/hash.rs @common/crates/core/rusteda-workspace/src/txn.rs @common/crates/core/rusteda-workspace/src/workspace.rs |
| WS-REQ-0013 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/hash.rs @common/crates/core/rusteda-workspace/src/schema.rs @common/crates/core/rusteda-workspace/src/txn.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0014 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/schema.rs @common/crates/core/rusteda-workspace/src/txn.rs @common/crates/core/rusteda-workspace/src/workspace_io.rs @common/crates/core/rusteda-workspace/tests/workspace_ops.rs |
| WS-REQ-0020 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/rev.rs |
| WS-REQ-0021 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/rev.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0022 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/edits.rs @common/crates/core/rusteda-workspace/src/rev.rs |
| WS-REQ-0023 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/mmap.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0024 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/mmap.rs @common/crates/core/rusteda-workspace/src/txn.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/failures.rs |
| WS-REQ-0025 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/cache.rs @common/crates/core/rusteda-workspace/src/error.rs @common/crates/core/rusteda-workspace/src/fsutil.rs @common/crates/core/rusteda-workspace/src/mmap.rs @common/crates/core/rusteda-workspace/src/rbin.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/cache.rs @common/crates/core/rusteda-workspace/tests/failures.rs @common/crates/core/rusteda-workspace/tests/rbin.rs |
| WS-REQ-0026 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/failures.rs @common/crates/core/rusteda-workspace/tests/workspace_ops.rs |
| WS-REQ-0030 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/rbin.rs @common/crates/core/rusteda-workspace/src/rbin_tests.rs @common/crates/core/rusteda-workspace/tests/rbin.rs crates/engines/ruststa/src/engine/store/builder.rs crates/engines/ruststa/src/engine/store/hash.rs crates/engines/ruststa/src/engine/store/layout.rs crates/engines/ruststa/src/engine/store/reader.rs crates/engines/ruststa/src/engine/store/writer.rs crates/engines/ruststa/tests/store.rs |
| WS-REQ-0031 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/rbin.rs @common/crates/core/rusteda-workspace/src/rbin_tests.rs @common/crates/core/rusteda-workspace/tests/rbin.rs crates/engines/ruststa/tests/store.rs |
| WS-REQ-0032 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/cache.rs @common/crates/core/rusteda-workspace/src/rbin.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/rbin.rs |
| WS-REQ-0033 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/rbin.rs @common/crates/core/rusteda-workspace/src/rbin_tests.rs @common/crates/core/rusteda-workspace/tests/rbin.rs |
| WS-REQ-0034 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/rbin.rs @common/crates/core/rusteda-workspace/src/sta/read.rs @common/crates/core/rusteda-workspace/tests/rbin.rs crates/engines/ruststa/tests/store.rs |
| WS-REQ-0035 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/lib.rs @common/crates/core/rusteda-workspace/tests/rbin.rs @common/crates/core/rusteda-workspace/tests/source_rules.rs crates/engines/ruststa/src/engine/store/reader.rs crates/engines/ruststa/tests/store.rs |
| WS-REQ-0036 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/fsutil.rs @common/crates/core/rusteda-workspace/src/mmap.rs @common/crates/core/rusteda-workspace/src/rbin.rs @common/crates/core/rusteda-workspace/tests/rbin.rs crates/engines/ruststa/src/engine/store/reader.rs crates/engines/ruststa/tests/store.rs |
| WS-REQ-0037 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/cache.rs @common/crates/core/rusteda-workspace/src/lib.rs @common/crates/core/rusteda-workspace/src/mmap.rs @common/crates/core/rusteda-workspace/src/rbin.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/rbin.rs @common/crates/core/rusteda-workspace/tests/source_rules.rs crates/engines/ruststa/src/engine/store/hash.rs crates/engines/ruststa/src/engine/store/query.rs crates/engines/ruststa/src/engine/store/reader.rs |
| WS-REQ-0038 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/error.rs @common/crates/core/rusteda-workspace/src/netlist.rs @common/crates/core/rusteda-workspace/src/rbin.rs @common/crates/core/rusteda-workspace/src/rbin_tests.rs @common/crates/core/rusteda-workspace/src/sta.rs @common/crates/core/rusteda-workspace/src/sta/build.rs @common/crates/core/rusteda-workspace/src/sta/read.rs @common/crates/core/rusteda-workspace/src/txn.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/rbin.rs crates/engines/ruststa/src/engine/store/builder.rs crates/engines/ruststa/src/engine/store/layout.rs crates/engines/ruststa/src/engine/store/reader.rs crates/engines/ruststa/src/engine/store/writer.rs crates/engines/ruststa/tests/store.rs |
| WS-REQ-0039 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/cache.rs @common/crates/core/rusteda-workspace/src/error.rs @common/crates/core/rusteda-workspace/src/rbin.rs @common/crates/core/rusteda-workspace/src/rbin_tests.rs @common/crates/core/rusteda-workspace/tests/rbin.rs |
| WS-REQ-0040 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/schema.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0041 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/schema.rs |
| WS-REQ-0042 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/schema.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/src/workspace_io.rs @common/crates/core/rusteda-workspace/tests/workspace_ops.rs |
| WS-REQ-0043 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/schema.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/workspace_ops.rs |
| WS-REQ-0044 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/schema.rs @common/crates/core/rusteda-workspace/src/txn.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/workspace_ops.rs |
| WS-REQ-0045 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/schema.rs @common/crates/core/rusteda-workspace/src/txn.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/workspace.rs @common/crates/core/rusteda-workspace/tests/workspace_ops.rs crates/engines/ruststa/src/engine/store/writer.rs crates/engines/ruststa/tests/store.rs |
| WS-REQ-0046 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/txn.rs @common/crates/core/rusteda-workspace/tests/workspace_ops.rs |
| WS-REQ-0047 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/schema.rs @common/crates/core/rusteda-workspace/src/txn.rs |
| WS-REQ-0050 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/lock.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0051 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/lib.rs @common/crates/core/rusteda-workspace/src/lock.rs |
| WS-REQ-0052 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/workspace_ops.rs |
| WS-REQ-0053 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/src/workspace_io.rs @common/crates/core/rusteda-workspace/tests/workspace_ops.rs |
| WS-REQ-0060 | docs/specs/workspace/README.md | @common/crates/apps/rusteda-cli/src/import.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0061 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0062 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/txn.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0063 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/txn.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0064 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/txn.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/src/workspace_io.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0065 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/fsutil.rs @common/crates/core/rusteda-workspace/src/txn.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0066 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/fsutil.rs @common/crates/core/rusteda-workspace/src/mmap.rs @common/crates/core/rusteda-workspace/src/txn.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/src/workspace_io.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0067 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/mmap.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0068 | docs/specs/workspace/README.md | @common/crates/apps/rusteda-cli/src/revert.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0069 | docs/specs/workspace/README.md | @common/crates/apps/rusteda-cli/src/import.rs @common/crates/apps/rusteda-cli/src/init.rs @common/crates/apps/rusteda-cli/src/revert.rs @common/crates/core/rusteda-workspace/src/txn.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/failures.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0070 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/txn.rs @common/crates/core/rusteda-workspace/src/workspace_io.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0071 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/txn.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0072 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/txn.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0073 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/txn.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/cache.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0074 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/txn.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0075 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/txn.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0076 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/error.rs @common/crates/core/rusteda-workspace/src/fsutil.rs @common/crates/core/rusteda-workspace/src/txn.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/src/workspace_io.rs @common/crates/core/rusteda-workspace/tests/failures.rs |
| WS-REQ-0077 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/fsutil.rs @common/crates/core/rusteda-workspace/src/mmap.rs @common/crates/core/rusteda-workspace/src/txn.rs @common/crates/core/rusteda-workspace/tests/workspace_ops.rs |
| WS-REQ-0078 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/rbin.rs @common/crates/core/rusteda-workspace/src/rbin_tests.rs @common/crates/core/rusteda-workspace/src/txn.rs @common/crates/core/rusteda-workspace/tests/rbin.rs |
| WS-REQ-0079 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/fsutil.rs @common/crates/core/rusteda-workspace/src/txn.rs @common/crates/core/rusteda-workspace/tests/failures.rs |
| WS-REQ-0080 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/cache.rs @common/crates/core/rusteda-workspace/src/mmap.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/cache.rs |
| WS-REQ-0081 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/cache.rs @common/crates/core/rusteda-workspace/tests/cache.rs |
| WS-REQ-0082 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/cache.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/cache.rs |
| WS-REQ-0083 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/cache.rs @common/crates/core/rusteda-workspace/tests/cache.rs |
| WS-REQ-0084 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/cache.rs @common/crates/core/rusteda-workspace/src/rlib.rs @common/crates/core/rusteda-workspace/tests/cache.rs |
| WS-REQ-0090 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/envelope.rs @common/crates/core/rusteda-workspace/src/envelope_tests.rs |
| WS-REQ-0091 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/envelope.rs @common/crates/core/rusteda-workspace/src/envelope_tests.rs @common/crates/core/rusteda-workspace/src/json.rs |
| WS-REQ-0092 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/envelope.rs @common/crates/core/rusteda-workspace/src/envelope_tests.rs @common/crates/core/rusteda-workspace/src/json.rs |
| WS-REQ-0093 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/error.rs |
| WS-REQ-0094 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/envelope.rs @common/crates/core/rusteda-workspace/src/envelope_tests.rs |
| WS-REQ-0095 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/text.rs |
| WS-REQ-0096 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/envelope.rs @common/crates/core/rusteda-workspace/src/text.rs crates/apps/ruststa-cli/tests/cli_contract.rs |
| WS-REQ-0097 | docs/specs/workspace/README.md | @common/crates/apps/rusteda-cli/src/lib.rs @common/crates/core/rusteda-workspace/src/error.rs @common/crates/core/rusteda-workspace/src/text.rs crates/apps/ruststa-cli/src/lib.rs |
| WS-REQ-0100 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/rbin_tests.rs @common/crates/core/rusteda-workspace/tests/workspace_ops.rs |
| WS-REQ-0110 | docs/specs/workspace/rlib.md | @common/crates/core/rusteda-workspace/src/rlib.rs @common/crates/core/rusteda-workspace/tests/rlib.rs |
| WS-REQ-0111 | docs/specs/workspace/rlib.md | @common/crates/core/rusteda-workspace/src/rlib.rs @common/crates/core/rusteda-workspace/src/rlib/decode.rs @common/crates/core/rusteda-workspace/tests/rlib.rs |
| WS-REQ-0112 | docs/specs/workspace/rlib.md | @common/crates/core/rusteda-workspace/src/rlib.rs @common/crates/core/rusteda-workspace/tests/rlib.rs |
| WS-REQ-0113 | docs/specs/workspace/rlib.md | @common/crates/apps/rusteda-cli/tests/cli_contract.rs @common/crates/core/rusteda-workspace/src/rlib.rs @common/crates/core/rusteda-workspace/tests/rlib.rs crates/apps/rusteda-cli/tests/cli_contract.rs |
| WS-REQ-0114 | docs/specs/workspace/rlib.md | @common/crates/core/rusteda-workspace/src/rlib.rs @common/crates/core/rusteda-workspace/src/rlib/decode.rs @common/crates/core/rusteda-workspace/tests/rlib.rs |
| WS-REQ-0115 | docs/specs/workspace/rlib.md | @common/crates/apps/rusteda-cli/tests/cli_contract.rs @common/crates/core/rusteda-workspace/src/rlib.rs @common/crates/core/rusteda-workspace/tests/rlib.rs crates/apps/rusteda-cli/tests/cli_contract.rs |
| WS-REQ-0116 | docs/specs/workspace/rlib.md | @common/crates/apps/rusteda-cli/tests/cli_contract.rs @common/crates/core/rusteda-workspace/src/rlib.rs @common/crates/core/rusteda-workspace/tests/rlib.rs crates/apps/rusteda-cli/tests/cli_contract.rs |
| WS-REQ-0117 | docs/specs/workspace/rlib.md | @common/crates/core/rusteda-workspace/src/rlib.rs @common/crates/core/rusteda-workspace/tests/rlib.rs |
| WS-REQ-0120 | docs/specs/workspace/netlist.md | @common/crates/core/rusteda-workspace/src/netlist.rs @common/crates/core/rusteda-workspace/tests/netlist.rs |
| WS-REQ-0121 | docs/specs/workspace/netlist.md | @common/crates/core/rusteda-workspace/src/netlist.rs @common/crates/core/rusteda-workspace/tests/netlist.rs |
| WS-REQ-0122 | docs/specs/workspace/netlist.md | @common/crates/core/rusteda-workspace/src/netlist.rs @common/crates/core/rusteda-workspace/tests/netlist.rs |
| WS-REQ-0123 | docs/specs/workspace/netlist.md | @common/crates/core/rusteda-workspace/src/netlist.rs @common/crates/core/rusteda-workspace/tests/netlist.rs |
| WS-REQ-0124 | docs/specs/workspace/netlist.md | @common/crates/core/rusteda-workspace/src/netlist.rs @common/crates/core/rusteda-workspace/tests/netlist.rs |
| WS-REQ-0125 | docs/specs/workspace/netlist.md | @common/crates/core/rusteda-workspace/src/netlist.rs @common/crates/core/rusteda-workspace/tests/netlist.rs |
| WS-REQ-0126 | docs/specs/workspace/sta.md | @common/crates/core/rusteda-workspace/src/sta.rs @common/crates/core/rusteda-workspace/src/sta/build.rs @common/crates/core/rusteda-workspace/src/sta/layout.rs @common/crates/core/rusteda-workspace/src/sta/read.rs @common/crates/core/rusteda-workspace/src/sta/tests.rs @common/crates/core/rusteda-workspace/tests/sta.rs crates/apps/ruststa-cli/tests/shared_sta_reader.rs |
| WS-REQ-0127 | docs/specs/workspace/sta.md | @common/crates/core/rusteda-workspace/src/sta.rs @common/crates/core/rusteda-workspace/src/sta/layout.rs @common/crates/core/rusteda-workspace/src/sta/read.rs @common/crates/core/rusteda-workspace/src/sta/tests.rs crates/apps/ruststa-cli/tests/shared_sta_reader.rs |
| WS-REQ-0128 | docs/specs/workspace/sta.md | @common/crates/core/rusteda-workspace/src/sta.rs @common/crates/core/rusteda-workspace/src/sta/read.rs @common/crates/core/rusteda-workspace/src/sta/tests.rs crates/apps/ruststa-cli/tests/shared_sta_reader.rs |
| WS-REQ-0129 | docs/specs/workspace/sta.md | @common/crates/core/rusteda-workspace/src/sta.rs @common/crates/core/rusteda-workspace/src/sta/read.rs @common/crates/core/rusteda-workspace/src/sta/tests.rs crates/apps/ruststa-cli/tests/shared_sta_reader.rs |
| WS-REQ-0130 | docs/specs/workspace/sta.md | @common/crates/core/rusteda-workspace/src/sta.rs @common/crates/core/rusteda-workspace/src/sta/build.rs @common/crates/core/rusteda-workspace/src/sta/layout.rs @common/crates/core/rusteda-workspace/src/sta/read.rs @common/crates/core/rusteda-workspace/src/sta/tests.rs crates/apps/ruststa-cli/tests/shared_sta_reader.rs |
| WS-REQ-0131 | docs/specs/workspace/sta.md | @common/crates/core/rusteda-workspace/src/sta.rs @common/crates/core/rusteda-workspace/src/sta/build.rs @common/crates/core/rusteda-workspace/src/sta/read.rs @common/crates/core/rusteda-workspace/src/sta/tests.rs crates/apps/ruststa-cli/tests/shared_sta_reader.rs |
| WS-REQ-0132 | docs/specs/workspace/sta.md | @common/crates/core/rusteda-workspace/src/sta.rs @common/crates/core/rusteda-workspace/src/sta/build.rs @common/crates/core/rusteda-workspace/src/sta/read.rs @common/crates/core/rusteda-workspace/src/sta/tests.rs crates/apps/ruststa-cli/tests/shared_sta_reader.rs |
| WS-REQ-0133 | docs/specs/workspace/sta.md | @common/crates/core/rusteda-workspace/src/sta.rs @common/crates/core/rusteda-workspace/src/sta/read.rs @common/crates/core/rusteda-workspace/src/sta/tests.rs crates/apps/ruststa-cli/tests/shared_sta_reader.rs |
| WS-REQ-0134 | docs/specs/workspace/sta.md | @common/crates/core/rusteda-workspace/src/sta.rs @common/crates/core/rusteda-workspace/src/sta/build.rs @common/crates/core/rusteda-workspace/src/sta/read.rs @common/crates/core/rusteda-workspace/src/sta/tests.rs crates/apps/ruststa-cli/tests/shared_sta_reader.rs |
| WS-REQ-0135 | docs/specs/workspace/sta.md | @common/crates/core/rusteda-workspace/src/sta.rs @common/crates/core/rusteda-workspace/src/sta/build.rs @common/crates/core/rusteda-workspace/src/sta/layout.rs @common/crates/core/rusteda-workspace/src/sta/tests.rs @common/crates/core/rusteda-workspace/tests/sta.rs |
| WS-REQ-0136 | docs/specs/workspace/sta.md | @common/crates/core/rusteda-workspace/src/sta.rs @common/crates/core/rusteda-workspace/src/sta/tests.rs |
| WS-REQ-0137 | docs/specs/workspace/sta.md | @common/crates/core/rusteda-workspace/src/sta/build.rs |
| WS-REQ-0190 | docs/specs/workspace/README.md | @common/crates/apps/rusteda-cli/tests/import_logic.rs @common/crates/core/rusteda-workspace/src/envelope.rs @common/crates/core/rusteda-workspace/src/envelope_tests.rs crates/apps/rusteda-cli/tests/import_logic.rs |
| Prefix | Requirements | Without a citing test or source |
|---|---|---|
| AIGER | 14 | 0 |
| BLIF | 23 | 0 |
| CLI | 18 | 0 |
| COMPUTE | 32 | 0 |
| CORE | 26 | 0 |
| JOB | 7 | 0 |
| LIBERTY | 49 | 0 |
| PROTO | 23 | 0 |
| RCLI | 30 | 0 |
| SDC | 57 | 0 |
| STA | 190 | 0 |
| VERILOG | 28 | 0 |
| WS | 100 | 0 |
597 requirements, 0 without a citing test or source.