1 files changed, 5 insertions, 0 deletions

diff --git a/riscv/.gitignore b/riscv/.gitignore
new file mode 100644
index 00000000..52f3767a
--- /dev/null
+++ b/riscv/.gitignore
@@ -0,0 +1,5 @@
+riscv.lem
+riscv_types.lem
+riscvScript.sml
+riscv_extrasScript.sml
+riscv_typesScript.sml