dcharlot
0 followers · 0 following
  • Joined on 2026-07-07
Repositories Projects Packages Public activity Starred repositories
540c1670b7 wai-quantum 0.5.2: the dataflow device's vector engine as a member
dcharlot created branch wai/quantum-dataflow-vector in Transaction-Science/open-standards 2026-10-15 01:49:22 -04:00
dcharlot created pull request Transaction-Science/open-standards#264 2026-10-15 01:28:09 -04:00
wai-ops: wai.audio.int_codec decodes through the integer operator set, goldens unchanged (D2c, M3)
dcharlot pushed to wai/d2c-m3 at Transaction-Science/open-standards 2026-10-15 01:28:03 -04:00
5b74b05b0f Merge origin/main (at 5d4ae64c, with #253) into wai/d2c-m3
3df705ddc3 Merge origin/wai/d2c-m2-m3 (at 3bd4d566, #257 with main at aac73b5c) into wai/d2c-m3
Compare 2 commits »
dcharlot created branch wai/d2c-m3 in Transaction-Science/open-standards 2026-10-15 01:28:03 -04:00
dcharlot created pull request Transaction-Science/open-standards#263 2026-10-15 01:12:09 -04:00
wai-quantum 0.5.1: neural-processor, matrix-extension, vector-unit, signal-processor and dataflow members
dcharlot pushed to wai/quantum-npu at Transaction-Science/open-standards 2026-10-15 01:11:45 -04:00
0b1b5134ad Merge main (with wai-quantum 0.5.0) into wai/quantum-npu
5d4ae64cbd Merge pull request 'wai-quantum 0.5.0: provenance, sampling members, device programs, OpenCL, a simulated FPGA, f64 on accelerators, and QPU clients' (#253) from wai/quantum-0.5.0 into main
d1c9d8b554 Merge main into wai/quantum-0.5.0
aac73b5cb2 Merge pull request 'wai: reader limits for the extension formats' durations' (#258) from wai/extension-duration-limits into main
bd362c6283 Merge pull request 'joule-code-remediate: formal_fix prints each proof figure with its grade, not as "measured"' (#261) from fix/formal-fix-energy-label into main
Compare 13 commits »
dcharlot pushed to wai/d2c-m2-m3 at Transaction-Science/open-standards 2026-10-15 01:09:46 -04:00
3bd4d56637 Merge main (with #258) into wai/d2c-m2-m3
aac73b5cb2 Merge pull request 'wai: reader limits for the extension formats' durations' (#258) from wai/extension-duration-limits into main
bd362c6283 Merge pull request 'joule-code-remediate: formal_fix prints each proof figure with its grade, not as "measured"' (#261) from fix/formal-fix-energy-label into main
2e88815b66 joule-code-remediate: formal_fix prints each proof figure with its grade, not as "measured"
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
Compare 13 commits »
dcharlot pushed to main at Transaction-Science/open-standards 2026-10-15 01:08:35 -04:00
5d4ae64cbd Merge pull request 'wai-quantum 0.5.0: provenance, sampling members, device programs, OpenCL, a simulated FPGA, f64 on accelerators, and QPU clients' (#253) from wai/quantum-0.5.0 into main
d1c9d8b554 Merge main into wai/quantum-0.5.0
f1c254ba3a wai-quantum 0.5.0: FabricClass is non-exhaustive
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
Compare 6 commits »
dcharlot merged pull request Transaction-Science/open-standards#253 2026-10-15 01:08:34 -04:00
wai-quantum 0.5.0: provenance, sampling members, device programs, OpenCL, a simulated FPGA, f64 on accelerators, and QPU clients
dcharlot created pull request Transaction-Science/open-standards#262 2026-10-15 01:08:12 -04:00
eoc-meter: say where the sampler-re-reads property is actually pinned
dcharlot pushed to fix/meter-freshness-note at Transaction-Science/open-standards 2026-10-15 01:08:12 -04:00
4d745abf6b eoc-meter: say where the sampler-re-reads property is actually pinned
dcharlot created branch fix/meter-freshness-note in Transaction-Science/open-standards 2026-10-15 01:08:12 -04:00
dcharlot pushed to wai/quantum-0.5.0 at Transaction-Science/open-standards 2026-10-15 01:07:33 -04:00
d1c9d8b554 Merge main into wai/quantum-0.5.0
aac73b5cb2 Merge pull request 'wai: reader limits for the extension formats' durations' (#258) from wai/extension-duration-limits into main
bd362c6283 Merge pull request 'joule-code-remediate: formal_fix prints each proof figure with its grade, not as "measured"' (#261) from fix/formal-fix-energy-label into main
2e88815b66 joule-code-remediate: formal_fix prints each proof figure with its grade, not as "measured"
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
Compare 11 commits »
dcharlot closed pull request Transaction-Science/open-standards#256 2026-10-15 01:04:51 -04:00
wai: coverage-guided fuzzing of the reader, and the container reservations it found
dcharlot closed pull request Transaction-Science/open-standards#255 2026-10-15 01:04:49 -04:00
wai: reader limits for picture, audio and video payloads
dcharlot pushed to main at Transaction-Science/open-standards 2026-10-15 01:04:13 -04:00
aac73b5cb2 Merge pull request 'wai: reader limits for the extension formats' durations' (#258) from wai/extension-duration-limits into main
b07ce38a6b fuzz: the seed writer lives under src/bin, where cargo and the orphan check find it
0da93176af Merge main into wai/extension-duration-limits
161d147767 wai: reader limits for the extension formats' durations
3a6963ea0d wai: coverage-guided fuzzing of the reader, and the container reservations it found
Compare 6 commits »
dcharlot merged pull request Transaction-Science/open-standards#258 2026-10-15 01:04:12 -04:00
wai: reader limits for the extension formats' durations
dcharlot deleted branch fix/formal-fix-energy-label from Transaction-Science/open-standards 2026-10-15 01:03:56 -04:00
dcharlot pushed to main at Transaction-Science/open-standards 2026-10-15 01:03:51 -04:00
bd362c6283 Merge pull request 'joule-code-remediate: formal_fix prints each proof figure with its grade, not as "measured"' (#261) from fix/formal-fix-energy-label into main
2e88815b66 joule-code-remediate: formal_fix prints each proof figure with its grade, not as "measured"
Compare 2 commits »