Skip to content

Pull requests: theronic/eacl

New pull request New
11 Open 101 Closed
11 Open 101 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Cache unexpired cursor tokens without weakening TTL
#152 opened Aug 24, 2026 by theronic Owner Loading…
feat: enable proof-equivalent checkpoints
#151 opened Aug 23, 2026 by theronic Owner Loading…
feat: enable proof-equivalent cursor streams
#150 opened Aug 23, 2026 by theronic Owner Loading…
feat: certify Datalevin ordered generations
#149 opened Aug 23, 2026 by theronic Owner Loading…
feat: add proof-carrying semantic equivalence
#148 opened Aug 23, 2026 by theronic Owner Loading…
Reinstate executable assurance gates
#147 opened Aug 23, 2026 by theronic Owner Loading…
Add authorization snapshots and backend roles
#146 opened Aug 23, 2026 by theronic Owner Loading…
Eliminate authorization request amplification
#145 opened Aug 23, 2026 by theronic Owner Loading…
3
Add Datalevin backend support
#144 opened Aug 22, 2026 by theronic Owner Loading…
Documentation accessibility fix
#117 opened Aug 15, 2026 by lpmi-13 Loading…
Support recursive stable pagination with max-depth
#69 opened Mar 28, 2026 by theronic Owner Loading…
ProTip! Exclude everything labeled bug with -label:bug.