All pull requests

Pull requests

• Validate queue projection semantics beside the pinned reference mismatch

  #40·Mafei opened Oct 28, 2026Owner·

  ·

• Preserve two-state array lambda arguments

  #39·Mafei opened Oct 28, 2026Owner·

  ·

• Preserve four-state nets during initial reads

  #38·Mafei opened Oct 28, 2026Owner·

  ·

• Distinguish missing and nonexecutable gate tools

  #37·Mafei opened Oct 28, 2026Owner·

  ·

• Fix function-call purity and preserve argument side effects

  #36·Mafei opened Oct 28, 2026Owner·

  ·

• Sync official short-circuit and wide reset updates

  #35·Mafei opened Oct 28, 2026Owner·

  ·

• Support direct named OUTPUT header aliases

  #34·Mafei opened Oct 27, 2026Owner·

  ·

• Integrate official aggregate substitution fix

  #33·Mafei opened Oct 27, 2026Owner·

  ·

• Integrate 5a410 sensitivities and preserve finish coverage

  #32·Mafei opened Oct 27, 2026Owner·

  ·

• Support repeated positional OUTPUT wires with fourstate

  #31·Mafei opened Oct 27, 2026Owner·

  ·

• Integrate upstream queue and type fixes with four-state contexts

  #30·Mafei opened Oct 27, 2026Owner·

  ·

• Preserve explicit variable import source visibility

  #29·Mafei opened Oct 27, 2026Owner·

  ·

• Resolve static ancestor tasks per instance

  #28·Mafei opened Oct 27, 2026Owner·

  ·

• Fix crashes in dynamic real decimal formatting

  #27·Mafei opened Oct 27, 2026Owner·

  ·

• Merge official upstream and repair bounded four-state SV behavior

  #26·Mafei opened Oct 26, 2026Owner·

  ·

• Sync Veripool 1d0bf5d1 and preserve bounded four-state validation

  #25·Mafei opened Oct 17, 2026Owner·

  ·

• Sync Veripool af1b121e and preserve finish coverage in four-state models

  #24·Mafei opened Oct 15, 2026Owner·

  ·

• Follow up official multiple-edge clocking fix with portable regression

  #23·Mafei opened Oct 14, 2026Owner·

  ·

• Sync fourteen official updates and preserve four-state validation

  #22·Mafei opened Oct 14, 2026Owner·

  ·

• Sync official Verilator through b8e7f1e4 and preserve four-state controls

  #21·Mafei opened Oct 13, 2026Owner·

  ·

• Sync official upstream and fix four-state RAM, ports and resumed traces

  #20·Mafei opened Oct 12, 2026Owner·

  ·

• Stop SV scheduling and value-function tails at $finish

  #19·Mafei opened Oct 11, 2026Owner·

  ·

• Four-state: preserve blocking event snapshots and packed release masks

  #18·Mafei opened Oct 11, 2026Owner·

  ·

• Sync seven Veripool updates and gate four-state decomposition regressions

  #17·Mafei opened Oct 11, 2026Owner·

  ·

• Fix four-state behavior after packed variable splitting

  #16·Mafei opened Oct 10, 2026Owner·

  ·