Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
19 commits
Select commit Hold shift + click to select a range
83889ee
igla race: ternary_mac widens before negating, drops the free-variabl…
gHashTag Oct 18, 2026
ca81f38
igla race: ternary_mac benches use the block form (refs #10371)
gHashTag Oct 18, 2026
12a465a
igla race: ternary_mac wave tests call ternary_mac(acc, a, w) in sign…
gHashTag Oct 18, 2026
14ebdb2
igla race: ternary_mac uses struct literals, not nonexistent TernaryW…
gHashTag Oct 18, 2026
65aaa1f
igla race: ternary_mac tests state true arithmetic, no cast_ helpers …
gHashTag Oct 18, 2026
123d12a
igla race: ternary_mul wraps 128 to -128 by hand instead of trapping …
gHashTag Oct 18, 2026
ddd3eee
igla race: ternary_mul stays self-contained for the cross-target gate…
gHashTag Oct 18, 2026
7903b7c
igla race: ternary_gemm exact i32 kernels, 8x8 without array concat, …
gHashTag Oct 18, 2026
2cd5da0
igla race: ternary_gemm block-form benches, struct-literal weights (r…
gHashTag Oct 18, 2026
70e0dd9
igla race: ternary_gemm element-wise array checks, drop undefined 8x8…
gHashTag Oct 18, 2026
2b879fb
igla race: ternary_gemm returns fixed arrays (no dangling slice), dro…
gHashTag Oct 18, 2026
98fa433
igla race: ternary_gemm fix single-element test, explicit identity we…
gHashTag Oct 18, 2026
51863c0
igla race: ternary_gemm identity test passes weights, not activations…
gHashTag Oct 18, 2026
dd2e7c1
igla race: ternary_gemm expectations are the true matrix products, bo…
gHashTag Oct 18, 2026
3e0db53
igla race: ternary_gemm no vacuous shape tests, extreme-activation ca…
gHashTag Oct 18, 2026
4afb3de
igla race: re-bless assertionless baseline, ternary_gemm 144 -> 142 (…
gHashTag Oct 18, 2026
38ab8dc
igla race: reseal ternary_mac and ternary_gemm on the lab, no blocked…
gHashTag Oct 18, 2026
f560f13
Merge origin/master into igla-race-ternary-repair (keep the verified …
gHashTag Oct 18, 2026
6885b02
igla race: re-bless assertionless baseline after merging master (tern…
gHashTag Oct 18, 2026
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
23 changes: 14 additions & 9 deletions .trinity/seals/race_igla-race-ternary-gemm.json
Original file line number Diff line number Diff line change
@@ -1,29 +1,34 @@
{
"built_by": "t27c-bootstrap@0.5.2+cc19d1fcd",
"built_by": "t27c-bootstrap@0.5.2+9448ab4be",
"closure": [
{
"spec": "specs/base/types.t27",
"spec_hash": "sha256:3c2fb2a2edf20e90bc76798fb5d12690b2f60fc0f5bbf2f6052936e22d6e62e2"
},
{
"spec": "specs/igla/race/ternary_mac.t27",
"spec_hash": "sha256:c14549c69c9de5701d69e87b5201937a9e667c5b45999d877656e9e42f67bb3f"
"spec_hash": "sha256:3b6886c1ccdb8194f61f0da6fbb2fc51296af62429d35f5ed62bb59a5d4c6fc4"
}
],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:f1b0075cd371feb784f33edd94211b89da59df24e7e8e34de4b8d4ff8b80a6b4",
"gen_hash_rust": "sha256:0b2e87b25c58b0a6335805eca236de07a58e90c8bb467ffccb7c9c2621b2a84e",
"gen_hash_verilog": "sha256:bdb73e5382e4a52ed2f2fec2619aa768e115d4d9e4df373520e8ef0049e38470",
"gen_hash_zig": "sha256:1e4a30536ce65e34edd0da1c20c64d6c68e81433a69efced1e9236bf971cce8d",
"gen_hash_c": "sha256:91c7742b2a806f4c5acd017c24fc67cd9338badf07ad9b4fed12aa61d4f064d3",
"gen_hash_rust": "sha256:bfa14b5e1c5779e194e01750c2a79e9a909cc454f9027c9e481b9cc144a62d7c",
"gen_hash_verilog": "sha256:739a3c1d01dad7de53b171711a22f0795a991765c6f4ab9b87ecdd4c7d2495e7",
"gen_hash_zig": "sha256:930ee5117de461f96363748cccb6cfe15a7dad4f32ed3206e4cd327c96ea8671",
"module": "igla-race-ternary-gemm",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-11T10:43:15Z",
"sealed_at": "2026-10-18T10:07:48Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:607d9e99f30688eb84635aa46ad305d3a08ee9fba01b2e0ec7a093276bcad285",
"spec_hash": "sha256:fcfc297bcb7b9f71736b27eaa807cbebdc3055ff598e837816430f883acadb8b",
"spec_path": "specs/igla/race/ternary_gemm.t27",
"tests": {
"blocked": "does not compile: spec.zig:504:49: error: expected '}', found ':'"
"failed": 0,
"failing": [],
"forced": false,
"passed": 270,
"total": 270,
"vacuous": 144
},
"toolchain": {
"test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d",
Expand Down
20 changes: 10 additions & 10 deletions .trinity/seals/race_igla-race-ternary-mac.json
Original file line number Diff line number Diff line change
@@ -1,30 +1,30 @@
{
"built_by": "t27c-bootstrap@0.5.2+093bf4713",
"built_by": "t27c-bootstrap@0.5.2+9448ab4be",
"closure": [
{
"spec": "specs/base/types.t27",
"spec_hash": "sha256:3c2fb2a2edf20e90bc76798fb5d12690b2f60fc0f5bbf2f6052936e22d6e62e2"
}
],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:4b8b37b37919dde566e6263d6c43bbdfc2c046383d2551481d9fd26ca640fca9",
"gen_hash_rust": "sha256:944e4757994dd97494c1e88716b759606e7a3ba80c2fcbb143f01187e39f53d0",
"gen_hash_verilog": "sha256:6924ed39e86148c73bd432717857f449a4a0fc47a82108adbd1bf171c437bf04",
"gen_hash_zig": "sha256:9048245fd5d4fd2a5a20f57950ac8bdeee91c8b2cc22ab3b44b93e0407c1086d",
"gen_hash_c": "sha256:526daf9c7e7f9dfd7ee11474ae2e3edd5a7126e44f523c16e5a675ff7565336e",
"gen_hash_rust": "sha256:3bb86831726d7b22cc93a157f6f0cff83a9c4085b01f08e9de00193dbe32252b",
"gen_hash_verilog": "sha256:32480abb1ff80318d97714499af15dbd9cd0cacec3bba8cb83f39ee6a09d9da0",
"gen_hash_zig": "sha256:a82362f0a1842213b4516ac663b9404ebe2d1339efe942d31513937fdc214823",
"module": "igla-race-ternary-mac",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-18T09:30:37Z",
"sealed_at": "2026-10-18T10:07:46Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:ebaaddec95ec69774a208a2a03ac0a2093502d6a38b66beda14d3ec756b1d972",
"spec_hash": "sha256:3b6886c1ccdb8194f61f0da6fbb2fc51296af62429d35f5ed62bb59a5d4c6fc4",
"spec_path": "specs/igla/race/ternary_mac.t27",
"tests": {
"failed": 0,
"failing": [],
"forced": false,
"passed": 335,
"total": 335,
"vacuous": 0
"passed": 341,
"total": 341,
"vacuous": 146
},
"toolchain": {
"test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d",
Expand Down
Loading
Loading