Add files via upload

90c52db

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 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 research artifacts on: pull_request 21

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)

Verify early reset and kernel composition on: pull_request 4

verify (3.11)

verify (3.14)

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

certificate (3.11)

certificate (3.14)

Registered research packages on: pull_request

plan

replay

certificate (3.11)

succeeded Oct 17, 2026 in 5m 23s

Loading

Re-running jobs...