Skip to content

Commit de3eaed

Browse files
marshtompsxdmarshtompsxd
authored
Add docs on Kubernetes core components to discussion (anvil-verifier#494)
Signed-off-by: Xudong Sun <[email protected]>
1 parent 2628c7f commit de3eaed

7 files changed

+5
-17
lines changed

‎doc/finalizers.md renamed to ‎discussion/kubernetes-model/finalizers.md

File renamed without changes.

‎doc/garbage_collector.md renamed to ‎discussion/kubernetes-model/garbage_collector.md

File renamed without changes.

‎doc/stateful_set_controller.md renamed to ‎discussion/kubernetes-model/stateful_set_controller.md

File renamed without changes.

‎doc/validation.md renamed to ‎discussion/kubernetes-model/validation.md

File renamed without changes.

‎doc/controllers_to_port.md

-15
This file was deleted.

‎doc/framework_design.md renamed to ‎doc/kubernetes_model.md

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
1-
We give an overview of the clock-based approach we use to model a distributed system.
1+
## Kubernetes Model
22

3-
## Environmental Assumptions
3+
**The description below is outdated and needs heavy revision.**
44

55
We plan to start from simple controllers and environmental specifications.
66

‎doc/verified_controllers.md

+3
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
## Verified Controllers
2+
3+
Todo

0 commit comments

Comments
 (0)