This website requires JavaScript.
0b23f9fb31
test: fold driver-parity byteid into 989_lib_byteid, retire 815/940/951
Hojun-Cho
2026-08-08 00:36:11 +09:00
66251cc52b
cgen: default the hi bound of a slice/str-field slice, both stages
Hojun-Cho
2026-08-08 00:29:51 +09:00
cc22abfc04
cgen: load the full header for a wwstage global-dot slice field
Hojun-Cho
2026-08-08 00:23:55 +09:00
8a9be47f65
test/wcc/data: pin the drained divergences at runtime
Hojun-Cho
2026-08-07 23:55:01 +09:00
0b1cc5ef7c
check: populate fn-type params in the wwstage tinfo layer
Hojun-Cho
2026-08-07 23:54:10 +09:00
06c20dbec4
check: stamp a str for-range binding u8 in the wwstage
Hojun-Cho
2026-08-07 23:52:08 +09:00
c717facf78
cgen: key the tagged-widen struct copy on natural size, not slot size
Hojun-Cho
2026-08-07 23:51:07 +09:00
4559b52950
cgen: default the hi bound of an N_DOT array-field slice arg
Hojun-Cho
2026-08-07 23:50:02 +09:00
58641e97a5
cgen: narrow 2-byte deref stores in the wwstage assign arm
Hojun-Cho
2026-08-07 23:48:36 +09:00
83c8a4f34f
test/wcc: retire 990_selfhost; its live assertions move to their owners
Hojun-Cho
2026-08-07 23:31:59 +09:00
cdc8bda721
test/wcc: extend carrier ownership to the bootstrap and platform gates
Hojun-Cho
2026-08-07 23:28:49 +09:00
a87d931096
docs: describe the v2 test architecture
Hojun-Cho
2026-08-07 23:03:55 +09:00
7cc8cee737
docs: add the ww language specification
Hojun-Cho
2026-08-07 23:03:55 +09:00
90dc6369c9
comments: drop retired lint markers, re-cite migrated carriers
Hojun-Cho
2026-08-07 23:03:55 +09:00
228a632a2f
Makefile: test target graph v2; fold per-snippet byte identity into blanket gates
Hojun-Cho
2026-08-07 23:03:38 +09:00
8c86e8ecb4
test/wcc: retire carriers migrated to fixture and @test owners
Hojun-Cho
2026-08-07 23:03:21 +09:00
1a57de6ffe
test/lang: absorb retired-carrier coverage
Hojun-Cho
2026-08-07 23:02:56 +09:00
a95a7a316b
test/wcc: carrier ownership repair and driver-contract adaptation
Hojun-Cho
2026-08-07 23:02:47 +09:00
b2899dd8d3
test/wcc: run the unit loops fully in process
Hojun-Cho
2026-08-07 23:02:47 +09:00
aa0f77b891
wwfixture: declarative fixture runner
Hojun-Cho
2026-08-07 23:02:24 +09:00
d456263f7e
test/wcc/data: grow the declarative compiler corpus to 1,224 fixtures
Hojun-Cho
2026-08-07 23:02:09 +09:00
350bcd8913
ww: own the scratch contract, drop the package cache, add -S
Hojun-Cho
2026-08-07 23:12:54 +09:00
7a2c21acfb
wwtest: native package-test coordinator
Hojun-Cho
2026-08-07 23:01:03 +09:00
ff042df937
os/exec: subprocess supervision
Hojun-Cho
2026-08-07 23:00:58 +09:00
8bc7a622cc
test: fork-per-test runtime
Hojun-Cho
2026-08-07 23:00:57 +09:00
25fd1958d3
time: add sleep
Hojun-Cho
2026-08-07 23:00:47 +09:00
1acd57a408
os: add process-control syscalls
Hojun-Cho
2026-08-07 23:00:47 +09:00
5ddada94e5
cgen: address module-global str/slice pseudo-field stores via the symbol
Hojun-Cho
2026-08-07 23:00:08 +09:00
7dc3150b65
cgen: accept an indexed source in aggregate element assignment
Hojun-Cho
2026-08-07 23:00:02 +09:00
078708770b
cgen: route aggregate field-to-field assignment through the aggregate copier
Hojun-Cho
2026-08-07 22:59:52 +09:00
c654e97db1
cgen: materialise str-def operands in streq pushes
Hojun-Cho
2026-08-07 22:59:47 +09:00
0bb1f86c14
test: make T0 harness results complete
Hojun-Cho
2026-08-05 18:19:40 +09:00
3d79735964
check: reject a deref-less multi-level **fn call, not silently miscompile (#14 )
Hojun-Cho
2026-06-29 15:49:01 +09:00
5bfcd8bd6b
cgen: convert the struct-store loop arms to a tinfo-native fill (#31 c2)
Hojun-Cho
2026-06-29 15:19:41 +09:00
eb28dcd5b7
cgen: type-key the struct field-layout receiver arms via stamped tinfo (#31 c1)
Hojun-Cho
2026-06-29 14:01:47 +09:00
5ae6e3419e
cgen: type-key wwstage struct-layout at 3 sites via stamped tinfo (#21 )
Hojun-Cho
2026-06-29 11:45:08 +09:00
7b9488706b
parse: enforce strict-package — reject package-less files (#24a)
Hojun-Cho
2026-06-29 03:55:26 +09:00
d34c90d932
test: ratchet LANGBYTEID floor 152->153 after #14 narrow-tail-widen pins
Hojun-Cho
2026-06-28 15:16:52 +09:00
b5e76fb1fa
cgen: widen the narrow-tail aggregate-register store to full sz<=24 at every routed site (#14 )
Hojun-Cho
2026-06-28 15:16:52 +09:00
e7fefa3eb7
cgen: extract the narrow-tail aggregate-register materialise into a shared helper (#14 )
Hojun-Cho
2026-06-28 14:08:57 +09:00
ac6e86cefe
test: ratchet LANGBYTEID floor 151->152 after #9 arr-struct-subtail-frame pin
Hojun-Cho
2026-06-28 12:20:28 +09:00
0bf69140a2
cgen: size a struct-array local frame slot by round8(natural), not the slot-padded total (#9 )
Hojun-Cho
2026-06-28 12:20:28 +09:00
d0ce55cab8
check: reject an untyped array-literal borrow into a union slice variant (#18 )
Hojun-Cho
2026-06-28 11:27:24 +09:00
c6cdd8c2d6
test: ratchet LANGBYTEID floor 150->151 after #17 arrvar-union-slice pin
Hojun-Cho
2026-06-28 10:43:34 +09:00
5fb18876b9
check: lower an array-variable borrow into a union slice success variant (#17 )
Hojun-Cho
2026-06-28 10:43:34 +09:00
fa1b6b77d4
test: ratchet LANGBYTEID floor 149->150 after #16 global/chained-unwrap pin
Hojun-Cho
2026-06-28 09:54:59 +09:00
3526725b5a
cgen: store all eightbytes of a global/chained dot-field unwrap success (#16 )
Hojun-Cho
2026-06-28 09:54:59 +09:00
6b36b050d7
check: reject an array-literal borrow into a union slice success variant (#13 )
Hojun-Cho
2026-06-28 02:44:23 +09:00
01649598f4
test: ratchet LANGBYTEID floor 148->149 after #15 union-subtail-bp pin
Hojun-Cho
2026-06-28 01:59:46 +09:00
8fa59f9d45
cgen: store a 2-byte struct-literal field with MOVW, not an over-wide MOVQ (#15 )
Hojun-Cho
2026-06-28 01:59:21 +09:00
b691a6d8c3
test: ratchet LANGBYTEID floor 147->148 after #12 struct-unwrap pin
Hojun-Cho
2026-06-28 01:10:47 +09:00
40872274d0
cgen: materialize and store all eightbytes of an aggregate unwrap success (#12 )
Hojun-Cho
2026-06-28 01:10:31 +09:00
3a0389ce60
test: ratchet LANGBYTEID floor 146->147 after #10 aggregate-tail pin
Hojun-Cho
2026-06-27 23:44:58 +09:00
b3f4990979
cgen: store the full register into padded scratch for a 3/5/6/7-byte aggregate tail (#10 )
Hojun-Cho
2026-06-27 23:44:41 +09:00
5b33ea3f7d
test: ratchet LANGBYTEID floor 144->146 after #6 unwrap-callarg str+slice pins
Hojun-Cho
2026-06-27 21:10:43 +09:00
6e480df180
cgen: build the full slice header in the unwrap success shuffle (#6 Mech B)
Hojun-Cho
2026-06-27 21:10:17 +09:00
3fe4a2cd3b
wwstage: recognize an unwrap success in the slice/str call-arg recognizers (#6 Mech A)
Hojun-Cho
2026-06-27 21:10:03 +09:00
5071996efe
test: ratchet LANGBYTEID floor 143->144 after #11b idx-dot-src pin
Hojun-Cho
2026-06-27 19:40:23 +09:00
3719ff1c64
cgen: copy all eightbytes when a non-call aggregate assigns into a field of an indexed element (#11b)
Hojun-Cho
2026-06-27 19:40:04 +09:00
737126ed69
test: ratchet LANGBYTEID floor 142->143 after #11 idx-dot-aggret pin
Hojun-Cho
2026-06-27 18:49:24 +09:00
a0e330b283
cgen: store all eightbytes when an in-cap aggregate call returns into a field of an indexed element (#11 )
Hojun-Cho
2026-06-27 18:49:03 +09:00
b8d55a729e
test: ratchet LANGBYTEID floor 141->142 after #9 deref-callarg pin
Hojun-Cho
2026-06-27 17:20:02 +09:00
147cb4b4be
wwstage: marshal full slice/str header for deref-source call arg (#9 )
Hojun-Cho
2026-06-27 17:19:43 +09:00
597a6ba7ff
test: ratchet LANGBYTEID floor 140->141 after C6a fn-ptr-autoderef pin
Hojun-Cho
2026-06-27 14:49:53 +09:00
e515a08fb7
check: autodereference a single-level *fn callee before the call gate (C6a)
Hojun-Cho
2026-06-27 14:49:36 +09:00
8c7b6b49d4
test: ratchet LANGBYTEID floor 139->140 after C7c nested-aggregate-fill pin
Hojun-Cho
2026-06-27 14:16:20 +09:00
a52b1aa1d9
cgen: fix nested aggregate field dropped in alloc-heap structlit fill (C7c)
Hojun-Cho
2026-06-27 14:16:20 +09:00
d152f0d744
test: ratchet LANGBYTEID floor 138->139 after C2c idx-aggret-receive pin
Hojun-Cho
2026-06-27 13:28:37 +09:00
c83a3403a4
cgen: store all eightbytes when an in-cap aggregate call returns into an array element (#31-G)
Hojun-Cho
2026-06-27 13:28:37 +09:00
33295c41c6
test: ratchet LANGBYTEID floor 137->138 after #120 float-narrow pin
Hojun-Cho
2026-06-27 12:35:15 +09:00
e7effe5f57
check: narrow untyped float literals to f32 in f32 context (#120 )
Hojun-Cho
2026-06-27 12:34:58 +09:00
98b84986b7
test: ratchet LANGBYTEID floor 136->137 after C1b deref-header pin
Hojun-Cho
2026-06-27 11:48:17 +09:00
c67f362bbd
cgen: load full 24B header on whole str/slice deref-by-value
Hojun-Cho
2026-06-27 11:47:54 +09:00
b855b3bdbc
test: ratchet LANGBYTEID floor 135->136 after #28 slice-global promotion
Hojun-Cho
2026-06-26 23:18:06 +09:00
e60297085d
wwstage: accept module-level const/let slice-from-arrlit (#28 )
Hojun-Cho
2026-06-26 23:16:19 +09:00
f476797a47
test: ratchet LANGBYTEID floor 124->135 after Fam4 migration (#30 )
Hojun-Cho
2026-06-25 01:32:42 +09:00
74cc35d488
test: migrate Fam4 static-init/DATA-emit value tests to @test (#30 )
Hojun-Cho
2026-06-25 01:32:32 +09:00
4cb697af87
test: ratchet LANGBYTEID floor 113->124 after Fam13 migration (#5-C6)
Hojun-Cho
2026-06-24 22:59:46 +09:00
132ea4ee60
test: migrate Fam13 misc checker/coercion value tests to @test (#5-C6)
Hojun-Cho
2026-06-24 22:59:32 +09:00
246e5bb90e
test: migrate Fam9 match/tagged value tests to @test (#5-C5)
Hojun-Cho
2026-06-24 04:27:00 +09:00
60dec4a6bf
test: migrate Fam11 float value tests to @test, keep ABI-conformance pins (#5-C4)
Hojun-Cho
2026-06-24 03:25:47 +09:00
3ee1906497
test: migrate Fam10 alias value tests to @test, carve divergences to pins (#5-C3)
Hojun-Cho
2026-06-24 02:45:09 +09:00
07b3c74ab0
test: migrate Fam8 tuple value tests to @test + reject carriers (#5-C2)
Hojun-Cho
2026-06-24 01:44:13 +09:00
47c7dbc2c8
test: migrate Fam12 opaque value tests to @test row-tables (#5-C1)
Hojun-Cho
2026-06-24 01:00:47 +09:00
24b7aaa33b
test: slim uniesc carrier to .wwi roundtrip, value rows now @test-only (#4 )
Hojun-Cho
2026-06-24 00:39:20 +09:00
11afd82e16
test: pin i64-sink chained global-ptr read is full-width, guards #18
Hojun-Cho
2026-06-24 00:28:25 +09:00
d6ea497da1
wwstage: align direct-ptr tagged-field READ word-order to cstage (#17 )
Hojun-Cho
2026-06-24 00:07:24 +09:00
ab3ac67afd
wwstage: fold chained global-ptr field READ to cstage offset-fold (#16 )
Hojun-Cho
2026-06-23 07:25:33 +09:00
475c003b0d
cgen: fix global-ptr field READ, load ptr value via SB before offset (#15 )
Hojun-Cho
2026-06-23 06:42:38 +09:00
02967e04ce
w6c: fix global-ptr field-store SEGV via decline-to-resolver (#6 )
Hojun-Cho
2026-06-23 01:12:27 +09:00
30a4920ccf
wcc: reject break/continue outside loop in wwstage, align to cstage (#7 )
Hojun-Cho
2026-06-23 00:23:15 +09:00
2e07e3bfe7
test: revive 749 callsite byte-id via explicit w6c -o, was silently skipped (#13 )
Hojun-Cho
2026-06-22 23:57:50 +09:00
81ebaf7bfa
build: redirect selfhost-build sepwork scratch out of tree with -o main (#14 )
Hojun-Cho
2026-06-22 23:41:24 +09:00
ce3a25a0b4
test: contain sepwork scratch per-driver tmpdir, fix /tmp+in-repo leak (#8 )
Hojun-Cho
2026-06-22 23:29:39 +09:00
6525e137ae
wwi: derive decl-less module's .wwi package leaf from parse-stamped path (#11 )
Hojun-Cho
2026-06-22 21:17:30 +09:00
a1484aef28
pkgcache: reject 0-byte artifacts on store and lookup, self-heal torn writes (#10 )
Hojun-Cho
2026-06-22 20:52:11 +09:00
c0383274d1
lex: clear pending modpath on module-reset, fix empty-module stale-modpath miscompile (#9 )
Hojun-Cho
2026-06-22 19:49:57 +09:00
99b98b9b1b
test: migrate 989_letshadow to @test value pin, retire C twin (fold-3)
Hojun-Cho
2026-06-22 18:30:04 +09:00
9cef92175f
test: migrate 989_strglobeq to @test value pin, retire C twin (fold-3)
Hojun-Cho
2026-06-22 18:28:41 +09:00
50d1705100
test: migrate 949_dotbase_addr_slice to @test + byteid carve-out seam, retire C twin (fold-3)
Hojun-Cho
2026-06-22 18:06:05 +09:00
Hojun-Cho