RISVC model is now at https://github.com/rems-project/sail-riscv . Remove it and tests.

1 files changed, 0 insertions, 19 deletions

diff --git a/.gitignore b/.gitignore
index b222fe26..26f48e6e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -78,25 +78,6 @@ lib/hol/sail-heap
 /power/power_embed_types.lem
 /power/power_toFromInterp.lem
 
-/riscv/Riscv.thy
-/riscv/RiscvAuxiliary.thy
-/riscv/Riscv_extras.thy
-/riscv/Riscv_lemmas.thy
-/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_model.c
-/riscv/riscv_rvfi_model.c
-/riscv/riscv_c
-/riscv/riscv_sim
-/riscv/riscv_rvfi
-
 /x86/x86.lem
 /x86/x86.ml
 /x86/x86_embed.lem