add a couple more RISC-V things to gitignore

1 files changed, 5 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index f44f4bde..6e5f1362 100644
--- a/.gitignore
+++ b/.gitignore
@@ -85,8 +85,13 @@ lib/hol/sail-heap
 /riscv/Riscv_types.thy
 /riscv/riscv.lem
 /riscv/riscv_types.lem
+/riscv/riscv_sequential.lem
+/riscv/riscv_sequential_types.lem
+/riscv/Riscv_sequential_lemmas.thy
 /riscv/riscv
 /riscv/platform
+/riscv/riscv.c
+/riscv/riscv_c
 
 /x86/x86.lem
 /x86/x86.ml