.gitignore

cherubrock-seb · cherubrock-seb · commit 3d8714150c78 · 2025-12-28T11:53:29.000+01:00
diff --git a/.gitignore b/.gitignore
@@ -13,6 +13,8 @@ results.txt
 logs/
 .DS_Store
 *~
+*.save
+*.p95
 *.o
 *.swp
 /prmers
@@ -34,3 +36,6 @@ lastcurve.gp
 /*.zip
 /package
 /.vscode
+prmers.log
+proof/
+proof-tmp/
