Skip to content

feat: caller lookups for read-write memory accesses (3/3) - #2081

Merged
OlivierBBB merged 11 commits into
1807-ram-constraintsfrom
1807-ram-lookups
Aug 12, 2026
Merged

feat: caller lookups for read-write memory accesses (3/3)#2081
OlivierBBB merged 11 commits into
1807-ram-constraintsfrom
1807-ram-lookups

Merge branch '1807-ram-constraints' into 1807-ram-lookups

64071eb
Select commit
Loading
Failed to load commit list.
DCO-2 / DCO succeeded Aug 13, 2026 in 1s

Check passed!

All commits are signed off, the check passed.

Summary


Sha Message Pass or fail reason
🟢 cc9cf54 feat: thread timestamps for read-write memories Valid sign-off found
🟢 834e71b test: read-write memory fixtures exercising timest... Valid sign-off found
🟢 d409f06 fix: seed main's threaded stamps at one, reserving... Valid sign-off found
🟢 e66fba2 style: format ram_05 fixture with the zkc formatte... Valid sign-off found
🟢 9fdf876 feat: read-write memory (RAM) table constraints an... Valid sign-off found
🟢 bb26afe test: field-element and tuple-valued read-write me... Valid sign-off found
🟢 4d8d751 feat: caller lookups for read-write memory accesse... Valid sign-off found
🟢 157c374 fix: retarget individual dispatch / switch cases i... Valid sign-off found
🟢 edd5d58 fix: pick up dispatch-case retargeting from the th... Valid sign-off found
🟢 59dfcce Merge branch '1807-timestamp-threading' into 1807-... Skipped: sign-off not required in merge commit
🟢 a30ad5b Merge branch '1807-ram-constraints' into 1807-ram-... Skipped: sign-off not required in merge commit
🟢 faa4fd3 fix: restore dispatch-case retargeting dropped by ... Valid sign-off found
🟢 d9bb0e2 fix: two timestamp-threading gaps surfaced by a la... Valid sign-off found
🟢 7dc83b1 Merge branch '1807-timestamp-threading' into 1807-... Skipped: sign-off not required in merge commit
🟢 5cf084c Merge branch '1807-ram-constraints' into 1807-ram-... Skipped: sign-off not required in merge commit
🟢 c45b30b fix: address review feedback on stamp validation a... Valid sign-off found
🟢 f5a75e4 Merge branch '1807-timestamp-threading' into 1807-... Skipped: sign-off not required in merge commit
🟢 e4a9bcb Merge branch '1807-ram-constraints' into 1807-ram-... Skipped: sign-off not required in merge commit
🟢 686b52a docs: tighten comments across the timestamp-thread... Valid sign-off found
🟢 7f78755 Merge branch '1807-timestamp-threading' into 1807-... Skipped: sign-off not required in merge commit
🟢 23bd77f Merge branch '1807-ram-constraints' into 1807-ram-... Skipped: sign-off not required in merge commit
🟢 2902086 test: give the review-example fixtures self-explan... Valid sign-off found
🟢 c2529b0 Merge branch '1807-timestamp-threading' into 1807-... Skipped: sign-off not required in merge commit
🟢 356a209 Merge branch '1807-ram-constraints' into 1807-ram-... Skipped: sign-off not required in merge commit
🟢 d8294c2 test: note each RAM fixture's code-line footprint Valid sign-off found
🟢 73df57c Merge branch '1807-timestamp-threading' into 1807-... Skipped: sign-off not required in merge commit
🟢 e9ce225 test: note each RAM fixture's code-line footprint Valid sign-off found
🟢 0541b60 Merge branch '1807-ram-constraints' into 1807-ram-... Skipped: sign-off not required in merge commit
🟢 895134a refactor: rebuild timestamp threading on the dfa f... Valid sign-off found
🟢 0f2a84e refactor: split remapping and entry-row seeding ou... Valid sign-off found
🟢 6792321 feat: unanchor the finalization phase, pin it to t... Valid sign-off found
🟢 f9b3eac Merge branch '1807-ram-constraints' into 1807-ram-... Skipped: sign-off not required in merge commit
🟢 25ab383 refactor: address the simple timestamp-threading r... Valid sign-off found
🟢 d0edf10 Merge branch '1807-timestamp-threading' into 1807-... Skipped: sign-off not required in merge commit
🟢 0112d84 Merge branch '1807-ram-constraints' into 1807-ram-... Skipped: sign-off not required in merge commit
🟢 936f335 refactor: factor threadInstruction and arc classif... Valid sign-off found
🟢 64071eb Merge branch '1807-ram-constraints' into 1807-ram-... Skipped: sign-off not required in merge commit