Issues

[vhdl] Physical literal follow-ups: dedicated AST node and `real * time`

Stateford/aion#78 · opened

on Nov 4, 2026

[elaborate/vhdl] Signal assignment `after` delays are ignored

Stateford/aion#77 · opened

on Nov 4, 2026

[sim] Assertion failures print the `ASSERTION FAILED:` prefix twice

Stateford/aion#76 · opened

on Nov 4, 2026

1

[elaborate/vhdl] `assert ... report "msg"` drops the report message

Stateford/aion#75 · opened

on Nov 4, 2026

[elaborate/vhdl] `assert false` fails with E204 unknown signal `false`

Stateford/aion#71 · opened

on Nov 3, 2026

[elaborate/vhdl] Support the predefined `time` type and physical literals (e.g. `20 ns`)

Stateford/aion#70 · opened

on Nov 3, 2026

[lint] Tighten conformance and unit tests

Stateford/aion#46 · opened

on Nov 1, 2026

1

[lint] Spec gaps: E101/E103 via lint, arch-aware rules, SuggestedFix

Stateford/aion#45 · opened

on Nov 1, 2026

1

[lint] Implement C204 as specified (blocking vs nonblocking)

Stateford/aion#44 · opened

on Nov 1, 2026

1

[lint] Lint config semantics: codes, warn list, validation

Stateford/aion#43 · opened

on Nov 1, 2026

[lint] Fix elaborator issues that cause lint false positives

Stateford/aion#42 · opened

on Nov 1, 2026

[lint] Per-signal, per-bit dataflow analyses for W106/E104/W105

Stateford/aion#41 · opened

on Nov 1, 2026

1

[lint] Real expression typing so W103/W107 can work on signals

Stateford/aion#40 · opened

on Nov 1, 2026

1

[lint] Pass names/interner to lint rules (lint context struct)

Stateford/aion#39 · opened

on Nov 1, 2026

[verilog/sv-parser] Test gaps

Stateford/aion#37 · opened

on Nov 1, 2026

1

[verilog/sv-parser] SV coverage gaps: assertions, connections, procedural constructs

Stateford/aion#36 · opened

on Nov 1, 2026

[verilog/sv-parser] Verilog-2005 coverage gaps

Stateford/aion#35 · opened

on Nov 1, 2026

[verilog/sv-parser] Error-recovery overhaul

Stateford/aion#33 · opened

on Nov 1, 2026

[verilog/sv-parser] Deduplicate the Verilog and SV parsers

Stateford/aion#32 · opened

on Nov 1, 2026

[verilog/sv-parser] Missing SV expression features

Stateford/aion#30 · opened

on Nov 1, 2026

[verilog/sv-parser] Unified data-type parsing for SV

Stateford/aion#29 · opened

on Nov 1, 2026

[verilog/sv-parser] Rework generate parsing (both crates)

Stateford/aion#28 · opened

on Nov 1, 2026

[vhdl-parser] Test gaps: error-recovery and LRM-conformance tests

Stateford/aion#26 · opened

on Nov 1, 2026

1

[vhdl-parser] Recursion depth limit and recovery quality

Stateford/aion#25 · opened

on Nov 1, 2026

[vhdl-parser] Statement-level gaps

Stateford/aion#24 · opened

on Nov 1, 2026

Navigation Menu

Repository navigation

Issues

[vhdl] Physical literal follow-ups: dedicated AST node and `real * time`

[elaborate/vhdl] Signal assignment `after` delays are ignored

[sim] Assertion failures print the `ASSERTION FAILED:` prefix twice

[elaborate/vhdl] `assert ... report "msg"` drops the report message

[elaborate/vhdl] `assert false` fails with E204 unknown signal `false`

[elaborate/vhdl] Support the predefined `time` type and physical literals (e.g. `20 ns`)

[lint] Tighten conformance and unit tests

[lint] Spec gaps: E101/E103 via lint, arch-aware rules, SuggestedFix

[lint] Implement C204 as specified (blocking vs nonblocking)

[lint] Lint config semantics: codes, warn list, validation

[lint] Fix elaborator issues that cause lint false positives

[lint] Per-signal, per-bit dataflow analyses for W106/E104/W105

[lint] Real expression typing so W103/W107 can work on signals

[lint] Pass names/interner to lint rules (lint context struct)

[verilog/sv-parser] Test gaps

[verilog/sv-parser] SV coverage gaps: assertions, connections, procedural constructs

[verilog/sv-parser] Verilog-2005 coverage gaps

[verilog/sv-parser] Error-recovery overhaul

[verilog/sv-parser] Deduplicate the Verilog and SV parsers

[verilog/sv-parser] Missing SV expression features

[verilog/sv-parser] Unified data-type parsing for SV

[verilog/sv-parser] Rework generate parsing (both crates)

[vhdl-parser] Test gaps: error-recovery and LRM-conformance tests

[vhdl-parser] Recursion depth limit and recovery quality

[vhdl-parser] Statement-level gaps