Skip to content

Actions: querygraph/meander

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
71 workflow runs
71 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
Built library package arnold-meanders 1.3.0-a242e28a Lean Action CI #70: Commit 1c6fcbb pushed by alexy
In progress main
main
In progress
Paper 1.3.0: meet in the middle to n = 58, three new terms Lean Action CI #69: Commit a242e28 pushed by alexy
In progress main
main
In progress
Blog: rust-vs-oxcaml textpack 1.1.1-eaa8c3 (querygraph.ai) Lean Action CI #68: Commit 0dd00b7 pushed by alexy
1h 37m 10s main
main
1h 37m 10s
OxCaml to horizon 58 on Morrobay: all 59 values identical to Rust; OE… Lean Action CI #67: Commit eaa8c30 pushed by alexy
1h 52m 44s main
main
1h 52m 44s
store-safe.sh: pause on sustained disk slowness, not one slow probe Lean Action CI #66: Commit 4057793 pushed by alexy
1h 51m 1s main
main
1h 51m 1s
OxCaml key: drop the first and last brackets, reaching 58 brackets (h… Lean Action CI #65: Commit 45bb485 pushed by alexy
1h 52m 6s main
main
1h 52m 6s
OEIS draft: A005316 b-file extended to n = 58, with the submission notes Lean Action CI #64: Commit e557dcd pushed by alexy
1h 31m 6s main
main
1h 31m 6s
Blog: rust-vs-oxcaml textpack 1.1.0-f53e45 (querygraph.ai) Lean Action CI #63: Commit 7c19fe2 pushed by alexy
1h 50m 18s main
main
1h 50m 18s
Blog rust-vs-oxcaml: round two, meet in the middle; README and notes … Lean Action CI #62: Commit f53e453 pushed by alexy
1h 52m 44s main
main
1h 52m 44s
Rust --mitm: presized tables, parallel dot, forward layers read in place Lean Action CI #61: Commit 0dbf7b3 pushed by alexy
1h 50m 6s main
main
1h 50m 6s
rust-vs-ocaml.md: why OxCaml keeps getting it right first, and how we… Lean Action CI #60: Commit 67fc14e pushed by alexy
1h 20m 32s main
main
1h 20m 32s
Rust store: OxCaml's fixes (spare-table swap, radix sort, reused buff… Lean Action CI #59: Commit 8211168 pushed by alexy
1h 50m 38s main
main
1h 50m 38s
OxCaml README: the Rust vs OxCaml race on Morrobay, profiled Lean Action CI #58: Commit f102c37 pushed by alexy
1h 54m 41s main
main
1h 54m 41s
Bench: OxCaml meet in the middle to horizon 56 on Morrobay, identical… Lean Action CI #57: Commit dbbddee pushed by alexy
1h 52m 36s main
main
1h 52m 36s
Bench: meet in the middle to horizon 58 on Morrobay, with three new t… Lean Action CI #56: Commit edabf7c pushed by alexy
1h 50m 49s main
main
1h 50m 49s
Rust store: empty spilled tables in place; store-safe.sh: memory-pres… Lean Action CI #55: Commit d5647bf pushed by alexy
1h 50m 19s main
main
1h 50m 19s
Catalan.md: the Catalan-number upper bound on meanders, and how loose… Lean Action CI #54: Commit d4c153a pushed by alexy
1h 33m 45s main
main
1h 33m 45s
Stores: optional multi-pass steps (--passes P|auto), default one pass Lean Action CI #53: Commit fdd6188 pushed by alexy
1h 35m 51s main
main
1h 35m 51s
Stores: bound dirty pages (sync every 256 MB), refuse old-layout stor… Lean Action CI #52: Commit 7a0907f pushed by alexy
1h 33m 56s main
main
1h 33m 56s
OxCaml store: Rust's few-large-files layout, pause/resume, discard, d… Lean Action CI #51: Commit 046d1f7 pushed by alexy
1h 34m 13s main
main
1h 34m 13s
OxCaml: meet-in-the-middle, in memory (--mitm) and as a store (--stor… Lean Action CI #50: Commit ccf9f42 pushed by alexy
1h 21m 38s main
main
1h 21m 38s
Bench: meet-in-the-middle to horizon 54 on the laptop (all 55 values,… Lean Action CI #49: Commit 7586508 pushed by alexy
1h 55m 51s main
main
1h 55m 51s
Rust meet-in-the-middle: E-free 64-bit key, words up to 58 brackets Lean Action CI #48: Commit f0959ed pushed by alexy
1h 55m 51s main
main
1h 55m 51s
Rust store: a few large files per layer; discard mode; disk guard Lean Action CI #47: Commit b847c7f pushed by alexy
1h 50m 41s main
main
1h 50m 41s
Rust store: pause at layer boundaries (PAUSE file, exit 3) and clean … Lean Action CI #46: Commit 7cf4202 pushed by alexy
1h 21m 38s main
main
1h 21m 38s