From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Wed, 9 Sep 2020 11:48:56 +0000 (-0700)
Subject: ignore types
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=ce24d97addce814b88e5c47fd9137901dbcddabb;p=Benchmarks_CSolver.git

ignore types
---

diff --git a/.gitignore b/.gitignore
index c5b103ba..a5b837fa 100644
--- 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/