Hojun-Cho f45844ffa8 test: close long package reuse proofs

2026-08-13 05:57:16 +09:00

..

asm

w6c: keep nested unwrap destinations distinct

2026-08-09 04:52:43 +09:00

byteid

test: prove long package identity semantics

2026-08-13 05:38:05 +09:00

lang

test: banner purge + WHY-only comment sweep (rule 8)

2026-08-08 21:40:23 +09:00

libenv

test: libenv arranger observers; retire the 974/975 env carriers

2026-08-08 15:40:19 +09:00

misc

build: make executable and test roots package actions

2026-08-12 22:00:02 +09:00

object

w6l: purge dead elf branches; pin rx extent

2026-08-09 04:37:33 +09:00

package

test: close long package reuse proofs

2026-08-13 05:57:16 +09:00

sep

test: prove long package identity semantics

2026-08-13 05:38:05 +09:00

testenv

test: prove canonical directory package identity

2026-08-13 02:48:17 +09:00

tool

build: pass direct exports to package compilers

2026-08-12 18:42:22 +09:00

wcc

build: make executable and test roots package actions

2026-08-12 22:00:02 +09:00

wwfixture

wwfixture: declarative fixture runner

2026-08-07 23:21:04 +09:00

xmod

test: prove canonical directory package identity

2026-08-13 02:48:17 +09:00