Merge pull request #79 from cactusdynamics/tla-model-for-lockless-1

TLA+ model for CAS Exchange algorithm
cactusdynamics · Mar 27, 2024 · a70a974 · a70a974
2 parents 2babbb6 + 8c87991
commit a70a974
Show file tree

Hide file tree

Showing 5 changed files with 860 additions and 0 deletions.
diff --git a/tla/.gitignore b/tla/.gitignore
@@ -0,0 +1,5 @@
+*.old
+**/*.toolbox/**
+!**/*.toolbox/*Model.launch
+
+states/