Skip to content

Pull requests: leanprover/LNSym

New pull request New
13 Open 214 Closed
13 Open 214 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
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Yppe/gcm init v8
#247 opened Nov 14, 2024 by pennyannn Loading…
Bump toolchain 2024 11 01
#244 opened Nov 1, 2024 by bollu • Draft
feat: light-weight basic quotation macro
#241 opened Oct 16, 2024 by alexkeizer Loading…
1
BLOCKED: refactor: reimplement initNextStep without evalTactic
#219 opened Oct 4, 2024 by alexkeizer • Draft
2
chore: bugfixes and benchmark code for the memory based simp_mem
#218 opened Oct 4, 2024 by bollu • Draft
1
BLOCKED: refactor: replace rewrite with mkEqNDRec
#215 opened Oct 4, 2024 by alexkeizer • Draft
1 task
2
BLOCKED: feat: intermediate state aggregation through a persistent AxEffects object
#210 opened Oct 2, 2024 by alexkeizer • Draft
3 tasks
1
feat: Switch to using bv_decide to decide memory goals instead of bv_omega
#197 opened Sep 26, 2024 by bollu • Draft
1
WIP: feat: integrate simp_mem with sym_n
#179 opened Sep 23, 2024 by alexkeizer • Draft
8
feat: proof automation DSL for simple repeated tactic application by pattern matching
#178 opened Sep 23, 2024 by bollu • Draft
feat: add Memory.Buffer, Memory.Separate, Memory.Subset, and notation
#123 opened Aug 27, 2024 by bollu • Draft
WIP: Add FIPS-aligned AES specification
#29 opened Apr 26, 2024 by hanno-becker • Draft
2
Add a proof
#26 opened Mar 20, 2024 by casavaca Loading…
ProTip! Filter pull requests by the default branch with base:main.