Skip to content

Remove various timeLang debris. #1161

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
May 6, 2025
Merged

Remove various timeLang debris. #1161

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
70ce28a
Remove various debris from timeLang
IlmariReissumies Apr 25, 2025
741ac48
Remove more stray timeLang files
IlmariReissumies Apr 28, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 0 additions & 1 deletion developers/build-sequence
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -107,7 +107,6 @@ pancake/semantics
pancake/parser
pancake/static_checker
pancake/proofs
pancake/ta_progs

# dafny compiler
compiler/dafny
Expand Down
15 changes: 0 additions & 15 deletions pancake/README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -73,20 +73,5 @@ Semantics for Pancake and its intermediate languages.
[static_checker](static_checker):
Support files for Pancake static checker

[taParserScript.sml](taParserScript.sml):
Parser for compactDSL programs

[ta_progs](ta_progs):
Some sample timed automata (TA) programs.

[temp](temp):
Temporary files

[timeLangScript.sml](timeLangScript.sml):
Abstract syntax for timeLang

[time_to_panScript.sml](time_to_panScript.sml):
Compilation from timeLang to panLang

[time_to_targetScript.sml](time_to_targetScript.sml):
Compiler from timeLang to machine code
260 changes: 0 additions & 260 deletions pancake/semantics/compactDSLSemScript.sml
View file
Open in desktop

This file was deleted.

Loading