 petrbalvin
|
f0d5238c47
|
docs: state the validation status and correct claims the material contradicts
Assisted-by: DeepSeek V4.1 Flash
|
2026-09-20 01:40:51 +02:00 |
|
|
petrbalvin
|
d3d47db727
|
test(verify): seed the arm64 ABI kernel arguments
Assisted-by: GLM 5.3
|
2026-09-20 00:57:02 +02:00 |
|
|
petrbalvin
|
375182ef1f
|
fix(verify): arm64 stack save, adaptive canary and host gating
Assisted-by: GLM 5.3
|
2026-09-19 23:49:19 +02:00 |
|
|
petrbalvin
|
f37f183577
|
feat(riscv64): GOROOT instruction shapes, DATA order and offset expressions
Assisted-by: GLM 5.3 Flash
|
2026-09-19 19:58:43 +02:00 |
|
|
petrbalvin
|
23c001be51
|
feat(asm): encode indirect JMP and CALL on all four architectures
Assisted-by: GLM 5.3 Flash
|
2026-09-19 19:17:07 +02:00 |
|
|
petrbalvin
|
03d6d4da54
|
style: put the repository assembly in gasm fmt canonical form
Assisted-by: GLM 5.3 Flash
|
2026-09-17 20:33:18 +02:00 |
|
|
petrbalvin
|
0078f7be5c
|
style: purge em dashes from the produced text
Assisted-by: GLM 5.3 Flash
|
2026-09-16 23:12:31 +02:00 |
|
|
petrbalvin
|
40476546df
|
fix(asm): close the oracle parity gaps in frame addressing and calls
|
2026-09-14 23:25:14 +02:00 |
|
|
petrbalvin
|
1691c81095
|
style: replace em and en dashes across sources
|
2026-09-14 18:22:18 +02:00 |
|
|
petrbalvin
|
94c4756d47
|
fix(verify): fix non-amd64 JIT trampolines and validate under qemu
|
2026-08-31 12:34:50 +02:00 |
|
|
petrbalvin
|
a5a59d6503
|
fix(verify): gate JIT verification to amd64 until trampolines are hardened
Test / vet (push) Successful in 48s
Test / test (push) Successful in 2m34s
Test / build (push) Successful in 41s
|
2026-08-30 22:48:48 +02:00 |
|
|
petrbalvin
|
4171e412b5
|
feat(verify): save and replay fuzz corpora
Assisted-by: GLM 5.3 Flash
|
2026-08-30 21:42:12 +02:00 |
|
|
petrbalvin
|
8f84dac10b
|
feat(verify): ABI checks on arm64, riscv64 and loong64
Assisted-by: GLM 5.3 Flash
|
2026-08-30 11:27:54 +02:00 |
|
|
petrbalvin
|
56ad158772
|
fix: restore iota blocks, asm --format flag and prose after the syntax pass
Test / vet (push) Successful in 48s
Test / test (push) Successful in 2m35s
Test / build (push) Successful in 40s
|
2026-08-29 17:12:53 +02:00 |
|
|
petrbalvin
|
15e8b88d32
|
style: modernize the new tooling code to match the repo conventions
|
2026-08-29 16:15:14 +02:00 |
|
|
petrbalvin
|
9beff4ae85
|
style: modernize to splitseq, cut, min, maps.copy and range-over-int
|
2026-08-29 16:04:32 +02:00 |
|
|
petrbalvin
|
eacf33d0f7
|
fix: staticcheck and deadcode findings repo-wide, modernize counting loops
|
2026-08-29 15:25:15 +02:00 |
|
|
petrbalvin
|
e44162a749
|
feat(verify): scalar arguments for -call invocations
|
2026-08-29 14:03:45 +02:00 |
|
|
petrbalvin
|
181d8e508c
|
feat(verify): add Call trampolines for arm64, riscv64, loong64
Assisted-by: MiMo V2.5 Pro
|
2026-08-21 00:35:21 +02:00 |
|
|
petrbalvin
|
97951cbeb6
|
feat(asm): extend arm64 encoder with atomics, bitfield, SIMD and more test kernels
Assisted-by: MiMo V2.5 Pro
|
2026-08-20 14:31:15 +02:00 |
|
|
petrbalvin
|
6e73f59e78
|
feat(asm): extend arm64 encoder with FP, conditional select, CRC32 and tests
Assisted-by: MiMo V2.5 Pro
|
2026-08-20 14:07:12 +02:00 |
|
|
petrbalvin
|
4221ec5741
|
feat(asm): add AArch64 arm64 encoder with ground-truth verification
Assisted-by: MiMo V2.5 Pro
|
2026-08-20 13:33:39 +02:00 |
|
|
petrbalvin
|
c05c53452f
|
fix(asm): encode RISC-V CALL sym(SB) as JAL
Test / vet (push) Successful in 47s
Test / test (push) Failing after 2m9s
Test / build (push) Skipped
Assisted-by: DeepSeek V4 Pro
|
2026-08-13 18:12:22 +02:00 |
|
|
petrbalvin
|
681a449c01
|
fix(asm): match RISC-V branch and jump encodings
|
2026-08-13 17:57:10 +02:00 |
|
|
petrbalvin
|
31a2cee382
|
fix(asm): materialise RISC-V MOV immediates
Test / vet (push) Successful in 44s
Test / test (push) Failing after 1m56s
Test / build (push) Skipped
|
2026-08-13 17:41:16 +02:00 |
|
|
petrbalvin
|
3bc7c18bc3
|
fix(asm): materialise large RISC-V immediates
Assisted-by: DeepSeek V4 Pro
|
2026-08-13 16:04:08 +02:00 |
|
|
petrbalvin
|
f0512a4e1c
|
fix(asm): complete RISC-V compressed loads/stores and word arithmetic
Assisted-by: DeepSeek V4 Pro
|
2026-08-13 15:42:38 +02:00 |
|
|
petrbalvin
|
373c09f725
|
fix(asm): correct RISC-V operand order and complete RVC compression
Assisted-by: DeepSeek V4 Pro
|
2026-08-13 15:13:31 +02:00 |
|
|
petrbalvin
|
b78b6c5004
|
fix(asm): correct RISC-V frame layout and RVC encodings
Assisted-by: GLM 5.2
|
2026-08-13 14:41:57 +02:00 |
|
|
petrbalvin
|
31ee8e7941
|
feat(asm): add LoongArch encoder with ELF and GOOBJ emission
Assisted-by: DeepSeek V4 Pro
|
2026-08-13 11:24:44 +02:00 |
|
|
petrbalvin
|
ebd8ab8a3c
|
test: gate go-libraries integration tests behind -tags=integration
Test / vet (push) Successful in 44s
Test / test (push) Successful in 2m8s
Test / build (push) Successful in 40s
Assisted-by: GLM 5.2
|
2026-08-07 21:28:24 +02:00 |
|
|
petrbalvin
|
eace06bbd6
|
fix(verify): remove all go-libraries kernel dependencies from tests
|
2026-08-07 21:06:14 +02:00 |
|
|
petrbalvin
|
f97bea61c5
|
test(verify): add FuzzResult.String and arrayLen tests to lift coverage over 80%
Test / vet (push) Successful in 49s
Test / test (push) Failing after 2m14s
Test / build (push) Skipped
Assisted-by: GLM 5.2
|
2026-08-05 23:16:52 +02:00 |
|
|
petrbalvin
|
19b37569c0
|
fix(verify): fix flaky JIT tests with global buffers and KeepAlive
Test / vet (push) Successful in 49s
Test / test (push) Failing after 2m9s
Test / build (push) Skipped
|
2026-08-05 23:09:54 +02:00 |
|
|
petrbalvin
|
b0c62be8ce
|
feat(verify): add --call and --buf flags for single-function invocation
Assisted-by: GLM 5.2
|
2026-08-05 20:46:39 +02:00 |
|
|
petrbalvin
|
f58a4fe51d
|
feat(debug): add named buffer allocation with pattern filling
Test / vet (push) Successful in 45s
Test / test (push) Successful in 1m58s
Test / build (push) Successful in 42s
|
2026-08-04 23:55:25 +02:00 |
|
|
petrbalvin
|
5cb7e3e231
|
feat(verify): combine ABI checks with fuzzing for deep-path testing
|
2026-08-04 22:26:04 +02:00 |
|
|
petrbalvin
|
36bbc0c13b
|
feat(verify): store crashing input in FuzzResult for reproducibility
Test / vet (push) Successful in 44s
Test / test (push) Successful in 1m59s
Test / build (push) Successful in 36s
Assisted-by: DeepSeek V4 Pro
|
2026-08-04 21:58:53 +02:00 |
|
|
petrbalvin
|
f41a86b660
|
feat(asm): add RISC-V ELF relocatable object emission and SB relocation
support
|
2026-08-03 08:51:00 +02:00 |
|
|
petrbalvin
|
801fb963c9
|
fix(verify): enlarge fuzz buffers so slice-based kernels can be fuzzed
directly
|
2026-08-02 06:12:00 +02:00 |
|
|
petrbalvin
|
1a45b66139
|
feat(verify): add universal --fuzz differential testing driven by // func signatures
Assisted-by: Qwen 3.8 Max Preview
|
2026-08-02 23:11:30 +02:00 |
|
|
petrbalvin
|
382efe538a
|
feat(verify): add universal --ground-truth verification against go tool asm
Assisted-by: Qwen 3.8 Max Preview
|
2026-08-02 23:11:30 +02:00 |
|
|
petrbalvin
|
f8d28a42ba
|
feat(verify): complete the analyze family and add stereo16 differential tests
Assisted-by: Qwen 3.8 Max Preview
|
2026-08-02 23:11:30 +02:00 |
|
|
petrbalvin
|
51a2854d7f
|
feat(verify): add analyzeO2/Res and decodeMono24 differential tests
Assisted-by: Qwen 3.8 Max Preview
|
2026-08-02 23:11:30 +02:00 |
|
|
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 |
|