Add files via upload

95aea1e

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

Sign in for the full log view

Verify recycled bit registers on the paired-cube bit word on: pull_request

certificate (3.11)

certificate (3.14)

Verify terminal elimination on the paired-cube bit word on: pull_request

certificate (3.11)

certificate (3.14)

Graded box convolution on: pull_request 4

verify (3.11)

verify (3.14)

Verify early reset and kernel composition on: pull_request 4

verify (3.11)

verify (3.14)

Registered research packages on: pull_request 1

plan

replay (research/t74-borrow-repacked)

Verify research artifacts on: pull_request 43

verify (3.11, community)

verify (3.11, producers)

verify (3.11, certificates)

verify (3.11, ternary)

verify (3.11, research)

verify (3.11, tests)

verify (3.11, strips)

verify (3.11, clones)

verify (3.11, positive)

verify (3.11, joint)

verify (3.11, pair)

verify (3.11, partial-gauge)

verify (3.11, three-stage-cover)

verify (3.11, paired-cube)

verify (3.11, recycled-bit)

verify (3.11, entrance-banks)

verify (3.13, community)

verify (3.13, producers)

verify (3.13, certificates)

verify (3.13, ternary)

verify (3.13, research)

verify (3.13, tests)

verify (3.13, strips)

verify (3.13, clones)

verify (3.13, positive)

verify (3.13, joint)

verify (3.13, pair)

verify (3.13, partial-gauge)

verify (3.13, three-stage-cover)

verify (3.13, paired-cube)

verify (3.13, recycled-bit)

verify (3.13, entrance-banks)

verify (3.14, community)

verify (3.14, producers)

verify (3.14, certificates)

verify (3.14, ternary)

verify (3.14, research)

verify (3.14, tests)

verify (3.14, strips)

verify (3.14, clones)

verify (3.14, positive)

verify (3.14, joint)

verify (3.14, pair)

verify (3.14, partial-gauge)

verify (3.14, three-stage-cover)

verify (3.14, paired-cube)

verify (3.14, recycled-bit)

verify (3.14, entrance-banks)

ranked-pair-finite

formal (historical)

formal (gaussian)

formal (matrix)

certificate (3.14)

succeeded Oct 16, 2026 in 4m 14s

Loading

Re-running jobs...