From 74e59e33b50681cc341e8a14afe2e7c6da8648f6 Mon Sep 17 00:00:00 2001 From: Grigore Rosu Date: Thu, 18 Apr 2024 10:47:23 -0500 Subject: [PATCH] Add files via upload --- .../cs522/CS522-Spring-2024-Lambda-Maude.zip | 3928 +++++++++++++++++ 1 file changed, 3928 insertions(+) create mode 100644 teaching/2024/cs522/CS522-Spring-2024-Lambda-Maude.zip diff --git a/teaching/2024/cs522/CS522-Spring-2024-Lambda-Maude.zip b/teaching/2024/cs522/CS522-Spring-2024-Lambda-Maude.zip new file mode 100644 index 0000000..2417cb7 --- /dev/null +++ b/teaching/2024/cs522/CS522-Spring-2024-Lambda-Maude.zip @@ -0,0 +1,3928 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + fsl.cs.illinois.edu/teaching/2021/cs522/CS522-Fall-2021-Lambda-Maude.zip at master · Formal-Systems-Laboratory/fsl.cs.illinois.edu + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ + + +
+ Skip to content + + + + + + + + + + + + + + + + + + + + +
+ + + + + + + + + + + + +
+ + +
+
+ + + + + + +
+
+
+

+ Global navigation +

+
+
+
+
+ +
+
+
+ +
+ + +
+ + + + +
+
+
+ + +

© 2024 GitHub, Inc.

+ +
+ About + Blog + Terms + Privacy + Security + Status + +
+
+ + + + + + + + + +
+
+ + + + +
+
+
+

+ Navigate back to +

+
+
+ +
+
+
+ +
+ +
+ + + +
+ +
+ +
+
+ +
+
+
+ + + + +
+ + + + +
+
+
+ + + + +
+ + + + + Command palette +
+
+ + + + +
+ +

Search code, repositories, users, issues, pull requests...

+
+ +
+
+ +
+
+
+ +
+ + + +
+
+
+

+ Provide feedback +

+
+
+ +
+
+
+ +
+

We read every piece of feedback, and take your input very seriously.

+ + + +
+ +
+ +
+ + + + + + +
+
+
+

+ Saved searches +

+

Use saved searches to filter your results more quickly

+
+
+ +
+
+
+ +
+ + + +
+
+
+ +
+ +
+ +
+ + +
+ + +
+ +
+ + + Create new... + + + +
+ +
+ + + +
+ +
 + + + +Issues + + +Pull requests + +
+ + + + + + + Notifications + + + + +
+ + + + + + + +
+
+
+

+ Account menu +

+
+
+ + + grosu + + + + Grigore Rosu + +
+ + + Create new... + + + +
+ +
+ + + +
+ +
 + +
+
+
+
+ +
+
+
+ +
+ + + +
+
+ + + + + + + + +
+ +
+ + + + + +
+
+
+ + +
+ +
+
+ + + + +
+ +
+ + + + + + + + +
+ + + + + + +
+ + + + + + + + + + +
+ + + + + + + + + + + + + + + + + +
+ +
+ + + + Formal-Systems-La...  /   + fsl.cs.illinois.edu  /   + +
+
+ + + +
+ + +
+
+ Clear Command Palette +
+ + + + +
+
+ Tip: + Type # to search pull requests +
+
+ Type ? for help and tips +
+
+ + +
+
+ Tip: + Type # to search issues +
+
+ Type ? for help and tips +
+
+ + +
+
+ Tip: + Type # to search discussions +
+
+ Type ? for help and tips +
+
+ + +
+
+ Tip: + Type ! to search projects +
+
+ Type ? for help and tips +
+
+ + +
+
+ Tip: + Type @ to search teams +
+
+ Type ? for help and tips +
+
+ + +
+
+ Tip: + Type @ to search people and organizations +
+
+ Type ? for help and tips +
+
+ + +
+
+ Tip: + Type > to activate command mode +
+
+ Type ? for help and tips +
+
+ + +
+
+ Tip: + Go to your accessibility settings to change your keyboard shortcuts +
+
+ Type ? for help and tips +
+
+ + +
+
+ Tip: + Type author:@me to search your content +
+
+ Type ? for help and tips +
+
+ + +
+
+ Tip: + Type is:pr to filter to pull requests +
+
+ Type ? for help and tips +
+
+ + +
+
+ Tip: + Type is:issue to filter to issues +
+
+ Type ? for help and tips +
+
+ + +
+
+ Tip: + Type is:project to filter to projects +
+
+ Type ? for help and tips +
+
+ + +
+
+ Tip: + Type is:open to filter to open content +
+
+ Type ? for help and tips +
+
+ + +
+ +
+
+ We’ve encountered an error and some results aren't available at this time. Type a new search or try again later. +
+ + + No results matched your search + + + + + + + + + + + + + + + + Search for issues and pull requests + + # + + + + Search for issues, pull requests, discussions, and projects + + # + + + + Search for organizations, repositories, and users + + @ + + + + Search for projects + + ! + + + + Search for files + + / + + + + Activate command mode + + > + + + + Search your issues, pull requests, and discussions + + # author:@me + + + + Search your issues, pull requests, and discussions + + # author:@me + + + + Filter to pull requests + + # is:pr + + + + Filter to issues + + # is:issue + + + + Filter to discussions + + # is:discussion + + + + Filter to projects + + # is:project + + + + Filter to open issues, pull requests, and discussions + + # is:open + + + + + + + + + + + + + + + + + + +
+ +
+ + + + + + + + + + +
+ + +
+
+
+ + + + + + + + + + + + + + + + + + +
+ Open in github.dev + Open in a new github.dev tab + Open in codespace + + + + + + + + + + + + + + + + + +

Latest commit

 

History

History
39.2 KB

CS522-Fall-2021-Lambda-Maude.zip

File metadata and controls

39.2 KB
Raw
View raw
+ + + + + +
+ + + +
+
+ +
+ +
+

Footer

+ + + + +
+
+ + + + + © 2024 GitHub, Inc. + +
+ + +
+
+ + + + + + + + + + + + + + + + + + + + +
+ +
+
+ + +