Guide

guide.yml

51 workflow runs

feat(Algorithms/WordRAM/Dictionary): chained hash table with expected O(1) lookup and insertion
completed successfully:
Guide#51:Pull request#1690synchronizebyorbitingflea
orbitingflea:wordram-chained-hashing
Oct 30, 20268m 17s
chore(deps): advance CSLib and Mathlib on Lean rc2
completed successfully:
Guide#50:Pull request#1694openedbySamuelSchlesinger
work/cslib-mathlib-sync-1684-codex
Oct 30, 202616m 28s
fix(automation): restore folded fun_prop clients on rc2
completed successfully:
Guide#49:Pull request#1657synchronizebySamuelSchlesinger
fix/fun-prop-folded-1654-codex
Oct 30, 202611m 25s
refactor(Machines): reuse core List lemmas in transducer kernels
completed successfully:
Guide#48:Pull request#1669synchronizebySamuelSchlesinger
work/core-list-kernels-1651-codex
Oct 30, 202615m 5s
doc(docs): explain scoped documentation cache recovery
completed successfully:
Guide#47:Pull request#1667synchronizebySamuelSchlesinger
work/docs-cache-recovery-1664-codex
Oct 30, 202618m 50s
feat(Algorithms/WordRAM/Dictionary): chained hash table with expected O(1) lookup and insertion
completed successfully:
Guide#46:Pull request#1690openedbyorbitingflea
orbitingflea:wordram-chained-hashing
Oct 30, 202619m 45s
feat(WordRAM/PriorityQueue): priority queue with handles (MinPQ) and key–value FibonacciHeap with O(log n + 1) amortized extractMin
completed successfully:
Guide#45:Pull request#1687openedbyorbitingflea
orbitingflea:wordram-fibonacci-heap-handles
Oct 29, 202619m 31s
feat(wordram): geometric Las Vegas loop expected-time bound and randomized SubroutineDS (#1634)
completed successfully:
Guide#44:Pull request#1646synchronizebySamuelSchlesinger
orbitingflea:wordram-randomized-subroutine
Oct 29, 202611m 19s
feat(stateful,word-ram): add relational specifications and subroutine certificates
completed successfully:
Guide#43:Pull request#1640synchronizebySamuelSchlesinger
orbitingflea:stateful-relational
Oct 29, 202612m 2s
chore(deps): track CSLib main and Lean v4.36.0-rc2
completed successfully:
Guide#42:Pull request#1653synchronizebySamuelSchlesinger
work/cslib-rc2-sync-1648-codex
Oct 29, 202615m 2s
chore(deps): track CSLib main and Lean v4.36.0-rc2
completed successfully:
Guide#41:Pull request#1653openedbySamuelSchlesinger
work/cslib-rc2-sync-1648-codex
Oct 29, 202619m 14s
feat(planar-SAT): prove parsimonious positive exact-one hardness
completed successfully:
Guide#40:Pull request#1282synchronizebySamuelSchlesinger
feat/positive-planar-exact-one-sat
Oct 29, 202611m 51s
feat(planar-SAT): prove parsimonious positive exact-one hardness
cancelled:
Guide#39:Pull request#1282synchronizebySamuelSchlesinger
feat/positive-planar-exact-one-sat
Oct 29, 20262s
ci: cache the Lean toolchain and retry its installation
completed successfully:
Guide#38:Pull request#1427openedbySamuelSchlesinger
ci/elan-toolchain-cache-jetski
Oct 28, 20269m 37s
ci(docs): check docs-project lockfiles against the root pin at PR time
completed successfully:
Guide#37:Pull request#1407synchronizebySamuelSchlesinger
ci/docs-lockfile-check-jetski
Oct 28, 202613m 12s
ci(docs): check docs-project lockfiles against the root pin at PR time
cancelled:
Guide#36:Pull request#1407openedbySamuelSchlesinger
ci/docs-lockfile-check-jetski
Oct 28, 20261m 34s
fix(docs): synchronize cslib documentation lockfiles after pin bump (#1397)
completed successfully:
Guide#35:Pull request#1402openedbySamuelSchlesinger
fix/docs-lockfiles-cslib-1397
Oct 28, 20267m 57s
fix(docs): redirect omitted recursors to their indexed types
completed successfully:
Guide#34:Pull request#1365openedbySamuelSchlesinger
fix/docs-recursor-targets-1226-codex
Oct 27, 20268m 5s
feat(planar-SAT): prove parsimonious positive exact-one hardness
completed successfully:
Guide#33:Pull request#1282synchronizebyedemaine
feat/positive-planar-exact-one-sat
Oct 27, 20269m 50s
feat(planar-SAT): prove parsimonious positive exact-one hardness
cancelled:
Guide#32:Pull request#1282synchronizebyedemaine
feat/positive-planar-exact-one-sat
Oct 27, 20261s
feat(planar-SAT): prove parsimonious positive exact-one hardness
cancelled:
Guide#31:Pull request#1282openedbyedemaine
feat/positive-planar-exact-one-sat
Oct 27, 20269m 6s
feat(planar-SAT): use the parsimonious compiler for planar 3SAT-3
completed successfully:
Guide#30:Pull request#1180synchronizebySamuelSchlesinger
feat/parsimony-planar-endpoint
Oct 26, 202612m 52s
Guide
completed successfully:
Guide#29:Manually runbySamuelSchlesinger
feat/plain-unary-operands-1155-codex
Oct 26, 20269m 29s
feat(streaming): add Count-Min fixed-query accuracy
completed successfully:
Guide#28:Pull request#1206synchronizebySamuelSchlesinger
feat/streaming-count-min-cb399a98
Oct 26, 202612m 52s
feat(streaming): add Count-Min fixed-query accuracy
cancelled:
Guide#27:Pull request#1206synchronizebySamuelSchlesinger
feat/streaming-count-min-cb399a98
Oct 26, 20266m 37s

Navigation Menu

Guide

51 workflow runs

feat(Algorithms/WordRAM/Dictionary): chained hash table with expected O(1) lookup and insertion

chore(deps): advance CSLib and Mathlib on Lean rc2

fix(automation): restore folded fun_prop clients on rc2

refactor(Machines): reuse core List lemmas in transducer kernels

doc(docs): explain scoped documentation cache recovery

feat(Algorithms/WordRAM/Dictionary): chained hash table with expected O(1) lookup and insertion

feat(WordRAM/PriorityQueue): priority queue with handles (`MinPQ`) and key–value `FibonacciHeap` with `O(log n + 1)` amortized `extractMin`

feat(wordram): geometric Las Vegas loop expected-time bound and randomized SubroutineDS (#1634)

feat(stateful,word-ram): add relational specifications and subroutine certificates

chore(deps): track CSLib main and Lean v4.36.0-rc2

chore(deps): track CSLib main and Lean v4.36.0-rc2

feat(planar-SAT): prove parsimonious positive exact-one hardness

feat(planar-SAT): prove parsimonious positive exact-one hardness

ci: cache the Lean toolchain and retry its installation

ci(docs): check docs-project lockfiles against the root pin at PR time

ci(docs): check docs-project lockfiles against the root pin at PR time

fix(docs): synchronize cslib documentation lockfiles after pin bump (#1397)

fix(docs): redirect omitted recursors to their indexed types

feat(planar-SAT): prove parsimonious positive exact-one hardness

feat(planar-SAT): prove parsimonious positive exact-one hardness

feat(planar-SAT): prove parsimonious positive exact-one hardness

feat(planar-SAT): use the parsimonious compiler for planar 3SAT-3

Guide

feat(streaming): add Count-Min fixed-query accuracy

feat(streaming): add Count-Min fixed-query accuracy

Workflow runs for Guide

51 workflow runs