Skip to content

Pull requests: leanprover/LNSym

New pull request New
19 Open 174 Closed
19 Open 174 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

WIP: feat: use withCurrHeartbeats to reset the heartbeat usage for each step in sym_n
#213 opened Oct 3, 2024 by alexkeizer • Draft
4 tasks
WIP: feat: withInstantiatMainGoal combinator to eagerly instantiate goal metavariables
#212 opened Oct 3, 2024 by alexkeizer • Draft
WIP: chore: add more trace nodes, for better profiling data
#211 opened Oct 2, 2024 by alexkeizer • Draft
2 tasks
WIP: feat: intermediate state aggregation through a persistent AxEffects object
#210 opened Oct 2, 2024 by alexkeizer • Draft
3 tasks
feat: attempt to preserve stack alignment proof in AxEffect update
#209 opened Oct 1, 2024 by alexkeizer • Draft
refactor: remove SymContext.h_sp?, replacing uses with the corresponding AxEffects field
#207 opened Oct 1, 2024 by alexkeizer Loading…
chore: bump up toolchain 29/9/2024
#206 opened Sep 30, 2024 by bollu • Draft
1
feat: add options for more control over benchmarking and better profiling support
#204 opened Sep 27, 2024 by alexkeizer Loading…
feat: Switch to using bv_decide to decide memory goals instead of bv_omega
#197 opened Sep 26, 2024 by bollu • Draft
1
feat: replace use of (evalTactic bv_omega) with a manual run of simp followed by (evalTactic omega)
#195 opened Sep 26, 2024 by bollu • Draft
7
feat: MemoryTree: A new data structure for improving simp_mem's complexity
#192 opened Sep 25, 2024 by bollu • Draft
1
[Don't Merge] Intern-main
#190 opened Sep 25, 2024 by alexkeizer • Draft
1
feat: integrate simp_mem with sym_n
#179 opened Sep 23, 2024 by alexkeizer • Draft
7
feat: proof automation DSL for simple repeated tactic application by pattern matching
#178 opened Sep 23, 2024 by bollu • Draft
WIP: trying out a non-trivial correctness goal for gcm_init_v8
#173 opened Sep 19, 2024 by pennyannn • Draft
feat: add Memory.Buffer, Memory.Separate, Memory.Subset, and notation
#123 opened Aug 27, 2024 by bollu • Draft
Files reorganization
#71 opened Aug 9, 2024 by shigoel • 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! Adding no:label will show everything without a label.