Initial commit.

sireum · Apr 8, 2022 · f903b6e · f903b6e
commit f903b6e
Show file tree

Hide file tree

Showing 293 changed files with 2,491 additions and 0 deletions.
diff --git a/.gitattributes b/.gitattributes
@@ -0,0 +1,10 @@
+* text=auto !eol
+*.scala text eol=lf
+*.sc text eol=lf
+*.sh text eol=lf
+*.properties text eol=lf
+*.bat text eol=crlf
+*.cmd text eol=crlf
+*.ps1 text eol=crlf
+*.mp4 filter=lfs diff=lfs merge=lfs -text
+*.png filter=lfs diff=lfs merge=lfs -text
diff --git a/.gitignore b/.gitignore
@@ -0,0 +1,4 @@
+/.idea
+/out
+/log
+scratch.sc