Skip to content
Navigation Menu
Sign in
Appearance settings
Platform
AI CODE CREATION
GitHub Copilot
Write better code with AI
GitHub Copilot app
Direct agents from issue to merge
MCP Registry
Integrate external tools
DEVELOPER WORKFLOWS
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Code Quality
Enforce quality at merge
APPLICATION SECURITY
GitHub Advanced Security
Find and fix vulnerabilities
Code security
Secure your code as you build
Secret protection
Stop leaks before they start
EXPLORE
Why GitHub
Documentation
Blog
Changelog
Marketplace
View all features
Solutions
BY COMPANY SIZE
Enterprises
Small and medium teams
Startups
Nonprofits
BY USE CASE
App Modernization
DevSecOps
DevOps
CI/CD
View all use cases
BY INDUSTRY
Healthcare
Financial services
Manufacturing
Government
View all industries
View all solutions
Resources
EXPLORE BY TOPIC
AI
Software Development
DevOps
Security
View all topics
EXPLORE BY TYPE
Customer stories
Events & webinars
Ebooks & reports
Business insights
GitHub Skills
SUPPORT & SERVICES
Documentation
Customer support
Community forum
Trust center
Partners
View all resources
Open Source
COMMUNITY
GitHub Sponsors
Fund open source developers
PROGRAMS
Security Lab
Maintainer Community
GitHub Stars
Archive Program
REPOSITORIES
Topics
Trending
Collections
Enterprise
ENTERPRISE SOLUTIONS
Enterprise platform
AI-powered developer platform
AVAILABLE ADD-ONS
GitHub Advanced Security
Enterprise-grade security features
Copilot for Business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Search
/
Sign in
Sign up
Appearance settings
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
microsoft
/
verified-storage
Public
Notifications
You must be signed in to change notification settings
Fork
25
Star
83
Code
Issues
0
Pull requests
1
Actions
Projects
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Projects
Security and quality
Insights
Commits
Branch selector
main
User selector
All users
Datepicker
All time
Commit history
Commits on Sep 22, 2026
Fix nightly-verita, update to version 2026-09-20 (#62)
Show description for 41cab95
Jay Lorch (jaylorch)
authored
41cab95
View commit details
Copy full SHA for 41cab95
Browse repository at this point
Commits on Sep 16, 2026
Update to latest version (2026-09-15) (#61)
Jay Lorch (jaylorch)
authored
1e43019
View commit details
Copy full SHA for 1e43019
Browse repository at this point
Commits on Aug 25, 2026
Update to latest Verus (2026-08-23) (#58)
Show description for 37fdf2b
Jay Lorch (jaylorch)
authored
37fdf2b
View commit details
Copy full SHA for 37fdf2b
Browse repository at this point
Commits on Aug 24, 2026
Bump the github-actions group with 3 updates (#59)
Show description for bf97b9c
dependabot[bot]
authored
bf97b9c
View commit details
Copy full SHA for bf97b9c
Browse repository at this point
Pin GitHub Actions to full-length commit SHAs (#57)
Dan Fiedler (danfiedler-msft)
authored
fb85f1c
View commit details
Copy full SHA for fb85f1c
Browse repository at this point
Commits on Aug 21, 2026
Update hash map entries in place (#56)
Show description for 5accc3b
Jay Lorch (jaylorch)
authored
5accc3b
View commit details
Copy full SHA for 5accc3b
Browse repository at this point
Commits on Aug 4, 2026
Support latest Verus, notably new Z3 version (#55)
Show description for 1e0c4e4
Jay Lorch (jaylorch)
and
Bryan Parno (parno)
authored
1e0c4e4
View commit details
Copy full SHA for 1e0c4e4
Browse repository at this point
Commits on Jun 15, 2026
Adapt to finite sets and maps (#53)
Show description for 6febb20
Jay Lorch (jaylorch)
authored
6febb20
View commit details
Copy full SHA for 6febb20
Browse repository at this point
Commits on May 26, 2026
Update to latest Verus 2026-05-24 (#52)
Jay Lorch (jaylorch)
authored
c352b32
View commit details
Copy full SHA for c352b32
Browse repository at this point
Commits on May 14, 2026
Add a couple * dereferences to prepare for https://github.com/verus-lang/verus/pull/2377 (#51)
Chris Hawblitzel (Microsoft) (Chris-Hawblitzel)
authored
d569f33
View commit details
Copy full SHA for d569f33
Browse repository at this point
Commits on May 12, 2026
Adaptations for the new iterator interface (#48)
Bryan Parno (parno)
authored
5e4d4ce
View commit details
Copy full SHA for 5e4d4ce
Browse repository at this point
Commits on May 8, 2026
Latest Verus support: resource algebras and mutable refs (#49)
Show description for 4f15f1f
Baltasar Dinis (bsdinis)
and
Jay Lorch (jaylorch)
authored
4f15f1f
View commit details
Copy full SHA for 4f15f1f
Browse repository at this point
Commits on Apr 20, 2026
Update to use latest Verus, which uses Rust 1.95.0 (#47)
Show description for 15f8869
Jay Lorch (jaylorch)
authored
15f8869
View commit details
Copy full SHA for 15f8869
Browse repository at this point
Commits on Apr 14, 2026
Bump rand from 0.8.5 to 0.9.3 in /unverified/metadata_kv
Show description for 8a5008b
dependabot[bot]
authored and
Hayley LeBlanc (hayley-leblanc)
committed
8a5008b
View commit details
Copy full SHA for 8a5008b
Browse repository at this point
Update to latest Verus: 2026-04-12 (#45)
Show description for fb29c4b
Jay Lorch (jaylorch)
authored
fb29c4b
View commit details
Copy full SHA for fb29c4b
Browse repository at this point
Commits on Mar 18, 2026
Upgrade to latest crates.io vstd
Jay Lorch (jaylorch)
authored and
Hayley LeBlanc (hayley-leblanc)
committed
220098c
View commit details
Copy full SHA for 220098c
Browse repository at this point
Update to latest Verus
Jay Lorch (jaylorch)
authored and
Hayley LeBlanc (hayley-leblanc)
committed
7b2808a
View commit details
Copy full SHA for 7b2808a
Browse repository at this point
Commits on Feb 24, 2026
Update to use latest Verus
Jay Lorch (jaylorch)
authored and
Hayley LeBlanc (hayley-leblanc)
committed
baf97c5
View commit details
Copy full SHA for baf97c5
Browse repository at this point
Commits on Feb 6, 2026
Make compatible with latest Verus
Jay Lorch (jaylorch)
authored and
Hayley LeBlanc (hayley-leblanc)
committed
83f1a7b
View commit details
Copy full SHA for 83f1a7b
Browse repository at this point
Commits on Dec 1, 2025
Update to use latest Verus version
Jay Lorch (jaylorch)
authored
e39a2a2
View commit details
Copy full SHA for e39a2a2
Browse repository at this point
Commits on Oct 20, 2025
Simplify spec for end position
Jay Lorch (jaylorch)
authored and
Hayley LeBlanc (hayley-leblanc)
committed
bdcb873
View commit details
Copy full SHA for bdcb873
Browse repository at this point
Fix usability issue with unused subregions library
Jay Lorch (jaylorch)
authored and
Hayley LeBlanc (hayley-leblanc)
committed
b96c0e8
View commit details
Copy full SHA for b96c0e8
Browse repository at this point
Commits on Oct 8, 2025
Merge pull request #38 from microsoft/remove-axiom
Show description for b4bf337
Jay Lorch (jaylorch)
authored
b4bf337
View commit details
Copy full SHA for b4bf337
Browse repository at this point
Tweak
Jay Lorch (jaylorch)
committed
7904042
View commit details
Copy full SHA for 7904042
Browse repository at this point
Remove axiom_from_bytes_equal
Jay Lorch (jaylorch)
committed
df670fa
View commit details
Copy full SHA for df670fa
Browse repository at this point
Commits on Sep 19, 2025
Use secure padding scheme
Jay Lorch (jaylorch)
authored and
Hayley LeBlanc (hayley-leblanc)
committed
f6b0c33
View commit details
Copy full SHA for f6b0c33
Browse repository at this point
Use newest Dafny, version 4.11.0
Jay Lorch (jaylorch)
authored and
Hayley LeBlanc (hayley-leblanc)
committed
ba6d8d3
View commit details
Copy full SHA for ba6d8d3
Browse repository at this point
Commits on Sep 11, 2025
Merge pull request #36 from microsoft/hayley-leblanc-patch-1
Show description for e52da28
Jay Lorch (jaylorch)
authored
e52da28
View commit details
Copy full SHA for e52da28
Browse repository at this point
Disable c-cpp language in CodeQL workflow
Show description for 9bba21a
Hayley LeBlanc (hayley-leblanc)
authored
9bba21a
View commit details
Copy full SHA for 9bba21a
Browse repository at this point
Commits on Sep 3, 2025
Remove references to deps_hack from Cargo.toml files
Jay Lorch (jaylorch)
authored
5183a68
View commit details
Copy full SHA for 5183a68
Browse repository at this point
Remove references to deps_hack from Cargo.toml files
Jay Lorch (jaylorch)
committed
5288945
View commit details
Copy full SHA for 5288945
Browse repository at this point
Fix typo
Hayley LeBlanc (hayley-leblanc)
committed
9c51f65
View commit details
Copy full SHA for 9c51f65
Browse repository at this point
Multilog README corrections
Hayley LeBlanc (hayley-leblanc)
committed
e0d18c3
View commit details
Copy full SHA for e0d18c3
Browse repository at this point
Fix conditional compilation for windows w/o default features in multilog
Hayley LeBlanc (hayley-leblanc)
committed
4e96de9
View commit details
Copy full SHA for 4e96de9
Browse repository at this point
Update line counting instructions
Hayley LeBlanc (hayley-leblanc)
committed
d284f35
View commit details
Copy full SHA for d284f35
Browse repository at this point
Previous
Next
You can’t perform that action at this time.
![dependabot[bot]](https://cdn.statically.io/img/avatars.githubusercontent.com/in/29110?v=4&size=32){kind=avatar}
