chore(master): release 0.11.0

[celox-bot]

🤖 I have created a release beep boop

0.11.0 (2026-10-10)

What's Changed

• chore(deps): update napi-rs and emnapi compatibility by @renovate[bot] in chore(deps): update napi-rs and emnapi compatibility #1005
• fix(ts-gen): emit type-checkable declarations for multi-module files and nested blocks by @tignear in fix(ts-gen): emit type-checkable declarations for multi-module files and nested blocks #1010
• chore(deps): update rust toolchain to dbc715a by @renovate[bot] in chore(deps): update rust toolchain to dbc715a #1011
• feat(sv): support a synthesizable SystemVerilog subset by @tignear in feat(sv): support a synthesizable SystemVerilog subset #1009
• ci: type-check test files and playground by @tignear in ci: type-check test files and playground #1012
• chore(deps): update rust toolchain to v1.99.0 by @renovate[bot] in chore(deps): update rust toolchain to v1.99.0 #1014
• fix(sv): share tie-off constants across instance array elements; mark single-element arrays as indexed by @tignear in fix(sv): share tie-off constants across instance array elements; mark single-element arrays as indexed #1017
• feat(test-suite): describe Veryl suite cases as scripts and verify them as SV testbenches by @tignear in feat(test-suite): describe Veryl suite cases as scripts and verify them as SV testbenches #1015
• fix(api): return Veryl syntax errors instead of panicking by @tignear in fix(api): return Veryl syntax errors instead of panicking #1019
• fix(sv): point unsupported diagnostics at their tracking issues by @tignear in fix(sv): point unsupported diagnostics at their tracking issues #1020
• fix(playground): drop non-public evalComb from 4-state example by @tignear in fix(playground): drop non-public evalComb from 4-state example #1024
• docs: match CLAUDE.md project fields to the GitHub project by @tignear in docs: match CLAUDE.md project fields to the GitHub project #1028
• fix(ts): evaluate pending combinational logic in fourState() by @tignear in fix(ts): evaluate pending combinational logic in fourState() #1025
• fix(veryl): classify unsupported diagnostics and implement the missing lowerings by @tignear in fix(veryl): classify unsupported diagnostics and implement the missing lowerings #1018
• feat(test-suite): rename to celox-test-suite and verify the SystemVerilog tests with Verilator and Icarus by @tignear in feat(test-suite): rename to celox-test-suite and verify the SystemVerilog tests with Verilator and Icarus #1029
• feat(api): checkpoint and restore simulation state by @tignear in feat(api): checkpoint and restore simulation state #1023
• feat(lydite): import hwverify as the Lydite refinement checker by @tignear in feat(lydite): import hwverify as the Lydite refinement checker #1031
• chore(deps): update rust crate parol to v5.0.2 by @renovate[bot] in chore(deps): update rust crate parol to v5.0.2 #1035
• chore(deps): update rust crate parol_runtime to v5.0.2 by @renovate[bot] in chore(deps): update rust crate parol_runtime to v5.0.2 #1036
• fix(deps): update rust crate scnr2 to v0.5.3 by @renovate[bot] in fix(deps): update rust crate scnr2 to v0.5.3 #1038
• chore(deps): update dependency @vscode/test-electron to v3 by @renovate[bot] in chore(deps): update dependency @vscode/test-electron to v3 #1039
• fix(deps): update dependency vscode-languageclient to v10 by @renovate[bot] in fix(deps): update dependency vscode-languageclient to v10 #1041
• fix(lydite): identify suite cases by their script text by @tignear in fix(lydite): identify suite cases by their script text #1043
• chore(deps): update dependency ubuntu to v26 by @renovate[bot] in chore(deps): update dependency ubuntu to v26 #1040
• feat(sv): lower procedural SystemVerilog and complete Veryl-emitted SV support by @tignear in feat(sv): lower procedural SystemVerilog and complete Veryl-emitted SV support #1045
• ci: run Rust tests with nextest and optimize dev dependencies by @tignear in ci: run Rust tests with nextest and optimize dev dependencies #1047
• chore(deps): update pnpm to v12.8.0 by @renovate[bot] in chore(deps): update pnpm to v12.8.0 #1049
• chore(deps): update rust toolchain to e600293 by @renovate[bot] in chore(deps): update rust toolchain to e600293 #1051
• fix(veryl): update veryl crates to v0.22.0 by @renovate[bot] in fix(veryl): update veryl crates to v0.22.0 #1054
• chore(deps): update pnpm to v12.8.1 by @renovate[bot] in chore(deps): update pnpm to v12.8.1 #1056
• chore(deps): update rust crate libc to v0.2.190 by @renovate[bot] in chore(deps): update rust crate libc to v0.2.190 #1057
• fix(deps): update rust crate wasm-encoder to 0.261 by @renovate[bot] in fix(deps): update rust crate wasm-encoder to 0.261 #1059
• fix(veryl): keep unfolded constant values and recompute constant case targets by @tignear in fix(veryl): keep unfolded constant values and recompute constant case targets #1052
• test(sv-suite): convert the remaining SystemVerilog tests to scripts by @tignear in test(sv-suite): convert the remaining SystemVerilog tests to scripts #1037
• fix(sv): keep the signedness of elements of signed named types by @tignear in fix(sv): keep the signedness of elements of signed named types #1044
• chore(deps): update rust crate insta to v1.49.0 by @renovate[bot] in chore(deps): update rust crate insta to v1.49.0 #1065
• fix: ignore out-of-range dynamic writes and read X on every lowering path by @tignear in fix: ignore out-of-range dynamic writes and read X on every lowering path #1050
• feat(simulator): add multi-threaded lane-partitioned simulation by @tignear in feat(simulator): add multi-threaded lane-partitioned simulation #1033
• feat(sv): check system function calls against a catalog where they are converted by @tignear in feat(sv): check system function calls against a catalog where they are converted #1069
• fix(sv): lower runtime indices into multidimensional packed arrays by @tignear in fix(sv): lower runtime indices into multidimensional packed arrays #1046
• chore(deps): update rust toolchain to b962e5d by @renovate[bot] in chore(deps): update rust toolchain to b962e5d #1071
• ci(bench): measure multi-threaded Celox in the Heliodor suite by @tignear in ci(bench): measure multi-threaded Celox in the Heliodor suite #1072
• refactor(sir): classify instruction effects in one place by @tignear in refactor(sir): classify instruction effects in one place #1074
• build(nix): provide Z3 in the development environment by @tignear in build(nix): provide Z3 in the development environment #1076
• chore(deps): update dependency lefthook to v2.1.15 by @renovate[bot] in chore(deps): update dependency lefthook to v2.1.15 #1078
• chore(deps): update pnpm to v12.8.2 by @renovate[bot] in chore(deps): update pnpm to v12.8.2 #1087
• fix(sv): record comb path bit boundaries so disjoint feedback is not a loop by @tignear in fix(sv): record comb path bit boundaries so disjoint feedback is not a loop #1081
• feat(sv): call DPI-C imports from always_ff on every backend by @tignear in feat(sv): call DPI-C imports from always_ff on every backend #1080
• fix(sv): evaluate && right operands for unknown left operands and bound constant evaluation by @tignear in fix(sv): evaluate && right operands for unknown left operands and bound constant evaluation #1082
• chore(deps): update rust toolchain to 8afee9f by @renovate[bot] in chore(deps): update rust toolchain to 8afee9f #1096
• feat(test-suite): add incremental verification and daily full CI by @tignear in feat(test-suite): add incremental verification and daily full CI #1094
• chore(deps): update vitest monorepo to v5.0.3 by @renovate[bot] in chore(deps): update vitest monorepo to v5.0.3 #1099
• fix(veryl): lower interface members captured by modport-imported functions by @tignear in fix(veryl): lower interface members captured by modport-imported functions #1090
• fix(veryl): reject generic interface ports instead of failing on unknown connections by @tignear in fix(veryl): reject generic interface ports instead of failing on unknown connections #1091
• test(veryl): broaden interface coverage in the shared suite by @tignear in test(veryl): broaden interface coverage in the shared suite #1093
• chore(deps): update dependency @biomejs/biome to v2.5.15 by @renovate[bot] in chore(deps): update dependency @biomejs/biome to v2.5.15 #1100
• fix(sir): keep identity-alias homes consistent for lane-partitioned kernels by @tignear in fix(sir): keep identity-alias homes consistent for lane-partitioned kernels #1098
• perf(native): save only live registers across extern calls and share extern ABI lowering by @tignear in perf(native): save only live registers across extern calls and share extern ABI lowering #1103
• ci: report full CI failures and gate release merge groups on external suites by @tignear in ci: report full CI failures and gate release merge groups on external suites #1105
• fix(sv): nested default patterns, int parameter sign, loop bound width, and $size dimensions by @tignear in fix(sv): nested default patterns, int parameter sign, loop bound width, and $size dimensions #1083
• fix(sv): widen branchless mux arms and reject incompatible unpacked arrays by @tignear in fix(sv): widen branchless mux arms and reject incompatible unpacked arrays #1084
• test: record why each SystemVerilog arm is ignored and drop stale ignores by @tignear in test: record why each SystemVerilog arm is ignored and drop stale ignores #1085
• perf(sv-analyzer): share scope metadata and reuse parsed sources by @tignear in perf(sv-analyzer): share scope metadata and reuse parsed sources #1107
• chore(deps): update updatecli/updatecli-action action to v3.9.0 by @renovate[bot] in chore(deps): update updatecli/updatecli-action action to v3.9.0 #1114
• chore(deps): update rust toolchain to f91010a by @renovate[bot] in chore(deps): update rust toolchain to f91010a #1113
• chore(deps): update dependency vite to v8.3.2 by @renovate[bot] in chore(deps): update dependency vite to v8.3.2 #1117
• feat(sv): elaborate interfaces by flattening them into modules by @tignear in feat(sv): elaborate interfaces by flattening them into modules #1108
• chore(deps): update napi-rs and emnapi compatibility by @renovate[bot] in chore(deps): update napi-rs and emnapi compatibility #1116
• ci: run the sv-tests elaboration tests against the SystemVerilog frontend by @tignear in ci: run the sv-tests elaboration tests against the SystemVerilog frontend #1119
• ci: validate each change once instead of three times by @tignear in ci: validate each change once instead of three times #1109
• chore(deps): update dependency lefthook to v2.1.16 by @renovate[bot] in chore(deps): update dependency lefthook to v2.1.16 #1129
• chore(deps): update dependency @types/node to v25.9.9 by @renovate[bot] in chore(deps): update dependency @types/node to v25.9.9 #1130
• chore(deps): update dependency @napi-rs/cli to v3.10.6 by @renovate[bot] in chore(deps): update dependency @napi-rs/cli to v3.10.6 #1126
• perf(sv-analyzer): reuse scope types for bits and size queries by @tignear in perf(sv-analyzer): reuse scope types for bits and size queries #1112
• feat(runtime)!: compile delayed processes into resumable kernels by @tignear in feat(runtime)!: compile delayed processes into resumable kernels #1127
• feat(sv): support variable declaration initializers by @tignear in feat(sv): support variable declaration initializers #1124
• fix(deps): update rust crate syn to v3 by @renovate[bot] in fix(deps): update rust crate syn to v3 #1042
• feat(sv)!: run-time loop events and calls in select indices by @tignear in feat(sv)!: run-time loop events and calls in select indices #1128
• fix(sv): keep run-time inner bit selects inside their unpacked element by @tignear in fix(sv): keep run-time inner bit selects inside their unpacked element #1133
• chore(deps): update rust toolchain to 4ca2963 by @renovate[bot] in chore(deps): update rust toolchain to 4ca2963 #1137
• chore(deps): update napi-rs and emnapi compatibility by @renovate[bot] in chore(deps): update napi-rs and emnapi compatibility #1139
• ci(lydite): do not rerun the gates after merging into master by @tignear in ci(lydite): do not rerun the gates after merging into master #1141
• fix(sv): count writes through called subroutines as process drivers by @tignear in fix(sv): count writes through called subroutines as process drivers #1135
• ci(bench): move measurements to daily runs by @tignear in ci(bench): move measurements to daily runs #1142
• test(sv): run sv-tests simulation tests and check their assertions by @tignear in test(sv): run sv-tests simulation tests and check their assertions #1136
• chore(test-suite): keep run metadata out of retained reports by @tignear in chore(test-suite): keep run metadata out of retained reports #1140
• perf(sv-analyzer): reuse parameter environments and scope snapshots by @tignear in perf(sv-analyzer): reuse parameter environments and scope snapshots #1144
• feat(sv): run initial blocks as process kernels from time zero by @tignear in feat(sv): run initial blocks as process kernels from time zero #1138
• fix(sv): reject package variables and nets by @tignear in fix(sv): reject package variables and nets #1148
• refactor(sv-analyzer): collect declarations from modules and packages alike by @tignear in refactor(sv-analyzer): collect declarations from modules and packages alike #1149
• fix(sv): evaluate select indices at their self-determined width by @tignear in fix(sv): evaluate select indices at their self-determined width #1134
• ci: run only the Rust tests a pull request can affect by @tignear in ci: run only the Rust tests a pull request can affect #1147
• fix(sv): size display arguments as IEEE 1800-2023 specifies by @tignear in fix(sv): size display arguments as IEEE 1800-2023 specifies #1143
• fix(veryl): format display arguments as Veryl's simulator does by @tignear in fix(veryl): format display arguments as Veryl's simulator does #1145
• ci: run CodSpeed daily and report regressions by @tignear in ci: run CodSpeed daily and report regressions #1155
• feat(sv)!: resolve packages as scopes instead of inlining them by @tignear in feat(sv)!: resolve packages as scopes instead of inlining them #1151
• feat(sv): implement $countbits system function by @tignear in feat(sv): implement $countbits system function #1153
• chore(deps): update pnpm to v12.9.0 by @renovate[bot] in chore(deps): update pnpm to v12.9.0 #1162
• perf(test-suite): reuse local verification and stabilize proof identities by @tignear in perf(test-suite): reuse local verification and stabilize proof identities #1156
• perf(sv-analyzer): eliminate quadratic generate-scope work by @tignear in perf(sv-analyzer): eliminate quadratic generate-scope work #1150

Full Changelog: v0.10.1...v0.11.0

---

This PR was generated with Release Please. See documentation.

[codspeed]

Merging this PR will not alter performance

⚠️ 3 benchmarks spent significant time in system calls

System calls cannot be consistently instrumented, so they are not included in the measure, which understates the real cost. Please switch to the Walltime instrument to accurately measure system calls.

Measurement and system calls

• counter_n1000
• counter_n1
• axi_lite_reg_file

✅ 4 untouched benchmarks

---

_{Comparing release-please--branches--master--components--celox (39a9cf9) with master (18201de)}