feat(sv): implement built-in process handles and control by tignear · Pull Request #2322 · celox-sim/celox

tignear · 2026-10-27T20:12:10Z

UVM stops at unknown package process. Bind the built-in process type,
state enum and methods, and execute them against dynamic scheduler
activations through a shared host-request family on every backend.

Implement self/status/kill/await/suspend/resume and per-process RNG state
(IEEE 1800-2023 9.7, 18.13.3-18.13.5). Support std::process and its state type
(26.7). Keep process references independent of heap object IDs. Retain exposed
identities after completion, preserve FINISHED on no-op controls, cancel
all descendants through completed parents, and wake status/await observers.
Suspended delays keep their original deadline; event waits rearm without
consuming suspended edges; level waits recheck immediately. Conditional-event
waits discard host pulses during suspension and rearm module counters and
automatic gates after checkpoint restoration. Checkpoints preserve control
state. Reject invalid construction, inheritance and calls. Pre-scan nested
statements and omitted-argument defaults before classifying waits, so a process
call later in a loop cannot leave earlier level waits insensitive on resume.
Recompute activation-local event probes from current shared cells before taking
resumed event baselines. Program exit clears suspended/awaiting/observer state;
resume ignores dead activations, so saved delays cannot revive their continuations.

User packages and classes named process retain their declarations, including
package state constants, typedefs and self functions from another source file. The
explicit std::process name remains unambiguous. Cancellation checks implicit
program completion, including self-kill and descendant cancellation, and
runs final procedures. Program $exit notifies observers of every sibling and
descendant after the whole program has ended, including suspended targets
and checkpoint-restored observers. Pending predicate reevaluations do not
notify other status waiters. External kill releases the target frame and local
bindings while preserving handle identity and RNG state; self-kill retires
after saving the current frame. During finalization, kill does not trigger a
second implicit finish that would skip cleanup. All final bodies share one
process identity and RNG, including draw-only bodies and stop/resume; the
identity remains RUNNING until the final phase ends (9.2.3). Save the running
caller's frame before ancestor kill can retire it, retaining its latest RNG
draw. set_randstate converts packed actuals to its string
formal before storing handles. Typed heap-helper operands retain formal
sizing, mutable receiver locations and GC roots across host boundaries.

Support final procedures in timed shared cases. Check final output after
all final procedures have run, preserving partial writes around simulator
finish notices. Scripts must avoid reads of another final procedure's writes
because final order is unspecified (9.2.3). External staging rejects post-finish
signal reads unless every design final is empty or only prints literals or
simulation time. Inspect emitted, cross-file preprocessed SV and conservatively
reject function/argument effects, including implicit calls and escaped names.
Output expectations and values captured before finish remain supported.
A script starting with
run_to_finish introduces no auxiliary settler program that could suppress
implicit completion. Add eighteen process cases and two final-harness cases
across native/image/parallel native, Cranelift/parallel Cranelift and WASM.

Validation:

Full SV: 6,307 passed; 20 existing skipped. API regressions: 16 passed,
including 2state/4state checkpoint/RNG, host/HDL final-kill tests, and
shared final identity/RNG across a draw-only body and stop/resume, plus
suspended iff waits with host pulses and checkpoint replay on all four
backends in both state modes. The three resume review regressions replay
checkpoints twice in each configuration, including nested calls and defaults,
automatic event expressions and handles ended by program exit.
Three private scheduler regressions verify bounded mutual-wait progress,
frame/local-binding reclamation with RNG retention after 16 external kills,
and program-exit suspension/wakeup cleanup,
on native/interpreter/Cranelift/WASM in both state modes.
Units: design 17, frontend-core 23, runtime 80, SV analyzer 874 (3 ignored),
SV frontend 11; shared-suite units 58 (3 ignored). Existing process/fork/
state-file integration: 37 passed. Affected and consumer Clippy passed.
NAPI/JS: 435 passed. Retained-report tests: 4; report-gate tests: 7.
Original six process cases retain exactly 13 external failures. Fourteen review
and final-harness cases pass 5/14 in Verilator, 3/14 in Icarus and 5/14 in
pinned xezim. The qualified-package typedef case passes all three tools;
shared final identity/RNG passes Verilator. Their twenty-nine exact failures
are retained with original assertions intact.
The nine fresh selected reports for the resume cases pass the comparison
gate; prior rows, assertions and exclusions are preserved. xezim's automatic
compound wait already wakes at time0, isolated with observations before and
during suspension; classify that startup failure separately from resume.
Final-order staging regressions cover direct/indirect writes, macro expansion,
hierarchy, argument effects and safe output/captured-value checks; the entire
existing SV catalogue satisfies the restriction. Both final-output cases were
rerun with Verilator, Icarus and pinned xezim; their fresh reports match the
retained failure contracts without changing evidence. Default/external suite
Clippy and both suite doctests pass.
Fourteen adapter-free Top/Wrapped repro sources accompany process discrepancies;
the eight review repros also pass Celox in both state modes (32 runs).
The two resume probes also pass both tops in both state modes (8 runs).
Static function state across three finals also passes both state modes.
sv-tests CI reported exactly eight improvements: four chapter-9 process
cases in both state modes. Each also passes local simulation. Update only
those eight expectations; the resulting file matches all 3,300 CI rows.
UVM in both state modes passes unknown process and stops at the existing
class type parameter value blocker. Full UVM execution is not claimed.

Exposed identities remain allocated until simulation teardown. Portable state
files reject exposed process handles; in-memory checkpoints support them.
This is an independent master-based change without a Depends-On stack.

Preserve four-state class properties
alongside process fields. Process handles remain two-state and null-initialized;
only logic/reg/implicit integral fields store unknown planes. Added a native
and interpreter checkpoint regression with a process field between two
four-state logic fields. Full SV 6,336 passed (20 existing ignored), process API
17 passed, analyzer 879 passed (3 existing ignored), affected/API Clippy,
NAPI/JS 435 and plugin integrations passed. Both sets of retained external
validation records are preserved; shared case sources are unchanged.

Integration with concurrent assertions on master e7ec496: full SV 6,362
passed (20 existing ignored), process API 17 and concurrent assertion API 5
passed, retained-report checks 4 passed, formatting passed. The only manual
conflict was combining the two sets of xezim review records; code merged
without manual changes.

chatgpt-codex-connector · 2026-10-27T20:12:29Z

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review	Status	Commit	Review trigger
📝 Code Review	✅ Completed 2026-10-28T10:14:37.931469Z	`7b53f28`	New commits

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

Open a pull request for review
Mark a draft as ready
Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

chatgpt-codex-connector

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 1d34ff42ca

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

Open a pull request for review
Mark a draft as ready
Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

tignear · 2026-10-27T20:41:03Z

Revision history

#	Type	Changes	Reason	Date
1	initial	`1d34ff4`		2026-10-27 20:40 UTC
2	content	`1d34ff4 → 3dc93de`	Address all three #2322 review findings; support final procedures and complete final-output checking in the shared harness as requested; accept only the eight confirmed sv-tests fail-to-pass improvem…	2026-10-27 20:40 UTC
3	content	`3dc93de → bd7fc00`	Fix review discussion_r4393941822: notify observers for every live sibling/descendant ended by program $exit; add shared and checkpoint regressions with external reproductions.	2026-10-27 20:52 UTC
4	content	`bd7fc00 → 38704d7`	Address review 5674234599: suppress unchanged Pending notifications, retire externally killed frames while preserving RNG, and avoid implicit program finish during finalization; add bounded-progress/…	2026-10-27 21:11 UTC
5	content	`38704d7 → 9009832`	Address review 5674511833: package-qualified typedef precedence, one final-phase process identity and RNG including stop/resume, and saving caller state before ancestor cancellation; add focused shar…	2026-10-27 22:23 UTC
6	content	`9009832 → e14f63f`	Synchronize #2322 with current master and resolve overlapping tests/contracts while preserving process control review fixes and the independent UVM ownership of 306ec6e126.	2026-10-28 04:59 UTC
7	content	`e14f63f → 5c4a094`	Address review4397062818: reject post-finish signal checks when design finals may have effects, using emitted/preprocessed SV with conservative literal/time-only output exceptions; add staging and co…	2026-10-28 05:17 UTC
8	content	`5c4a094 → 8b7f1a6`	Address review5678153040: pre-scan nested and default process calls for level waits, resample automatic event probes on resume, and prevent resume of program-exit activations. Add shared/checkpoint/q…	2026-10-28 06:23 UTC
9	content	`8b7f1a6 → 9744c40`	Preserve null-initialized two-state process fields during four-state class integration; add checkpoint regression and record synchronization validation.	2026-10-28 08:58 UTC
10	content	`9744c40 → 7b53f28`	Record successful integration with concurrent assertions: SV6362, process API17, assertion API5, retained records4.	2026-10-28 10:11 UTC

chatgpt-codex-connector

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 3dc93dee22

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

Open a pull request for review
Mark a draft as ready
Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

chatgpt-codex-connector

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: bd7fc00f5f

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

Open a pull request for review
Mark a draft as ready
Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

chatgpt-codex-connector

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 38704d785b

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

Open a pull request for review
Mark a draft as ready
Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

mergify · 2026-10-27T21:47:49Z

Queued — the merge queue status continues in this comment ↓.

chatgpt-codex-connector

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: e14f63f799

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

Open a pull request for review
Mark a draft as ready
Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

chatgpt-codex-connector

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 5c4a09400a

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

Open a pull request for review
Mark a draft as ready
Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

mergify · 2026-10-28T06:55:02Z

🚫 Left the queue

1 min in the queue, with no time running CI.

So far

✅ Entered the queue Wed 28 Oct, 06:54 · rule changes · triggered by rule Queue explicitly requested merges
🚫 Left the queue 06:55 · 8b7f1a6

Reason

The pull request conflicts with the base branch

Hint

You should update or rebase your pull request.

If you want to requeue this pull request, you can post a @mergifyio queue comment.

Requeued — the merge queue status continues in this comment ↓.

_{Times in UTC · dashboard · how the merge queue works}

mergify · 2026-10-28T10:02:06Z

🚫 Left the queue

2 min in the queue, with no time running CI.

So far

✅ Entered the queue Wed 28 Oct, 10:02 · rule changes · triggered by rule Queue explicitly requested merges
🚫 Left the queue 10:03 · 9744c40

Reason

The pull request conflicts with the base branch

Hint

You should update or rebase your pull request.

If you want to requeue this pull request, you can post a @mergifyio queue comment.

Requeued — the merge queue status continues in this comment ↓.

_{Times in UTC · dashboard · how the merge queue works}

UVM stops at unknown package `process`. Bind the built-in process type, state enum and methods, and execute them against dynamic scheduler activations through a shared host-request family on every backend. Implement self/status/kill/await/suspend/resume and per-process RNG state (IEEE 1800-2023 9.7, 18.13.3-18.13.5). Support std::process and its state type (26.7). Keep process references independent of heap object IDs. Retain exposed identities after completion, preserve FINISHED on no-op controls, cancel all descendants through completed parents, and wake status/await observers. Suspended delays keep their original deadline; event waits rearm without consuming suspended edges; level waits recheck immediately. Conditional-event waits discard host pulses during suspension and rearm module counters and automatic gates after checkpoint restoration. Checkpoints preserve control state. Reject invalid construction, inheritance and calls. Pre-scan nested statements and omitted-argument defaults before classifying waits, so a process call later in a loop cannot leave earlier level waits insensitive on resume. Recompute activation-local event probes from current shared cells before taking resumed event baselines. Program exit clears suspended/awaiting/observer state; resume ignores dead activations, so saved delays cannot revive their continuations. User packages and classes named process retain their declarations, including package state constants, typedefs and self functions from another source file. The explicit std::process name remains unambiguous. Cancellation checks implicit program completion, including self-kill and descendant cancellation, and runs final procedures. Program $exit notifies observers of every sibling and descendant after the whole program has ended, including suspended targets and checkpoint-restored observers. Pending predicate reevaluations do not notify other status waiters. External kill releases the target frame and local bindings while preserving handle identity and RNG state; self-kill retires after saving the current frame. During finalization, kill does not trigger a second implicit finish that would skip cleanup. All final bodies share one process identity and RNG, including draw-only bodies and stop/resume; the identity remains RUNNING until the final phase ends (9.2.3). Save the running caller's frame before ancestor kill can retire it, retaining its latest RNG draw. set_randstate converts packed actuals to its string formal before storing handles. Typed heap-helper operands retain formal sizing, mutable receiver locations and GC roots across host boundaries. Support final procedures in timed shared cases. Check final output after all final procedures have run, preserving partial writes around simulator finish notices. Scripts must avoid reads of another final procedure's writes because final order is unspecified (9.2.3). External staging rejects post-finish signal reads unless every design final is empty or only prints literals or simulation time. Inspect emitted, cross-file preprocessed SV and conservatively reject function/argument effects, including implicit calls and escaped names. Output expectations and values captured before finish remain supported. A script starting with run_to_finish introduces no auxiliary settler program that could suppress implicit completion. Add eighteen process cases and two final-harness cases across native/image/parallel native, Cranelift/parallel Cranelift and WASM. Validation: - Full SV: 6,307 passed; 20 existing skipped. API regressions: 16 passed, including 2state/4state checkpoint/RNG, host/HDL final-kill tests, and shared final identity/RNG across a draw-only body and stop/resume, plus suspended iff waits with host pulses and checkpoint replay on all four backends in both state modes. The three resume review regressions replay checkpoints twice in each configuration, including nested calls and defaults, automatic event expressions and handles ended by program exit. Three private scheduler regressions verify bounded mutual-wait progress, frame/local-binding reclamation with RNG retention after 16 external kills, and program-exit suspension/wakeup cleanup, on native/interpreter/Cranelift/WASM in both state modes. - Units: design 17, frontend-core 23, runtime 80, SV analyzer 874 (3 ignored), SV frontend 11; shared-suite units 58 (3 ignored). Existing process/fork/ state-file integration: 37 passed. Affected and consumer Clippy passed. - NAPI/JS: 435 passed. Retained-report tests: 4; report-gate tests: 7. - Original six process cases retain exactly 13 external failures. Fourteen review and final-harness cases pass 5/14 in Verilator, 3/14 in Icarus and 5/14 in pinned xezim. The qualified-package typedef case passes all three tools; shared final identity/RNG passes Verilator. Their twenty-nine exact failures are retained with original assertions intact. The nine fresh selected reports for the resume cases pass the comparison gate; prior rows, assertions and exclusions are preserved. xezim's automatic compound wait already wakes at time0, isolated with observations before and during suspension; classify that startup failure separately from resume. Final-order staging regressions cover direct/indirect writes, macro expansion, hierarchy, argument effects and safe output/captured-value checks; the entire existing SV catalogue satisfies the restriction. Both final-output cases were rerun with Verilator, Icarus and pinned xezim; their fresh reports match the retained failure contracts without changing evidence. Default/external suite Clippy and both suite doctests pass. - Fourteen adapter-free Top/Wrapped repro sources accompany process discrepancies; the eight review repros also pass Celox in both state modes (32 runs). The two resume probes also pass both tops in both state modes (8 runs). Static function state across three finals also passes both state modes. - sv-tests CI reported exactly eight improvements: four chapter-9 process cases in both state modes. Each also passes local simulation. Update only those eight expectations; the resulting file matches all 3,300 CI rows. - UVM in both state modes passes unknown process and stops at the existing class type parameter value blocker. Full UVM execution is not claimed. Exposed identities remain allocated until simulation teardown. Portable state files reject exposed process handles; in-memory checkpoints support them. This is an independent master-based change without a Depends-On stack. Preserve four-state class properties alongside process fields. Process handles remain two-state and null-initialized; only logic/reg/implicit integral fields store unknown planes. Added a native and interpreter checkpoint regression with a process field between two four-state logic fields. Full SV 6,336 passed (20 existing ignored), process API 17 passed, analyzer 879 passed (3 existing ignored), affected/API Clippy, NAPI/JS 435 and plugin integrations passed. Both sets of retained external validation records are preserved; shared case sources are unchanged. Integration with concurrent assertions on master e7ec496: full SV 6,362 passed (20 existing ignored), process API 17 and concurrent assertion API 5 passed, retained-report checks 4 passed, formatting passed. The only manual conflict was combining the two sets of xezim review records; code merged without manual changes. Change-Id: If6cc12a12722e66f75d4833a527ec1247b2a83ab

mergify · 2026-10-28T11:06:13Z

✅ Merged into `master` as `a3c47fa` at 11:36 UTC

31 min in the queue, 29 min of it CI.

So far

✅ Entered the queue Wed 28 Oct, 11:06 · rule changes · triggered by rule Queue explicitly requested merges
✅ Passed · draft merge queue: checking #2322 on master (e7ec496) #2427
✅ Merged 11:36 · a3c47fa · merge

Merge conditions: 7 of 7 met

The batch, tested on draft #2427

	Condition	Required by
✅	`check-success = Conventional Commit title`	—
✅	`check-success = Queue validation`	—
✅	any of: `check-success = @github-actions/Lint & Format`, `check-neutral = @github-actions/Lint & Format`, `check-skipped = @github-actions/Lint & Format`	GitHub repository ruleset rule `master`
✅	any of: `check-success = @github-actions/Rust Test & NAPI Build`, `check-neutral = @github-actions/Rust Test & NAPI Build`, `check-skipped = @github-actions/Rust Test & NAPI Build`	GitHub repository ruleset rule `master`
✅	any of: `check-success = @github-actions/JS Test (Ubuntu)`, `check-neutral = @github-actions/JS Test (Ubuntu)`, `check-skipped = @github-actions/JS Test (Ubuntu)`	GitHub repository ruleset rule `master`
✅	any of: `check-success = @github-actions/Conventional Commit title`, `check-neutral = @github-actions/Conventional Commit title`, `check-skipped = @github-actions/Conventional Commit title`	GitHub repository ruleset rule `master`
✅	any of: `check-success = @github-actions/Queue validation`, `check-neutral = @github-actions/Queue validation`, `check-skipped = @github-actions/Queue validation`	GitHub repository ruleset rule `master`

_{Times in UTC · dashboard · how the merge queue works}

Allow modules, packages and compilation-unit classes to request package-class specializations that the declaring package never names. This enables the UVM registry pattern `typedef Registry#(User) type_id`, including calls through `type_id::create()` that construct the supplied compilation-unit class. Bind explicit actuals in the requesting scope and defaults, inherited member types/constants and method bodies in their declaration scopes. Reuse one canonical specialization and package state across importing scopes, preserving nominal type identity, equivalent defaults, constructor defaults, static class handles and distinct per-file compilation-unit classes. Discover signatures before binding executable bodies with the supplied classes' metadata. Keep module-local class actuals unsupported until their identity can distinguish module instances. This change is independent of built-in process control and virtual-interface support. It does not remove the existing restriction on nonconstant package declaration initializers. Add nine portable shared cases and API regressions for native images and serialized checkpoints. Retain all 19 observed external-simulator failures with unchanged expectations, exact diagnostics, standard review and six standalone probes. xezim validation uses pinned source d491f948/core a25655a4 with a regenerated dependency lock in an isolated Nix package; no simulator or repository lock sources are changed. Validation: - All five backends: 50 foreign-specialization tests passed; class/package and concurrent-assertion regressions: 539 passed after syncing master. Package regressions: 70 passed after syncing master. Earlier full SV run: 6250 passed, 20 ignored. - Analyzer/frontend unit tests on master e7ec496: 896 passed, 3 ignored. - NAPI/JS: 435 tests, playground 132 tests, and plugin/watch integration passed. - Affected-crate Clippy, formatting and retained-report/gate checks passed. - Nine external cases: Verilator 5 pass/4 retained failures, Icarus 9 retained failures, xezim 3 pass/6 retained failures. Standalone Celox probes pass in both two-state and four-state modes. After syncing master 8c81192 (with #2322 and #2421): a scope without classes of its own discovers queries as before, since it has no class signatures to bind once; resolution keeps the built-in `process` fallback and its type spelling. Analyzer/frontend units: 886 passed, 3 ignored; full SV: 6,421 passed, 20 skipped; retained-report and gate tests pass. Retained Verilator/xezim diagnostics of the foreign cases follow their new case lines. Change-Id: I94cfcf52749ba3ad9d7e7d893e795c86bc146939

Allow modules, packages and compilation-unit classes to request package-class specializations that the declaring package never names. This enables the UVM registry pattern `typedef Registry#(User) type_id`, including calls through `type_id::create()` that construct the supplied compilation-unit class. Bind explicit actuals in the requesting scope and defaults, inherited member types/constants and method bodies in their declaration scopes. Reuse one canonical specialization and package state across importing scopes, preserving nominal type identity, equivalent defaults, constructor defaults, static class handles and distinct per-file compilation-unit classes. Discover signatures before binding executable bodies with the supplied classes' metadata. Keep module-local class actuals unsupported until their identity can distinguish module instances. This change is independent of built-in process control and virtual-interface support. It does not remove the existing restriction on nonconstant package declaration initializers. Add nine portable shared cases and API regressions for native images and serialized checkpoints. Retain all 19 observed external-simulator failures with unchanged expectations, exact diagnostics, standard review and six standalone probes. xezim validation uses pinned source d491f948/core a25655a4 with a regenerated dependency lock in an isolated Nix package; no simulator or repository lock sources are changed. Validation: - All five backends: 50 foreign-specialization tests passed; class/package and concurrent-assertion regressions: 539 passed after syncing master. Package regressions: 70 passed after syncing master. Earlier full SV run: 6250 passed, 20 ignored. - Analyzer/frontend unit tests on master e7ec496: 896 passed, 3 ignored. - NAPI/JS: 435 tests, playground 132 tests, and plugin/watch integration passed. - Affected-crate Clippy, formatting and retained-report/gate checks passed. - Nine external cases: Verilator 5 pass/4 retained failures, Icarus 9 retained failures, xezim 3 pass/6 retained failures. Standalone Celox probes pass in both two-state and four-state modes. After syncing master 8c81192 (with #2322 and #2421): a scope without classes of its own discovers queries as before, since it has no class signatures to bind once; resolution keeps the built-in `process` fallback and its type spelling. Analyzer/frontend units: 886 passed, 3 ignored; full SV: 6,421 passed, 20 skipped; retained-report and gate tests pass. Retained Verilator/xezim diagnostics of the foreign cases follow their new case lines. Review follow-ups: a request supplies only the caller's qualified routines (the methods of the classes its actual type arguments name), not its own unqualified functions; an unresolved name in a package class body binding to an importing module's function also happens without importing-scope specializations and is tracked in #2447. A compilation-unit typedef is named with its source file, as compilation-unit classes are, so the same enum typedef in two files gives two specializations; a Celox-only multi-file test covers it, since IEEE 1800-2023 3.12.1 also allows one compilation unit for all files (Verilator rejects the duplicate typedef). Analyzer/frontend 886, full SV 6,422 passed. Change-Id: I94cfcf52749ba3ad9d7e7d893e795c86bc146939

chatgpt-codex-connector Bot reviewed Oct 27, 2026

View reviewed changes

Comment thread crates/celox-sv-analyzer/src/ast/processes.rs

Comment thread crates/celox-runtime/src/simulation/process_control.rs

Comment thread crates/celox-frontend-sv/src/lowering/ff/process.rs

tignear force-pushed the stack/tignear/feat/sv-process-control/impl-built-process-handles-control--f6cc12a1 branch from 1d34ff4 to 3dc93de Compare October 27, 2026 20:41

chatgpt-codex-connector Bot reviewed Oct 27, 2026

View reviewed changes

Comment thread crates/celox-runtime/src/simulation/process_control.rs

tignear added merge-ready Request merging through Mergify after required checks and removed merge-ready Request merging through Mergify after required checks labels Oct 27, 2026

tignear force-pushed the stack/tignear/feat/sv-process-control/impl-built-process-handles-control--f6cc12a1 branch from 3dc93de to bd7fc00 Compare October 27, 2026 20:52

chatgpt-codex-connector Bot reviewed Oct 27, 2026

View reviewed changes

Comment thread crates/celox-runtime/src/simulation/process.rs Outdated

Comment thread crates/celox-runtime/src/simulation/process_control.rs

Comment thread crates/celox-runtime/src/simulation/process_control.rs Outdated

tignear force-pushed the stack/tignear/feat/sv-process-control/impl-built-process-handles-control--f6cc12a1 branch from bd7fc00 to 38704d7 Compare October 27, 2026 21:11

chatgpt-codex-connector Bot reviewed Oct 27, 2026

View reviewed changes

Comment thread crates/celox-sv-analyzer/src/ast/classes.rs

Comment thread crates/celox-runtime/src/simulation/terminal.rs

Comment thread crates/celox-runtime/src/simulation/process_control.rs

tignear force-pushed the stack/tignear/feat/sv-process-control/impl-built-process-handles-control--f6cc12a1 branch from 38704d7 to 9009832 Compare October 27, 2026 22:23

tignear added the merge-ready Request merging through Mergify after required checks label Oct 28, 2026

tignear force-pushed the stack/tignear/feat/sv-process-control/impl-built-process-handles-control--f6cc12a1 branch from 9009832 to e14f63f Compare October 28, 2026 04:59

chatgpt-codex-connector Bot reviewed Oct 28, 2026

View reviewed changes

Comment thread crates/celox-test-suite/src/script/timed.rs

tignear removed the merge-ready Request merging through Mergify after required checks label Oct 28, 2026

tignear force-pushed the stack/tignear/feat/sv-process-control/impl-built-process-handles-control--f6cc12a1 branch from e14f63f to 5c4a094 Compare October 28, 2026 05:17

chatgpt-codex-connector Bot reviewed Oct 28, 2026

View reviewed changes

Comment thread crates/celox-frontend-sv/src/lowering/ff.rs Outdated

Comment thread crates/celox-runtime/src/simulation/process_control.rs Outdated

Comment thread crates/celox-runtime/src/simulation/process_control.rs

tignear force-pushed the stack/tignear/feat/sv-process-control/impl-built-process-handles-control--f6cc12a1 branch from 5c4a094 to 8b7f1a6 Compare October 28, 2026 06:23

tignear added the merge-ready Request merging through Mergify after required checks label Oct 28, 2026

mergify Bot added the queued Mergify queue entry label Oct 28, 2026

mergify Bot added dequeued Mergify stopped this queue entry; investigate before retrying and removed queued Mergify queue entry labels Oct 28, 2026

tignear force-pushed the stack/tignear/feat/sv-process-control/impl-built-process-handles-control--f6cc12a1 branch from 8b7f1a6 to 9744c40 Compare October 28, 2026 08:59

tignear removed the dequeued Mergify stopped this queue entry; investigate before retrying label Oct 28, 2026

mergify Bot added the queued Mergify queue entry label Oct 28, 2026

mergify Bot removed the queued Mergify queue entry label Oct 28, 2026

mergify Bot added the dequeued Mergify stopped this queue entry; investigate before retrying label Oct 28, 2026

tignear force-pushed the stack/tignear/feat/sv-process-control/impl-built-process-handles-control--f6cc12a1 branch from 9744c40 to 7b53f28 Compare October 28, 2026 10:11

tignear removed the dequeued Mergify stopped this queue entry; investigate before retrying label Oct 28, 2026

mergify Bot added the queued Mergify queue entry label Oct 28, 2026

This was referenced Oct 28, 2026

merge queue: checking #2322 on master (e7ec496) #2427

Closed

fix(native): store the mask plane of wide two-state values #2425

Merged

mergify Bot merged commit a3c47fa into master Oct 28, 2026
24 checks passed

mergify Bot deleted the stack/tignear/feat/sv-process-control/impl-built-process-handles-control--f6cc12a1 branch October 28, 2026 11:36

mergify Bot removed the queued Mergify queue entry label Oct 28, 2026

This was referenced Oct 28, 2026

feat(sv): implement enumerated type methods #2390

Open

feat(sv): initialize process static locals with run-time values #2407

Open

feat(sv): support nested dynamic containers and class handle keys #2424

Open

This was referenced Oct 28, 2026

feat(sv): specialize package classes from importing scopes #2429

Open

feat(sv): support $sformatf and $sformat #2402

Open

Conversation

tignear commented Oct 27, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

chatgpt-codex-connector Bot commented Oct 27, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Codex Review Summary

Uh oh!

chatgpt-codex-connector Bot left a comment

Choose a reason for hiding this comment

💡 Codex Review

Uh oh!

Uh oh!

Uh oh!

Uh oh!

tignear commented Oct 27, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Revision history

Uh oh!

chatgpt-codex-connector Bot left a comment

Choose a reason for hiding this comment

💡 Codex Review

Uh oh!

Uh oh!

chatgpt-codex-connector Bot left a comment

Choose a reason for hiding this comment

💡 Codex Review

Uh oh!

Uh oh!

Uh oh!

Uh oh!

chatgpt-codex-connector Bot left a comment

Choose a reason for hiding this comment

💡 Codex Review

Uh oh!

Uh oh!

Uh oh!

Uh oh!

mergify Bot commented Oct 27, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

chatgpt-codex-connector Bot left a comment

Choose a reason for hiding this comment

💡 Codex Review

Uh oh!

Uh oh!

chatgpt-codex-connector Bot left a comment

Choose a reason for hiding this comment

💡 Codex Review

Uh oh!

Uh oh!

Uh oh!

Uh oh!

mergify Bot commented Oct 28, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

🚫 Left the queue

Uh oh!

mergify Bot commented Oct 28, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

🚫 Left the queue

Uh oh!

mergify Bot commented Oct 28, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

✅ Merged into master as a3c47fa at 11:36 UTC

Uh oh!

Uh oh!

Reviewers

Uh oh!

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

tignear commented Oct 27, 2026 •

edited

Loading

chatgpt-codex-connector Bot commented Oct 27, 2026 •

edited

Loading

tignear commented Oct 27, 2026 •

edited

Loading

mergify Bot commented Oct 27, 2026 •

edited

Loading

mergify Bot commented Oct 28, 2026 •

edited

Loading

mergify Bot commented Oct 28, 2026 •

edited

Loading

mergify Bot commented Oct 28, 2026 •

edited

Loading

✅ Merged into `master` as `a3c47fa` at 11:36 UTC