dcharlot
0 followers · 0 following
  • Joined on 2026-07-07
Repositories Projects Packages Public activity Starred repositories
2e88815b66 joule-code-remediate: formal_fix prints each proof figure with its grade, not as "measured"
dcharlot created branch fix/formal-fix-energy-label in Transaction-Science/open-standards 2026-10-14 20:01:40 -04:00
dcharlot pushed to wai/quantum-npu at Transaction-Science/open-standards 2026-10-14 19:56:43 -04:00
e5191a6079 ci: the 0.5.1 member workflows run only when the pull request's own diff touches them
d8ccd14292 Merge wai/quantum-0.5.0 (with main) into wai/quantum-npu
74482be43a ci: the wai-quantum member workflows run only when the pull request's own diff touches them
7f628cff16 Merge main into wai/quantum-0.5.0
abf0931055 Merge pull request 'ci: one job for the repository's script checks' (#260) from ci/one-job-for-repo-checks into main
Compare 31 commits »
dcharlot pushed to wai/quantum-0.5.0 at Transaction-Science/open-standards 2026-10-14 19:55:54 -04:00
74482be43a ci: the wai-quantum member workflows run only when the pull request's own diff touches them
7f628cff16 Merge main into wai/quantum-0.5.0
abf0931055 Merge pull request 'ci: one job for the repository's script checks' (#260) from ci/one-job-for-repo-checks into main
6b242664e5 Merge pull request 'sandbox §5.3: an enforced grant field was outside the grant's content address' (#254) from dcharlot/bind-egress-credentials into main
4a0ea0f6c6 ci: one job for the repository's script checks
Compare 29 commits »
dcharlot deleted branch ci/meter-clippy-macos from Transaction-Science/open-standards 2026-10-14 19:54:21 -04:00
dcharlot pushed to main at Transaction-Science/open-standards 2026-10-14 19:54:12 -04:00
e8991c9029 Merge pull request 'jouleclaw-energy: a ledger total carries its weakest grade; macOS meter code is linted in CI' (#259) from ci/meter-clippy-macos into main
de217a854e jouleclaw-energy: a ledger total carries its weakest grade; macOS meter code is linted in CI
Compare 2 commits »
dcharlot merged pull request Transaction-Science/open-standards#259 2026-10-14 19:54:10 -04:00
jouleclaw-energy: a ledger total carries its weakest grade; macOS meter code is linted in CI
b07ce38a6b fuzz: the seed writer lives under src/bin, where cargo and the orphan check find it
dcharlot pushed to wai/quantum-npu at Transaction-Science/open-standards 2026-10-14 12:43:51 -04:00
29fa40af80 wai-quantum: the dataflow member, on 32 RISC-V cores of a simulated accelerator
dcharlot pushed to main at Transaction-Science/open-standards 2026-10-14 12:43:32 -04:00
abf0931055 Merge pull request 'ci: one job for the repository's script checks' (#260) from ci/one-job-for-repo-checks into main
4a0ea0f6c6 ci: one job for the repository's script checks
Compare 2 commits »
dcharlot merged pull request Transaction-Science/open-standards#260 2026-10-14 12:43:30 -04:00
ci: one job for the repository's script checks
dcharlot pushed to wai/d2c-m2-m3 at Transaction-Science/open-standards 2026-10-14 12:42:35 -04:00
60b6e593ce Merge main into wai/d2c-m2-m3
6b242664e5 Merge pull request 'sandbox §5.3: an enforced grant field was outside the grant's content address' (#254) from dcharlot/bind-egress-credentials into main
3c5e9dbe31 Merge pull request 'wai-quantum WebGPU: the windows member, five adapters certified bit-exact' (#247) from wai/quantum-webgpu-windows into main
fea5aed2d0 Merge pull request 'ci: wai-quantum's byte-pinning tests on nine more instruction sets' (#248) from wai/quantum-processors-ci into main
9b3275957d Merge pull request 'ci: the standards build builds the workspaces a change touches' (#251) from ci/build-what-changes into main
Compare 18 commits »
0da93176af Merge main into wai/extension-duration-limits
6b242664e5 Merge pull request 'sandbox §5.3: an enforced grant field was outside the grant's content address' (#254) from dcharlot/bind-egress-credentials into main
3c5e9dbe31 Merge pull request 'wai-quantum WebGPU: the windows member, five adapters certified bit-exact' (#247) from wai/quantum-webgpu-windows into main
fea5aed2d0 Merge pull request 'ci: wai-quantum's byte-pinning tests on nine more instruction sets' (#248) from wai/quantum-processors-ci into main
9b3275957d Merge pull request 'ci: the standards build builds the workspaces a change touches' (#251) from ci/build-what-changes into main
Compare 21 commits »
dcharlot pushed to main at Transaction-Science/open-standards 2026-10-14 12:31:04 -04:00
6b242664e5 Merge pull request 'sandbox §5.3: an enforced grant field was outside the grant's content address' (#254) from dcharlot/bind-egress-credentials into main
a79fb5ca46 sandbox: drop an assertion of mine that could not fail
2ea5ad3e9c sandbox §5.3: an enforced grant field was outside the grant's content address
Compare 3 commits »
dcharlot merged pull request Transaction-Science/open-standards#254 2026-10-14 12:31:04 -04:00
sandbox §5.3: an enforced grant field was outside the grant's content address
dcharlot created pull request Transaction-Science/open-standards#260 2026-10-14 12:06:02 -04:00
ci: one job for the repository's script checks
4a0ea0f6c6 ci: one job for the repository's script checks
dcharlot created branch ci/one-job-for-repo-checks in Transaction-Science/open-standards 2026-10-14 12:05:59 -04:00
dcharlot pushed to wai/quantum-npu at Transaction-Science/open-standards 2026-10-14 12:01:44 -04:00
47994f302b wai-quantum: the CPU vector-unit members (avx2, sve, rvv)
dcharlot created pull request Transaction-Science/open-standards#259 2026-10-14 11:58:10 -04:00
jouleclaw-energy: a ledger total carries its weakest grade; macOS meter code is linted in CI