-
Notifications
You must be 10000 signed in to change notification settings - Fork 8
Insights: anvil-verifier/anvil
Overview
-
0 Active issues
-
- 23 Merged pull requests
- 3 Open pull requests
- 0 Closed issues
- 0 New issues
Could not load contribution data
Please try again later
23 Pull requests merged by 5 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 -
Reduce boilerplate code using macro
#623 merged
May 11, 2025 -
Remove deprecated files for v1 state machine
#622 merged
May 10, 2025 -
Migrate Replicaset admission controller assets
#620 merged
May 10, 2025 -
Build and verify VStatefulSet admission controller
#617 merged
May 9, 2025 -
Make docker builder optional, and simplify local test step
#619 merged
May 6, 2025 -
Specify guarantee-condition for VReplicaSet controller
#616 merged
May 3, 2025 -
Revert PodEvent in v1 state machine to fix broken lemmas
#551 merged
May 1, 2025 -
Repair all proofs broken by VRS Non-Interference Rely Condition
#615 merged
May 1, 2025 -
Modularize Rely-Condition for VRS
#612 merged
Apr 25, 2025 -
Rename
set_x/unset_xspec functions towith_x/without_x#609 merged
Apr 23, 2025 -
Specification of Rely-Condition for VReplicaSet
#607 merged
Apr 22, 2025 -
Delete deprecated VRS controller
#608 merged
Apr 21, 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