Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
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
14 changes: 7 additions & 7 deletions .trinity/seals/analog_AnalogAcceptSar.json
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@
},
{
"spec": "specs/analog/mos_psp103_gates.t27",
"spec_hash": "sha256:63ec92b62957ef68e8522c4dc392727ef8e5dc3b97195d519d68da1193b83e66"
"spec_hash": "sha256:1b86ebd4bba806b972b39625d135646d7880255ab934c521a51467c92e42ee35"
},
{
"spec": "specs/analog/sar_adc.t27",
Expand Down Expand Up @@ -55,16 +55,16 @@
}
],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:34ccbab9cc4e3487395ef4e9b572a107c27a6dcfc9f1fce65e25448c65d2460d",
"gen_hash_rust": "sha256:fb56af614562c17edf7ddf801463a2b0cab6650b4833e140e3d753d7b72fe2b8",
"gen_hash_verilog": "sha256:c2311f1cb2c8fd5da7cda29c7c498104e62920a3d1cf3e17bfa0fd85eefb514c",
"gen_hash_zig": "sha256:23badcb27fb8ab78bc62a2956cdc25171e5d9e3274c50afe622e16c92c931e43",
"gen_hash_c": "sha256:3f6992a682a03e5d9ce66aa9dc261de35315b020aa2dd125cf9fc4ba5ba06e6b",
"gen_hash_rust": "sha256:491dfc6f9418e5650b2f66d415df6683edf68ced544648f0310c4b6452c8c9cd",
"gen_hash_verilog": "sha256:bc2099c4b2bf4d4f8d191946936ec071c4f87091fff777ccdcd4298461f07cb3",
"gen_hash_zig": "sha256:81a184a65723aa373c8ec78d9405d2501d38623d9102fcf8f41979494c4cff57",
"module": "AnalogAcceptSar",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-20T08:13:43Z",
"sealed_at": "2026-10-20T09:07:24Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:815322645790478d663c1b0a8ce688e419fa7f78e2d9718042e7695d110f6087",
"spec_hash": "sha256:6304ef41504fb584a1a7ac3af7779acaa2a468be46df1055217f4fb4206867e2",
"spec_path": "specs/analog/accept_sar.t27",
"tests": {
"failed": 0,
Expand Down
26 changes: 17 additions & 9 deletions .trinity/seals/analog_AnalogMosPsp103Gates.json
Original file line number Diff line number Diff line change
@@ -1,6 +1,10 @@
{
"built_by": "t27c-bootstrap@0.5.2+2d3203e90",
"closure": [
{
"spec": "specs/analog/linear.t27",
"spec_hash": "sha256:3ddef7be183aba583ed285334ee389b48a65b41335e98914514235db7c4e5d62"
},
{
"spec": "specs/analog/mos_psp103.t27",
"spec_hash": "sha256:e04b69e5c43188a3d46a4c0949cfc727f239721de73fb46e92c8a845bbbbc98e"
Expand All @@ -9,29 +13,33 @@
"spec": "specs/analog/mos_psp103_data.t27",
"spec_hash": "sha256:86e7c154c88a325e41ff4a154a3b766cb8d65e89e2ea82176b46ee4fc523dd74"
},
{
"spec": "specs/analog/mos_psp103_vsb_data.t27",
"spec_hash": "sha256:1084104fc91192606d207a0bb45084c5fb62f097d1850d1875fca25f72387cfe"
},
{
"spec": "specs/analog/mos_table.t27",
"spec_hash": "sha256:54e248069ae620d18d260231e238b6bc42dc3c65792bd1673b162c2dc97b2edb"
"spec_hash": "sha256:cbebd820d2284174fd88fd6e5c36fb4f0a7778c9977c9742fe215b177d623bd8"
}
],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:a27f3f394d8594134c3259e724858912d29f0870219ff3087c2beefaabb53a7f",
"gen_hash_rust": "sha256:773c19b0e5918f14274d5677437cec1ddca6bbba9a290593c7c74849913f0594",
"gen_hash_verilog": "sha256:e259d778dda4a1a118f8c81187e7dc22a319b098f3af0d00d7b46bb3b81b45a4",
"gen_hash_zig": "sha256:2ca337a6c0d2ccd3f92b1ad4e07d69298fc4d79b81075225c72f96f1829e1a0c",
"gen_hash_c": "sha256:3c1e5cb5dbd8dda22c01df25a41f4f39702fecf0352e9c060c0ef1e443b98d67",
"gen_hash_rust": "sha256:90e38efe9ca4b750f344f26d17acea27f6a761c7ec9b8b600ed825e14550b2ab",
"gen_hash_verilog": "sha256:c5fa61c958611e9d8b1bbc5c61eda17a257f053671e9a05f77500d5f496995f1",
"gen_hash_zig": "sha256:f7d5b8aab7819d20d8a58fc0fce4a00e309d3401f3c14faaa243188639d63497",
"module": "AnalogMosPsp103Gates",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-20T08:13:50Z",
"sealed_at": "2026-10-20T09:07:14Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:63ec92b62957ef68e8522c4dc392727ef8e5dc3b97195d519d68da1193b83e66",
"spec_hash": "sha256:1b86ebd4bba806b972b39625d135646d7880255ab934c521a51467c92e42ee35",
"spec_path": "specs/analog/mos_psp103_gates.t27",
"tests": {
"failed": 0,
"failing": [],
"forced": false,
"passed": 6,
"total": 6,
"passed": 9,
"total": 9,
"vacuous": 0
},
"toolchain": {
Expand Down
37 changes: 37 additions & 0 deletions .trinity/seals/analog_AnalogMosPsp103VsbData.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,37 @@
{
"built_by": "t27c-bootstrap@0.5.2+2d3203e90",
"closure": [
{
"spec": "specs/analog/mos_psp103_data.t27",
"spec_hash": "sha256:86e7c154c88a325e41ff4a154a3b766cb8d65e89e2ea82176b46ee4fc523dd74"
},
{
"spec": "specs/analog/mos_table.t27",
"spec_hash": "sha256:cbebd820d2284174fd88fd6e5c36fb4f0a7778c9977c9742fe215b177d623bd8"
}
],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:4c3995dba63df4e35e656f17860215b5657f61896abd9f142e1ce6e20bec84d5",
"gen_hash_rust": "sha256:7fcdaa84e58f4489e9d266bf59d69593f4bec21cf35c93276cccbda77225e4aa",
"gen_hash_verilog": "sha256:6bc5ac32b5c6d05f0c9b645c16a341015b99bef0c6f0f9a6b61dde1ee5983343",
"gen_hash_zig": "sha256:3ee153637cfb9c3afae60231fd8fbd0782cf20f2960b99da1d25726c09e34a65",
"module": "AnalogMosPsp103VsbData",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-20T09:07:07Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:1084104fc91192606d207a0bb45084c5fb62f097d1850d1875fca25f72387cfe",
"spec_path": "specs/analog/mos_psp103_vsb_data.t27",
"tests": {
"failed": 0,
"failing": [],
"forced": false,
"passed": 3,
"total": 3,
"vacuous": 0
},
"toolchain": {
"test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10",
"zig": "0.16.0"
}
}
18 changes: 9 additions & 9 deletions .trinity/seals/analog_AnalogMosTable.json
Original file line number Diff line number Diff line change
@@ -1,29 +1,29 @@
{
"built_by": "t27c-bootstrap@0.5.2+42a4860c4",
"built_by": "t27c-bootstrap@0.5.2+2d3203e90",
"closure": [
{
"spec": "specs/analog/linear.t27",
"spec_hash": "sha256:3ddef7be183aba583ed285334ee389b48a65b41335e98914514235db7c4e5d62"
}
],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:0d463e6735ad1e4b396815cc2cd3fbeaf247b51957a064a17401c55c662e7c09",
"gen_hash_rust": "sha256:88836ddfbb71fe8ead14846b2366b665f9bc75c79744eacaa5c393835356a3cc",
"gen_hash_verilog": "sha256:81cec1ae23c7262af635c0fca6a89e7b20a57473d4b3a1d011fbcb6a4f5e2e07",
"gen_hash_zig": "sha256:b6d45978701159e277778cb20711620e7f45af9ea9385df6a06d353b323e79ab",
"gen_hash_c": "sha256:497a6d0931257b149405e1e545ae77d6265d8e06be3197743fea8683f2cb17b0",
"gen_hash_rust": "sha256:ee143e299f97492f9bc241bfabae82e6b8f61db25d9ac6c1777f68562d54c2c9",
"gen_hash_verilog": "sha256:6e217c9e8b89a5a2a10af7665943f4df4a0ceb44c02d2ac4208ff9e02ba49328",
"gen_hash_zig": "sha256:15e1e282aa807ffe1516ec9b207cf7f26b3f1e6edbc0f3d602cd9dc980805e1d",
"module": "AnalogMosTable",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-19T19:25:12Z",
"sealed_at": "2026-10-20T09:07:01Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:54e248069ae620d18d260231e238b6bc42dc3c65792bd1673b162c2dc97b2edb",
"spec_hash": "sha256:cbebd820d2284174fd88fd6e5c36fb4f0a7778c9977c9742fe215b177d623bd8",
"spec_path": "specs/analog/mos_table.t27",
"tests": {
"failed": 0,
"failing": [],
"forced": false,
"passed": 20,
"total": 20,
"passed": 21,
"total": 21,
"vacuous": 0
},
"toolchain": {
Expand Down
Loading
Loading