Content-Length: 228993 | pFad | http://github.com/microsoft/verified-storage/pulls

01 Pull requests · microsoft/verified-storage · GitHub
Skip to content

Pull requests: microsoft/verified-storage

New pull request New
4 Open 20 Closed
4 Open 20 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

change agree() to be a proof fn
#24 opened May 14, 2025 by zeldovich Loading…
1
Fix building capybarakv on Linux without PMDK
#23 opened May 9, 2025 by zeldovich Loading…
1
move proven lemmas from pmemspec_t to pmemutil_v
#22 opened May 6, 2025 by zeldovich Loading…
1
Add windows support for microbenchmark
#2 opened Dec 4, 2024 by YihengTao Loading…
ProTip! Filter pull requests by the default branch with base:main.








ApplySandwichStrip

pFad - (p)hone/(F)rame/(a)nonymizer/(d)eclutterfier!      Saves Data!


--- a PPN by Garber Painting Akron. With Image Size Reduction included!

Fetched URL: http://github.com/microsoft/verified-storage/pulls

Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy