Skip to content

Actions: querygraph/meander

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
64 workflow runs
64 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
Blog: rust-vs-oxcaml textpack 1.1.0-f53e45 (querygraph.ai) Lean Action CI #63: Commit 7c19fe2 pushed by alexy
In progress main
main
In progress
Blog rust-vs-oxcaml: round two, meet in the middle; README and notes … Lean Action CI #62: Commit f53e453 pushed by alexy
In progress main
main
In progress
Rust --mitm: presized tables, parallel dot, forward layers read in place Lean Action CI #61: Commit 0dbf7b3 pushed by alexy
In progress main
main
In progress
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
In progress main
main
In progress
OxCaml README: the Rust vs OxCaml race on Morrobay, profiled Lean Action CI #58: Commit f102c37 pushed by alexy
In progress main
main
In progress
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
Rust: packed-bit backward step (bits.rs), 2.5x faster; store test Lean Action CI #45: Commit ece6d20 pushed by alexy
1h 54m 27s main
main
1h 54m 27s
Rust: persistent stepwise meet-in-the-middle store (--store DIR --hor… Lean Action CI #44: Commit 1574a3b pushed by alexy
1h 31m 1s main
main
1h 31m 1s
Rust: meet-in-the-middle driver (--mitm B): all A(n), n <= B, each ch… Lean Action CI #43: Commit 6e466ff pushed by alexy
1h 15m 41s main
main
1h 15m 41s
Lean: meet in the middle (Arnold/TM/Middle.lean) Lean Action CI #42: Commit 823b24c pushed by alexy
1h 57m 6s main
main
1h 57m 6s
Rust out-of-core: varint delta runs, and every A(m) from one sweep (-… Lean Action CI #41: Commit 8338a52 pushed by alexy
1h 31m 54s main
main
1h 31m 54s
Rust: out-of-core sweep (--spill DIR, --cap/--mem-gb) Lean Action CI #40: Commit 2a8ed5e pushed by alexy
1h 34m 10s main
main
1h 34m 10s
Blog: rust-vs-oxcaml textpack 1.0.0-ebd865 (querygraph.ai) Lean Action CI #39: Commit f3fc6da pushed by alexy
1h 25m 0s main
main
1h 25m 0s