Skip to content

Actions: Chessing234/collatz

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
107 workflow runs
107 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
Merge pull request #13 from Chessing234/research/eleven-halves-clock CI #107: Commit 4a4a03a pushed by Chessing234
8m 43s main
main
8m 43s
Prove a sharp thirty-step clock plateau with infinitely many witnesses CI #106: Pull request #13 opened by Chessing234
8m 53s research/eleven-halves-clock
research/eleven-halves-clock
8m 53s
Prove a sharp thirty-step band-clock plateau and infinite witness family CI #105: Commit ca7ef51 pushed by Chessing234
8m 36s research/eleven-halves-clock
research/eleven-halves-clock
8m 36s
Merge pull request #12 from Chessing234/research/six-band-size CI #104: Commit a46bd66 pushed by Chessing234
5m 16s main
main
5m 16s
Bound six-band witness sizes and extend ordinary prefix duration CI #103: Pull request #12 opened by Chessing234
5m 15s research/six-band-size
research/six-band-size
5m 15s
Quantify six-band witness sizes and retain expanded ordinary duration CI #102: Commit 2990e60 pushed by Chessing234
5m 19s research/six-band-size
research/six-band-size
5m 19s
Merge pull request #11 from Chessing234/research/six-band-prefixes CI #101: Commit f6a1a8f pushed by Chessing234
5m 19s main
main
5m 19s
Prove a universal ratio-six band-clock obstruction CI #100: Pull request #11 opened by Chessing234
6m 19s research/six-band-prefixes
research/six-band-prefixes
6m 19s
Prove arbitrarily long Collatz prefixes in ratio-six bands CI #99: Commit e837ceb pushed by Chessing234
5m 24s research/six-band-prefixes
research/six-band-prefixes
5m 24s
Merge pull request #10 from Chessing234/research/wider-band-clocks CI #98: Commit 7576ddf pushed by Chessing234
5m 20s main
main
5m 20s
Prove sharp seventeen-step wider-band clocks and generic witness transfer CI #97: Pull request #10 opened by Chessing234
6m 43s research/wider-band-clocks
research/wider-band-clocks
6m 43s
Prove sharp seventeen-step wider-band clocks with residue certificates CI #96: Commit 10e7ecc pushed by Chessing234
5m 11s research/wider-band-clocks
research/wider-band-clocks
5m 11s
Merge pull request #9 from Chessing234/research/rational-band-obstruc… CI #95: Commit 832140d pushed by Chessing234
6m 6s main
main
6m 6s
Formalize rational band obstruction and integer return comparison CI #94: Pull request #9 opened by Chessing234
5m 15s research/rational-band-obstruction
research/rational-band-obstruction
5m 15s
Formalize rational band obstruction and integer return comparison CI #93: Commit 84f87ec pushed by Chessing234
3m 45s research/rational-band-obstruction
research/rational-band-obstruction
3m 45s
Merge pull request #8 from Chessing234/research/constant-band-exit CI #92: Commit 9f337b3 pushed by Chessing234
4m 17s main
main
4m 17s
Prove sharp twelve-step band exits and conditional high-visit frequency CI #91: Pull request #8 opened by Chessing234
6m 14s research/constant-band-exit
research/constant-band-exit
6m 14s
Prove sharp twelve-step band exits and conditional excursion frequency CI #90: Commit 1e33b64 pushed by Chessing234
5m 4s research/constant-band-exit
research/constant-band-exit
5m 4s
Merge pull request #7 from Chessing234/research/floor-excursion CI #89: Commit 3e3ad25 pushed by Chessing234
4m 6s main
main
4m 6s
Prove sharp eight-step excursions from Collatz orbit floors CI #88: Pull request #7 opened by Chessing234
6m 3s research/floor-excursion
research/floor-excursion
6m 3s
proof: derive sharp eight-step floor excursion and five-band exit CI #87: Commit 8e60d9a pushed by Chessing234
4m 7s research/floor-excursion
research/floor-excursion
4m 7s
Merge pull request #6 from Chessing234/research/interval-capacity CI #86: Commit 74edab2 pushed by Chessing234
4m 48s main
main
4m 48s
Derive exact Collatz interval capacities and reduce cycle certificate budgets CI #85: Pull request #6 opened by Chessing234
4m 54s research/interval-capacity
research/interval-capacity
4m 54s
proof: derive exact one- and two-step interval capacities CI #84: Commit e890709 pushed by Chessing234
3m 57s research/interval-capacity
research/interval-capacity
3m 57s
Merge pull request #5 from Chessing234/research/anchored-barrier-kernel CI #83: Commit 518dc0b pushed by Chessing234
4m 33s main
main
4m 33s