CLeanup more old files

mit-plv · Nov 18, 2020 · 2e86e51 · 2e86e51
1 parent 4440831
commit 2e86e51
Show file tree

Hide file tree

Showing 13 changed files with 786 additions and 443 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -1,6 +1,3 @@
-[submodule "clash"]
-	path = clash
-	url = https://github.com/clash-lang/clash-compiler
 [submodule "riscv-tests"]
 	path = riscv-tests
 	url = https://github.com/riscv/riscv-tests

diff --git a/TODO b/TODO
diff --git a/clash b/clash
diff --git a/install-clash.sh b/install-clash.sh
diff --git a/installclash.yml b/installclash.yml
diff --git a/src/Platform/TLBExperiment.hs b/src/Platform/TLBExperiment.hs