Issues

• feat(sv): resolve packages as scopes instead of inlining them

  celox-sim/celox#1146 · Filter by author tignear opened on Oct 9, 2026
  1

• feat(sir): compile timing-controlled processes into resumable state-machine kernels

  celox-sim/celox#1123 · Filter by author tignear opened on Oct 8, 2026

• fix(sv-analyzer): remaining interface flattening edge cases from #1108 review

  celox-sim/celox#1120 · Filter by author tignear opened on Oct 8, 2026

• Veryl frontend: generic interface ports fail with an internal error

  celox-sim/celox#1088 · Filter by author tignear opened on Oct 7, 2026

• fix(runtime): try_event and drain_runtime_events panic instead of returning errors

  celox-sim/celox#1064 · Filter by author tignear opened on Oct 6, 2026

• fix(sv): system function edge cases (readmem diagnostics, $signed in parameters, array queries, $stop)

  celox-sim/celox#1063 · Filter by author tignear opened on Oct 6, 2026

• Research: delay-aware simulation and CDC uncertainty injection

  celox-sim/celox#1030 · Filter by author tignear opened on Oct 4, 2026

• feat(vpi): checkpoints and state files for native-image handles

  celox-sim/celox#1027 · Filter by author tignear opened on Oct 4, 2026

• feat(ts): state files in the WASM bridge

  celox-sim/celox#1026 · Filter by author tignear opened on Oct 4, 2026

• Support inout ports on external SystemVerilog modules instantiated from Veryl

  celox-sim/celox#1021 · Filter by author tignear opened on Oct 4, 2026

• feat(sv): represent reset polarity per trigger

  celox-sim/celox#471 · Filter by author tignear opened on Aug 3, 2026

• feat(sv): support expression-based always_ff events

  celox-sim/celox#464 · Filter by author tignear opened on Aug 3, 2026

• feat(sv): preserve non-integer parameter overrides

  celox-sim/celox#461 · Filter by author tignear opened on Aug 3, 2026

• feat(sv): preserve net resolution and undriven Z values

  celox-sim/celox#460 · Filter by author tignear opened on Aug 3, 2026

• feat(sv): support gate primitive instantiations

  celox-sim/celox#457 · Filter by author tignear opened on Aug 3, 2026

• feat(sv): retain widths for parameter constant evaluation

  celox-sim/celox#456 · Filter by author tignear opened on Aug 3, 2026

• feat(sv): support additional genvar update operators

  celox-sim/celox#455 · Filter by author tignear opened on Aug 3, 2026

• feat(sv): support nonblocking assignments in always_comb

  celox-sim/celox#453 · Filter by author tignear opened on Aug 3, 2026

• feat(sv): support iff-qualified always_ff events

  celox-sim/celox#452 · Filter by author tignear opened on Aug 3, 2026

• feat(sv): support large loop-generate elaborations

  celox-sim/celox#448 · Filter by author tignear opened on Aug 3, 2026

• feat(sv): support streaming concatenations

  celox-sim/celox#447 · Filter by author tignear opened on Aug 3, 2026

• feat(sv): scope procedural local declarations

  celox-sim/celox#445 · Filter by author tignear opened on Aug 3, 2026
  1

• feat(sv): support both clock edges of one signal

  celox-sim/celox#443 · Filter by author tignear opened on Aug 3, 2026

• feat(sv): support delayed continuous assignments

  celox-sim/celox#444 · Filter by author tignear opened on Aug 3, 2026

• feat(sv): support wildcard port connections

  celox-sim/celox#442 · Filter by author tignear opened on Aug 3, 2026