Skip to content

v4 T-4.9: model extdeps/languages/verilog.dag — HW concurrency as 5 behaviors (IN-B probe PASS) #3176

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
briansrls merged 76 commits into from
May 16, 2026
Merged

v4 T-4.9: model extdeps/languages/verilog.dag — HW concurrency as 5 behaviors (IN-B probe PASS) #3176

Changes from 66 commits
Commits
Show all changes
76 commits
Select commit Hold shift + click to select a range
b12e8bd
v4 T-4.9: model extdeps/languages/verilog.dag — HW concurrency as 5 b…
briansrls May 16, 2026
b4f0ad6
v4 T-4.9 verilog: address 3 codex BLOCKING findings on PR #3176 — spe…
briansrls May 16, 2026
cb65ea8
v4 T-4.9 verilog: add Signedness — preserve IEEE 1364-2005 §5.6 signe…
briansrls May 16, 2026
cb93eac
v4 T-4.9 verilog: add AlwaysBlockSensitivity Disj — represent @* impl…
briansrls May 16, 2026
8613a70
v4 T-4.9 verilog: ModuleItem closed-set-coverage clarification — matc…
briansrls May 16, 2026
3d2e57b
v4 T-4.9 verilog: drop stray NetDeclaration banner orphaned by Signed…
briansrls May 16, 2026
e938dfe
Merge remote-tracking branch 'origin/main' into session/bright-crane-527
briansrls May 16, 2026
212b7e6
Merge remote-tracking branch 'origin/main' into session/bright-crane-527
briansrls May 16, 2026
e056b9a
Merge remote-tracking branch 'origin/main' into session/bright-crane-527
briansrls May 16, 2026
106c805
Merge remote-tracking branch 'origin/main' into session/bright-crane-527
briansrls May 16, 2026
f54ddb4
Merge remote-tracking branch 'origin/main' into session/bright-crane-527
briansrls May 16, 2026
8ee9518
Merge remote-tracking branch 'origin/main' into session/bright-crane-527
briansrls May 16, 2026
f7ab620
v4 T-4.9 verilog: model positional port connections — PortConnections…
briansrls May 16, 2026
96f5708
Merge remote-tracking branch 'origin/main' into session/bright-crane-527
briansrls May 16, 2026
c2f06ff
Merge remote-tracking branch 'origin/main' into session/bright-crane-527
briansrls May 16, 2026
9eaf33a
WIP: T-4.9 verilog
briansrls May 16, 2026
bdac639
v4 T-4.9 verilog: address openai-pro REQUEST_CHANGES — port-connectio…
briansrls May 16, 2026
2138f96
Merge remote-tracking branch 'origin/main' into session/bright-crane-527
briansrls May 16, 2026
491f784
v4 T-4.9 verilog: module-level port-list style Disj + ModuleInstance …
briansrls May 16, 2026
c705f0b
v4 T-4.9 verilog: PortAnsiTypeKind per-variant packing/signedness pay…
briansrls May 16, 2026
3527dc0
Merge remote-tracking branch 'origin/main' into session/bright-crane-527
briansrls May 16, 2026
004090c
Merge remote-tracking branch 'origin/main' into session/bright-crane-527
briansrls May 16, 2026
f205c80
Merge remote-tracking branch 'origin/main' into session/bright-crane-527
briansrls May 16, 2026
a256503
Merge remote-tracking branch 'origin/main' into session/bright-crane-527
briansrls May 16, 2026
9cbec17
v4 T-4.9 verilog: ModuleItem exhaustive — add defparam/generate/speci…
briansrls May 16, 2026
aa5e156
WIP: T-4.9 verilog
briansrls May 16, 2026
949f421
v4 T-4.9 verilog: 3 codex BLOCKINGs — ANSI direction×type-kind partit…
briansrls May 16, 2026
fbbe8d2
WIP: T-4.9 verilog
briansrls May 16, 2026
42c265e
v4 T-4.9 verilog: separate non-ANSI header port-list from body port_d…
briansrls May 16, 2026
013de64
v4 T-4.9 verilog: ModuleParameterPortList — model module-header #(par…
briansrls May 16, 2026
94b74b0
WIP: T-4.9 verilog
briansrls May 16, 2026
ec34a6b
v4 T-4.9 verilog: VerilogModule per-style Disj — body items × port-st…
briansrls May 16, 2026
89ed591
v4 T-4.9 verilog: PrimitiveGateKind closed Disj — replace free gate_k…
briansrls May 16, 2026
734e50d
WIP: T-4.9 verilog
briansrls May 16, 2026
2b1e43b
v4 T-4.9 verilog: declarator carriers + output-port subset + module-s…
briansrls May 16, 2026
051aa56
v4 T-4.9 verilog: ParameterDeclaration / LocalParameterDeclaration / …
briansrls May 16, 2026
af708f9
WIP: T-4.9 verilog
briansrls May 16, 2026
f87fdf1
v4 T-4.9 verilog: 3 openai-pro REQUEST_CHANGES — generate constructs,…
briansrls May 16, 2026
1c2c31e
v4 T-4.9 verilog: revert NonEmptyList<T> form per T-4 mgr disposition…
briansrls May 16, 2026
1c404c2
v4 T-4.9 verilog: extend non-empty-list deferral to 3 additional site…
briansrls May 16, 2026
bcc6b5f
v4 T-4.9 verilog: split shared OrderedParameterOverrides marker into …
briansrls May 16, 2026
df1a0ab
WIP: T-4.9 verilog
briansrls May 16, 2026
3b92101
v4 T-4.9 verilog: NonAnsiModuleItem — add required 5-pattern Practice…
briansrls May 16, 2026
0114c02
WIP: T-4.9 verilog
briansrls May 16, 2026
2bf0024
v4 T-4.9 verilog: VectoredessClause — separate §A.2.1.3 net-vectoring…
briansrls May 16, 2026
16c992f
v4 T-4.9 verilog: ModuleInstantiation — multi-instance form with shar…
briansrls May 16, 2026
23d8db0
WIP: T-4.9 verilog
briansrls May 16, 2026
0c797c0
v4 T-4.9 verilog: VerilogDesignElement — file-level design-element ca…
briansrls May 16, 2026
6f587e6
v4 T-4.9 verilog: revert VerilogDesignElement local-mint per T-4 mgr …
briansrls May 16, 2026
de04c86
WIP: T-4.9 verilog
briansrls May 16, 2026
1eb241a
v4 T-4.9 verilog: fix openai-pro REQUEST_CHANGES on PR #3176 sha 6f58…
briansrls May 16, 2026
cba903a
v4 T-4.9 verilog: address openai-pro 4-pack BLOCKING inline reviews o…
briansrls May 16, 2026
51b9d49
v4 T-4.9 verilog: delete orphaned PortAnsiTypeKind per codex non-bloc…
briansrls May 16, 2026
de7ddec
WIP: T-4.9 verilog
briansrls May 16, 2026
0d6d714
v4 T-4.9 verilog: address openai-pro 7-pack BLOCKING inline reviews o…
briansrls May 16, 2026
4ccc626
v4 T-4.9 verilog: address codex scheduled-review extensions on PR #31…
briansrls May 16, 2026
a1f45b4
WIP: T-4.9 verilog
briansrls May 16, 2026
7709c99
v4 T-4.9 verilog: address openai-pro 5-pack on-HEAD verdict BLOCKINGs…
briansrls May 16, 2026
7b7dd0b
v4 T-4.9 verilog: VerilogModule no-ports-form Disj variant + non-empt…
briansrls May 16, 2026
cf6f6d1
WIP: T-4.9 verilog
briansrls May 16, 2026
98953d5
v4 T-4.9 verilog: address codex on-HEAD BLOCKINGs on PR #3176 sha 7b7…
briansrls May 16, 2026
6bfc750
WIP: T-4.9 verilog
briansrls May 16, 2026
f9159ce
v4 T-4.9 verilog: address openai-pro on-HEAD 2-pack BLOCKING on PR #3…
briansrls May 16, 2026
a225449
WIP: T-4.9 verilog
briansrls May 16, 2026
e0ee193
v4 T-4.9 verilog: add top-level attributes on VerilogModule + UdpDefi…
briansrls May 16, 2026
cb028c7
Merge remote-tracking branch 'origin/main' into session/bright-crane-527
briansrls May 16, 2026
0a27a44
WIP: T-4.9 verilog
briansrls May 16, 2026
83e9f28
v4 T-4.9 verilog: 3-pack openai-pro on-HEAD BLOCKINGs at sha cb028c7d…
briansrls May 16, 2026
06ee1fb
Merge remote-tracking branch 'origin/main' into session/bright-crane-527
briansrls May 16, 2026
1aa212e
Merge remote-tracking branch 'origin/main' into session/bright-crane-527
briansrls May 16, 2026
ec33a09
WIP: T-4.9 verilog
briansrls May 16, 2026
20deaa4
v4 T-4.9 verilog: re-scope 5 Tier-1 Practice-4 ledgers 🟢 GREEN → 🟡 YE…
briansrls May 16, 2026
51eac0a
Merge remote-tracking branch 'origin/main' into session/bright-crane-527
briansrls May 16, 2026
123604b
Merge remote-tracking branch 'origin/main' into session/bright-crane-527
briansrls May 16, 2026
4f58aa5
Merge remote-tracking branch 'origin/main' into session/bright-crane-527
briansrls May 16, 2026
ef29b93
Merge remote-tracking branch 'origin/main' into session/bright-crane-527
briansrls May 16, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading
Loading