-
Notifications
You must be signed in to change notification settings
<
FAB2
li>
Fork
8
Insights: anvil-verifier/anvil
Overview
-
0 Active issues
-
- 11 Merged pull requests
- 3 Open pull requests
- 0 Closed issues
- 0 New issues
Could not load contribution data
Please try again later
11 Pull requests merged by 4 people
-
Move shared spec functions to
trusted#631 merged
May 17, 2025 -
Build and verify VDeployment admission controller
#618 merged
May 17, 2025 -
Adopt transactional API for VDeployment controller
#632 merged
May 17, 2025 -
Support "transactional" Get-then-Update and Get-then-Delete
#621 merged
May 15, 2025 -
Fix outdated build.md
#629 merged
May 15, 2025 -
Implement (simplified) Deployment controller and its model
#611 merged
May 15, 2025 -
Restate ESR property for VRS; breaks proofs
#628 merged
May 14, 2025 -
Prove VReplicaSet Guarantee Condition
#625 merged
May 13, 2025 -
Remove admission controller verification from CI
#627 merged
May 13, 2025 -
Flatten spec of API server's list handler
#626 merged
May 13, 2025 -
Use DeepView to simplify pre/postconditions
#624 merged
May 13, 2025
3 Pull requests opened by 1 person
-
Add draft of rely guarantee of deployment controller
#630 opened
May 15, 2025 -
Adress remaining comments from #611
#633 opened
May 17, 2025 -
Use macros in VRS controller
#634 opened
May 17, 2025
1 Unresolved conversation
Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.
-
Roadmap
#560 commented on
May 12, 2025 • 0 new comments