Skip to content

Actions: DanieleCorso/integer-mult-bounds

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
Workflows are not currently being run on this fork due to the scale of GitHub Actions usage. A repository maintainer can choose to re-enable these.
201 workflow runs
201 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Pair donors to avoid parity erasure: kappa = 6.647872e-4 Verify finite bit leaf bootstrap #1: Commit 187e101 pushed by DanieleCorso
2h 53m 12s research/kappa-6729-completed-bit-banks
research/kappa-6729-completed-bit-banks
2h 53m 12s
Pair donors to avoid parity erasure: kappa = 6.647872e-4 Verify source-assisted complex word on PR168 v4 modules #1: Commit 187e101 pushed by DanieleCorso
2h 51m 19s research/kappa-6729-completed-bit-banks
research/kappa-6729-completed-bit-banks
2h 51m 19s
Pair donors to avoid parity erasure: kappa = 6.647872e-4 Verify research artifacts #101: Commit 187e101 pushed by DanieleCorso
3h 16m 32s research/kappa-6729-completed-bit-banks
research/kappa-6729-completed-bit-banks
3h 16m 32s
CI: include reproducible audit of 61 algebraically admissible pair-mo… Bit-pair 397 candidate (no kappa claim) #15: Commit 619e1fa pushed by DanieleCorso
2h 40m 47s research/paired-cube-6558-bit-pair-cse
research/paired-cube-6558-bit-pair-cse
2h 40m 47s
CI: include reproducible audit of 61 algebraically admissible pair-mo… Verify research artifacts #100: Commit 619e1fa pushed by DanieleCorso
4h 52m 35s research/paired-cube-6558-bit-pair-cse
research/paired-cube-6558-bit-pair-cse
4h 52m 35s
Publish read-only exact full-word matching reproducer for all 61 loca… Bit-pair 397 candidate (no kappa claim) #14: Commit f3f4e5e pushed by DanieleCorso
2h 34m 25s research/paired-cube-6558-bit-pair-cse
research/paired-cube-6558-bit-pair-cse
2h 34m 25s
Publish read-only exact full-word matching reproducer for all 61 loca… Verify research artifacts #99: Commit f3f4e5e pushed by DanieleCorso
4h 40m 13s research/paired-cube-6558-bit-pair-cse
research/paired-cube-6558-bit-pair-cse
4h 40m 13s
Audit all 61 legal pair-module rewrites and 13 coupled rewrites: none… Verify research artifacts #98: Commit 10e7a7a pushed by DanieleCorso
4h 25m 3s research/paired-cube-6558-bit-pair-cse
research/paired-cube-6558-bit-pair-cse
4h 25m 3s
Audit all 61 legal pair-module rewrites and 13 coupled rewrites: none… Bit-pair 397 candidate (no kappa claim) #13: Commit 10e7a7a pushed by DanieleCorso
2h 33m 3s research/paired-cube-6558-bit-pair-cse
research/paired-cube-6558-bit-pair-cse
2h 33m 3s
CI: check complete source decoder, 8800 caps, and two negative contro… Bit-pair 397 candidate (no kappa claim) #12: Commit fff4561 pushed by DanieleCorso
2h 59m 26s research/paired-cube-6558-bit-pair-cse
research/paired-cube-6558-bit-pair-cse
2h 59m 26s
CI: check complete source decoder, 8800 caps, and two negative contro… Verify research artifacts #97: Commit fff4561 pushed by DanieleCorso
4h 45m 34s research/paired-cube-6558-bit-pair-cse
research/paired-cube-6558-bit-pair-cse
4h 45m 34s
Add two negative controls to exact full p12 decoder regression Verify research artifacts #96: Commit 843f121 pushed by DanieleCorso
4h 36m 33s research/paired-cube-6558-bit-pair-cse
research/paired-cube-6558-bit-pair-cse
4h 36m 33s
Add two negative controls to exact full p12 decoder regression Bit-pair 397 candidate (no kappa claim) #11: Commit 843f121 pushed by DanieleCorso
2h 52m 55s research/paired-cube-6558-bit-pair-cse
research/paired-cube-6558-bit-pair-cse
2h 52m 55s
Document exact four-way matching regression: fewer additions produce … Verify research artifacts #95: Commit d721e3c pushed by DanieleCorso
4h 29m 18s research/paired-cube-6558-bit-pair-cse
research/paired-cube-6558-bit-pair-cse
4h 29m 18s
Document exact four-way matching regression: fewer additions produce … Bit-pair 397 candidate (no kappa claim) #10: Commit d721e3c pushed by DanieleCorso
2h 47m 4s research/paired-cube-6558-bit-pair-cse
research/paired-cube-6558-bit-pair-cse
2h 47m 4s
Independently check full 1760-port decoder, 8800 root caps and 1860 f… Verify research artifacts #94: Commit 482a0e0 pushed by DanieleCorso
4h 32m 46s research/paired-cube-6558-bit-pair-cse
research/paired-cube-6558-bit-pair-cse
4h 32m 46s
Independently check full 1760-port decoder, 8800 root caps and 1860 f… Bit-pair 397 candidate (no kappa claim) #9: Commit 482a0e0 pushed by DanieleCorso
2h 54m 12s research/paired-cube-6558-bit-pair-cse
research/paired-cube-6558-bit-pair-cse
2h 54m 12s
Gate bit graph with independent signed arithmetic and DAG liveness ch… Bit-pair 397 candidate (no kappa claim) #8: Commit 1301603 pushed by DanieleCorso
2h 35m 37s research/paired-cube-6558-bit-pair-cse
research/paired-cube-6558-bit-pair-cse
2h 35m 37s
Gate bit graph with independent signed arithmetic and DAG liveness ch… Verify research artifacts #93: Commit 1301603 pushed by DanieleCorso
4h 23m 20s research/paired-cube-6558-bit-pair-cse
research/paired-cube-6558-bit-pair-cse
4h 23m 20s
Add reproducible exact n10/n11 pair-disjoint local certificates; no k… Bit-pair 397 candidate (no kappa claim) #7: Commit d95985f pushed by DanieleCorso
2h 24m 40s research/paired-cube-6558-bit-pair-cse
research/paired-cube-6558-bit-pair-cse
2h 24m 40s
Add reproducible exact n10/n11 pair-disjoint local certificates; no k… Verify research artifacts #92: Commit d95985f pushed by DanieleCorso
4h 16m 46s research/paired-cube-6558-bit-pair-cse
research/paired-cube-6558-bit-pair-cse
4h 16m 46s
Add independent no-dead-node and integer-replay proof for 301/397-add… Bit-pair 397 candidate (no kappa claim) #6: Commit 7093dfc pushed by DanieleCorso
2h 23m 10s research/paired-cube-6558-bit-pair-cse
research/paired-cube-6558-bit-pair-cse
2h 23m 10s
Add independent no-dead-node and integer-replay proof for 301/397-add… Verify research artifacts #91: Commit 7093dfc pushed by DanieleCorso
4h 7m 48s research/paired-cube-6558-bit-pair-cse
research/paired-cube-6558-bit-pair-cse
4h 7m 48s
CI gate both reproducible optimized pair modules before whole-bit graph Verify research artifacts #90: Commit 57071c9 pushed by DanieleCorso
4h 0m 16s research/paired-cube-6558-bit-pair-cse
research/paired-cube-6558-bit-pair-cse
4h 0m 16s
CI gate both reproducible optimized pair modules before whole-bit graph Bit-pair 397 candidate (no kappa claim) #5: Commit 57071c9 pushed by DanieleCorso
1h 40m 41s research/paired-cube-6558-bit-pair-cse
research/paired-cube-6558-bit-pair-cse
1h 40m 41s