ignore types

diff --git a/.gitignore b/.gitignore
index c5b103ba9e82a82c183cf3f11eb3cafc9e48f3f0..a5b837fa068019858215a9829c24ff270b7d9f94 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -15,6 +15,7 @@ satPlan2006/
 
 # Format
 DUMP*
+*/.svn/*
 */.project
 */.pydevproject
 */log_file
@@ -24,5 +25,8 @@ DUMP*
 /*/*.sol
 /*/*.als
 *.dump
+*.smtout
+*.smt
+*.svn-base
 */*/*.dump
 /Neo/build/