1 files changed, 4 insertions, 1 deletions

diff --git a/.gitignore b/.gitignore
index f9b542d7..f33b2173 100644
--- a/.gitignore
+++ b/.gitignore
@@ -68,5 +68,8 @@
 .DS_Store
 # Test generated data
 /test/clightgen/*.v
-# Coq cache
+# Coq caches
 .lia.cache
+.nia.cache
+.nra.cache
+.csdp.cache