diff --git a/3-99 Research/TLA/TLA+ Learning Plan.md b/3-99 Research/TLA/TLA+ Learning Plan.md new file mode 100644 index 000000000..7cab5075a --- /dev/null +++ b/3-99 Research/TLA/TLA+ Learning Plan.md @@ -0,0 +1,10 @@ +- [x] Introduction to TLA+ #TLA ⏳ 2025-02-28 📅 2025-02-28 ✅ 2025-02-24 +- [x] State machines in TLA+ #TLA ⏳ 2025-02-28 📅 2025-02-28 ✅ 2025-02-24 +- [ ] Resources and Tools #TLA 📅 2025-02-25 ⏳ 2025-02-24 +- [ ] Die Hard #TLA 📅 2025-03-04 ⏳ 2025-02-28 +- [ ] Transaction Commit #TLA 📅 2025-03-11 ⏳ 2025-03-07 +- [ ] Two-Phase Commit #TLA 📅 2025-03-18 ⏳ 2025-03-14 +- [ ] Paxos Commit #TLA 📅 2025-03-18 ⏳ 2025-03-14 +- [ ] Implementation #TLA 📅 2025-03-25 ⏳ 2025-03-21 +- [ ] The Alternating Bit Protocol #TLA 📅 2025-04-01 ⏳ 2025-03-28 +- [ ] Implementation with Refinement #TLA ⏳ 2025-04-04 📅 2025-04-08 diff --git a/3-99 Research/TLA/Test.cfg b/3-99 Research/TLA/Test.cfg deleted file mode 100644 index e69de29bb..000000000 diff --git a/3-99 Research/TLA/Test.tla b/3-99 Research/TLA/Test.tla deleted file mode 100644 index ef996dd8e..000000000 --- a/3-99 Research/TLA/Test.tla +++ /dev/null @@ -1,10 +0,0 @@ ----- MODULE Test ---- -EXTENDS Naturals - -VARIABLE x - -Init == x = 0 -Next == x' = x + 1 - -Spec == Init /\ [][Next]_x -====: diff --git a/3-99 Research/TLA/Untitled.tla b/3-99 Research/TLA/Untitled.tla deleted file mode 100644 index 364df6650..000000000 --- a/3-99 Research/TLA/Untitled.tla +++ /dev/null @@ -1,13 +0,0 @@ ------------------------------- MODULE Untitled ------------------------------ -EXTENDS Naturals - -VARIABLE x - -Init == x = 0 -Next == x' = x + 1 - -Spec == Init /\ [][Next]_x - -============================================================================= -\* Modification History -\* Created Sun Feb 23 19:24:27 EST 2025 by danesabo diff --git a/3-99 Research/TLA/Untitled.toolbox/.project b/3-99 Research/TLA/Untitled.toolbox/.project deleted file mode 100644 index 864d7eb3b..000000000 --- a/3-99 Research/TLA/Untitled.toolbox/.project +++ /dev/null @@ -1,24 +0,0 @@ - - - Untitled - - - - - - toolbox.builder.TLAParserBuilder - - - - - - toolbox.natures.TLANature - - - - Untitled.tla - 1 - PARENT-1-PROJECT_LOC/Untitled.tla - - - diff --git a/3-99 Research/TLA/Untitled.toolbox/.settings/org.lamport.tla.toolbox.prefs b/3-99 Research/TLA/Untitled.toolbox/.settings/org.lamport.tla.toolbox.prefs deleted file mode 100644 index 36bbe6f1a..000000000 --- a/3-99 Research/TLA/Untitled.toolbox/.settings/org.lamport.tla.toolbox.prefs +++ /dev/null @@ -1,2 +0,0 @@ -ProjectRootFile=PARENT-1-PROJECT_LOC/Untitled.tla -eclipse.preferences.version=1 diff --git a/3-99 Research/TLA/Untitled.toolbox/Untitled.toolbox - README.md b/3-99 Research/TLA/Untitled.toolbox/Untitled.toolbox - README.md deleted file mode 100644 index 60b241427..000000000 --- a/3-99 Research/TLA/Untitled.toolbox/Untitled.toolbox - README.md +++ /dev/null @@ -1,8 +0,0 @@ -# Table of Contents for Untitled.toolbox - -## Files -- [[.project]] - -## Summary - -Generated by llama3.2:latest 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 deleted file mode 100644 index e92650cc9..000000000 --- a/3-99 Research/TLA/states/25-02-23-19-11-14/25-02-23-19-11-14 - README.md +++ /dev/null @@ -1,5 +0,0 @@ -# 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 deleted file mode 100644 index 5733e1905..000000000 --- a/3-99 Research/TLA/states/25-02-23-19-17-34/25-02-23-19-17-34 - README.md +++ /dev/null @@ -1,5 +0,0 @@ -# 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 deleted file mode 100644 index 838177487..000000000 --- a/3-99 Research/TLA/states/25-02-23-19-18-03/25-02-23-19-18-03 - README.md +++ /dev/null @@ -1,5 +0,0 @@ -# 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 deleted file mode 100644 index fb9159006..000000000 --- a/3-99 Research/TLA/states/25-02-23-19-18-55/25-02-23-19-18-55 - README.md +++ /dev/null @@ -1,5 +0,0 @@ -# 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 deleted file mode 100644 index 2bcbf71fa..000000000 --- a/3-99 Research/TLA/states/states - README.md +++ /dev/null @@ -1,11 +0,0 @@ -# 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 diff --git a/900s Calendars/Research/2025-02-24 TLA Learning Plan and Notes.md b/900s Calendars/Research/2025-02-24 TLA Learning Plan and Notes.md index 4522ba32d..e8b1085fe 100644 --- a/900s Calendars/Research/2025-02-24 TLA Learning Plan and Notes.md +++ b/900s Calendars/Research/2025-02-24 TLA Learning Plan and Notes.md @@ -2,7 +2,7 @@ title: TLA Learning Plan and Notes allDay: false startTime: 09:30 -endTime: 10:30 +endTime: 09:45 date: 2025-02-24 completed: null type: single