 petrbalvin
|
c234c3dd5b
|
feat(verify): add analyzeO1Range and fastStereoSums differential tests
Assisted-by: Qwen 3.8 Max Preview
|
2026-08-02 23:11:30 +02:00 |
|
|
petrbalvin
|
9262990ce5
|
feat(verify): extend differential tests to go-flac and AVX-512, add --abi/--profile CLI flags
Assisted-by: Qwen 3.8 Max Preview
|
2026-08-02 23:11:30 +02:00 |
|
|
petrbalvin
|
d9f6167a4d
|
feat(verify): add basic-block enumeration and path-diversity profiling
Assisted-by: Qwen 3.8 Max Preview
|
2026-08-02 23:11:30 +02:00 |
|
|
petrbalvin
|
f5088c52fc
|
feat(verify): add runtime ABI checks with sentinel registers and red-zone canary
Assisted-by: Qwen 3.8 Max Preview
|
2026-08-02 23:11:30 +02:00 |
|
|
petrbalvin
|
f52e23f1bc
|
feat(verify): add differential fuzz testing against a portable Go reference
Assisted-by: Qwen 3.8 Max Preview
|
2026-08-02 23:11:30 +02:00 |
|
|
petrbalvin
|
c9775c2b95
|
feat(verify): add the JIT execution substrate and gasm verify subcommand
Assisted-by: Qwen 3.8 Max Preview
|
2026-08-02 23:11:30 +02:00 |
|