From 96cd464750a66e1c7c51e2c5a7cd22bbe494a4c6 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Sun, 23 Feb 2025 19:24:24 -0500 Subject: [PATCH] vault backup: 2025-02-23 19:24:24 --- 3-99 Research/TLA/TLA - README.md | 6 +++++- 3-99 Research/TLA/Test.tla | 1 - .../25-02-23-19-11-14/25-02-23-19-11-14 - README.md | 5 +++++ .../25-02-23-19-17-34/25-02-23-19-17-34 - README.md | 5 +++++ .../25-02-23-19-18-03/25-02-23-19-18-03 - README.md | 5 +++++ .../25-02-23-19-18-55/25-02-23-19-18-55 - README.md | 5 +++++ 3-99 Research/TLA/states/states - README.md | 11 +++++++++++ 7 files changed, 36 insertions(+), 2 deletions(-) create mode 100644 3-99 Research/TLA/states/25-02-23-19-11-14/25-02-23-19-11-14 - README.md create mode 100644 3-99 Research/TLA/states/25-02-23-19-17-34/25-02-23-19-17-34 - README.md create mode 100644 3-99 Research/TLA/states/25-02-23-19-18-03/25-02-23-19-18-03 - README.md create mode 100644 3-99 Research/TLA/states/25-02-23-19-18-55/25-02-23-19-18-55 - README.md create mode 100644 3-99 Research/TLA/states/states - README.md diff --git a/3-99 Research/TLA/TLA - README.md b/3-99 Research/TLA/TLA - README.md index 21dcdcab..e2ee4726 100644 --- a/3-99 Research/TLA/TLA - README.md +++ b/3-99 Research/TLA/TLA - README.md @@ -1,7 +1,11 @@ # Table of Contents for TLA +## Subdirectories +- [[states/states - README]] + ## Files -- [[test.tla]] +- [[Test.cfg]] +- [[Test.tla]] - [[TLA Canvas.canvas]] - [[Untitled.md]] - [[What is TLA?.md]] diff --git a/3-99 Research/TLA/Test.tla b/3-99 Research/TLA/Test.tla index 2568ab6b..ef996dd8 100644 --- a/3-99 Research/TLA/Test.tla +++ b/3-99 Research/TLA/Test.tla @@ -7,5 +7,4 @@ Init == x = 0 Next == x' = x + 1 Spec == Init /\ [][Next]_x - ====: diff --git a/3-99 Research/TLA/states/25-02-23-19-11-14/25-02-23-19-11-14 - README.md b/3-99 Research/TLA/states/25-02-23-19-11-14/25-02-23-19-11-14 - README.md new file mode 100644 index 00000000..e92650cc --- /dev/null +++ b/3-99 Research/TLA/states/25-02-23-19-11-14/25-02-23-19-11-14 - README.md @@ -0,0 +1,5 @@ +# Table of Contents for 25-02-23-19-11-14 + +## Summary + +Generated by llama3.2:latest diff --git a/3-99 Research/TLA/states/25-02-23-19-17-34/25-02-23-19-17-34 - README.md b/3-99 Research/TLA/states/25-02-23-19-17-34/25-02-23-19-17-34 - README.md new file mode 100644 index 00000000..5733e190 --- /dev/null +++ b/3-99 Research/TLA/states/25-02-23-19-17-34/25-02-23-19-17-34 - README.md @@ -0,0 +1,5 @@ +# Table of Contents for 25-02-23-19-17-34 + +## Summary + +Generated by llama3.2:latest diff --git a/3-99 Research/TLA/states/25-02-23-19-18-03/25-02-23-19-18-03 - README.md b/3-99 Research/TLA/states/25-02-23-19-18-03/25-02-23-19-18-03 - README.md new file mode 100644 index 00000000..83817748 --- /dev/null +++ b/3-99 Research/TLA/states/25-02-23-19-18-03/25-02-23-19-18-03 - README.md @@ -0,0 +1,5 @@ +# Table of Contents for 25-02-23-19-18-03 + +## Summary + +Generated by llama3.2:latest diff --git a/3-99 Research/TLA/states/25-02-23-19-18-55/25-02-23-19-18-55 - README.md b/3-99 Research/TLA/states/25-02-23-19-18-55/25-02-23-19-18-55 - README.md new file mode 100644 index 00000000..fb915900 --- /dev/null +++ b/3-99 Research/TLA/states/25-02-23-19-18-55/25-02-23-19-18-55 - README.md @@ -0,0 +1,5 @@ +# Table of Contents for 25-02-23-19-18-55 + +## Summary + +Generated by llama3.2:latest diff --git a/3-99 Research/TLA/states/states - README.md b/3-99 Research/TLA/states/states - README.md new file mode 100644 index 00000000..2bcbf71f --- /dev/null +++ b/3-99 Research/TLA/states/states - README.md @@ -0,0 +1,11 @@ +# Table of Contents for states + +## Subdirectories +- [[25-02-23-19-11-14/25-02-23-19-11-14 - README]] +- [[25-02-23-19-17-34/25-02-23-19-17-34 - README]] +- [[25-02-23-19-18-03/25-02-23-19-18-03 - README]] +- [[25-02-23-19-18-55/25-02-23-19-18-55 - README]] + +## Summary + +Generated by llama3.2:latest