anvil-verifier · marshtompsxd · Jun 6, 2024 · Jun 6, 2024
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