1 files changed, 4 insertions, 1 deletions

diff --git a/.gitignore b/.gitignore
index f5911e69..bc1fd91b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -78,5 +78,8 @@ runtime/mppa_k1c/i64_udivmod.s
 runtime/mppa_k1c/i64_umod.s
 # Test generated data
 /test/clightgen/*.v
-# Coq cache
+# Coq caches
 .lia.cache
+.nia.cache
+.nra.cache
+.csdp.cache