added git ignore file.
diff --git a/.gitignore b/.gitignore index e43b0f9..f975375 100644 --- a/.gitignore +++ b/.gitignore
@@ -1 +1,3 @@ .DS_Store +aig* +test-aig*
