Add docs on Kubernetes core components to discussion (#494)

Signed-off-by: Xudong Sun <[email protected]>
anvil-verifier · Jun 6, 2024 · a73ba3d · a73ba3d
1 parent 2628c7f
commit a73ba3d
Show file tree

Hide file tree

Showing 7 changed files with 5 additions and 17 deletions.
diff --git a/doc/finalizers.md → discussion/kubernetes-model/finalizers.md b/doc/finalizers.md → discussion/kubernetes-model/finalizers.md
diff --git a/doc/garbage_collector.md → ...ion/kubernetes-model/garbage_collector.md b/doc/garbage_collector.md → ...ion/kubernetes-model/garbage_collector.md
diff --git a/doc/stateful_set_controller.md → ...bernetes-model/stateful_set_controller.md b/doc/stateful_set_controller.md → ...bernetes-model/stateful_set_controller.md
diff --git a/doc/validation.md → discussion/kubernetes-model/validation.md b/doc/validation.md → discussion/kubernetes-model/validation.md
diff --git a/doc/controllers_to_port.md b/doc/controllers_to_port.md
diff --git a/doc/framework_design.md → doc/kubernetes_model.md b/doc/framework_design.md → doc/kubernetes_model.md
@@ -1,6 +1,6 @@
-We give an overview of the clock-based approach we use to model a distributed system.
+## Kubernetes Model
 
-## Environmental Assumptions
+**The description below is outdated and needs heavy revision.**
 
 We plan to start from simple controllers and environmental specifications.
 

diff --git a/doc/verified_controllers.md b/doc/verified_controllers.md
@@ -0,0 +1,3 @@
+## Verified Controllers
+
+Todo