Details
-
Task
-
Resolution: Fixed
-
Major - P3
-
None
-
None
-
None
-
Replication
-
Fully Compatible
-
Repl 2023-10-02, Repl 2023-10-16, Repl 2023-10-30, Repl 2023-11-13
Description
We should first investigate the current TLA+ specs and figure out what invariants we need to update and what new invariants we want to add.