Initial commit

This commit is contained in:
2023-01-07 14:48:58 +01:00
commit 5f9eea797d
13 changed files with 1600 additions and 0 deletions

10
.gitignore vendored Normal file
View File

@@ -0,0 +1,10 @@
# Ignore C stdlibs
libs/
# Ignore output files
output*/
output.json
a.out
# Ignore SuS specs files
sus*/