petrbalvin/gasm-sdk
0
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases 36 Wiki Activity

docs: remove go-libraries kernel references from README and CHANGELOG
Test / vet (push) Successful in 45s
Details
Test / test (push) Failing after 2m1s
Details
Test / build (push) Skipped
Details

Browse Source
This commit is contained in:
petrbalvin
2026-08-07 21:10:16 +02:00
parent eace06bbd6
commit 176d856f67
2 changed files with 29 additions and 23 deletions
Download Patch File Download Diff File Expand all files Collapse all files
README.md
+13 -15
View File
@@ -230,21 +230,19 @@ Run the code and check what static analysis cannot. The oracle is the
portable Go implementation every kernel is derived from.
- **`gasm verify`:**
- **JIT execution substrate** — *done.* Assemble the kernel, map it into
executable memory (`syscall.Mmap`, W^X) and call it through an ABI0
trampoline; pure Go, no cgo, no external toolchain. Both go-lz4 kernels
(AVX2, 845 bytes total) JIT-load and execute correctly.
- **Differential testing** — *done.* The JIT-assembled kernel is fuzzed
with random valid LZ4 blocks and hostile garbage, comparing the result
**bit-for-bit** against a portable Go reference; the automated form of
the project's bit-identical contract.
- **Runtime ABI checks** — *done.* The ABI-checking trampoline sets
sentinels in BP and R14, verifies they survive the call, and fills a
128-byte red-zone canary below SP; both go-lz4 kernels pass clean.
- **Coverage / basic-block profiling** — *done.* Static block enumeration
from the assembler's label map (27 blocks in `decodeBlockAVX2`) plus
multi-input path-diversity measurement: how many observationally distinct
execution paths a test corpus exercises.
- **JIT execution substrate** — *done.* Assemble the kernel, map it into
executable memory (`syscall.Mmap`, W^X) and call it through an ABI0
trampoline; pure Go, no cgo, no external toolchain.
- **Differential testing** — *done.* The JIT-assembled kernel is fuzzed
against a portable Go reference, comparing the result bit-for-bit;
the automated form of the project's bit-identical contract.
- **Runtime ABI checks** — *done.* The ABI-checking trampoline sets
sentinels in BP and R14, verifies they survive the call, and fills a
128-byte red-zone canary below SP.
- **Coverage / basic-block profiling** — *done.* Static block enumeration
from the assembler's label map plus multi-input path-diversity
measurement: how many observationally distinct execution paths a
test corpus exercises.
### Phase 4 — debugger · *done*