diff options
| author | Arthur Hanson Rasmusson <arthur@vgpu.io> | 2026-10-21 15:02:04 -0400 |
|---|---|---|
| committer | Arthur Hanson Rasmusson <arthur@vgpu.io> | 2026-10-21 15:02:04 -0400 |
| commit | e60bdd575c1ced490116a49035ac0483c0818860 (patch) | |
| tree | 92ea683fc76b217cec94932a053306f51df9b386 /validate.sh | |
| parent | 4c36a62913ce0a5b260fc488e84766318a49f34e (diff) | |
| download | open-iov-e60bdd575c1ced490116a49035ac0483c0818860.tar.gz open-iov-e60bdd575c1ced490116a49035ac0483c0818860.zip | |
sema: r420d bounded 2D-copy geometry witness (sema-op2d)
Every copy op logs dst/src/bytes/rows/dpitch/spitch beside the decoded
line_length/line_count/pitches, so the memset2d readback forensics can tell
'one row per push' from 'N rows in one op' and whether the pitch methods
arrived. Bounded by the existing opadd budget.
Diffstat (limited to 'validate.sh')
0 files changed, 0 insertions, 0 deletions