From 7bcda14ddb3e6a5a2e246c40af3a6aad68913159 Mon Sep 17 00:00:00 2001
From: MichalMoskal <unknown>
Date: Thu, 7 Oct 2010 21:31:08 +0000
Subject: Update to include all build artifacts, also from Dafny

---
 .gitignore | 40 +++++++++++++++++++++-------------------
 1 file changed, 21 insertions(+), 19 deletions(-)

diff --git a/.gitignore b/.gitignore
index 9c519971..0d567cbb 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,26 +3,17 @@ Source/AIFramework/obj/
 Source/AbsInt/bin/
 Source/AbsInt/obj/
 Source/Basetypes/bin/
-Source/Boogie.sln.cache
-Source/Boogie.suo
+Source/_ReSharper.Boogie
+Source/Provers/*/*.user
+Source/*/*.user
+Source/*.user
+Source/*.suo
+Source/*.cache
 Source/BoogieDriver/obj/
-Source/Core/bin/
-Source/Core/obj/
-Source/Graph/bin/
-Source/Graph/obj/
-Source/Provers/Isabelle/bin/
-Source/Provers/Isabelle/obj/
-Source/Provers/SMTLib/bin/
-Source/Provers/SMTLib/obj/
-Source/Provers/Simplify/bin/
-Source/Provers/Simplify/obj/
-Source/Provers/Z3/bin/
-Source/Provers/Z3/obj/
-Source/Provers/Z3api/obj/
-Source/VCExpr/bin/
-Source/VCExpr/obj/
-Source/VCGeneration/bin/
-Source/VCGeneration/obj/
+Source/*/bin
+Source/*/obj
+Source/Provers/*/bin
+Source/Provers/*/obj
 Binaries/ITaskManager.dll
 Binaries/ITaskManager.pdb
 Binaries/Microsoft.SpecSharp.Runtime.dll
@@ -71,3 +62,14 @@ Binaries/VCExpr.dll
 Binaries/VCExpr.pdb
 Binaries/VCGeneration.dll
 Binaries/VCGeneration.pdb
+Binaries/Boogie.vshost.exe
+Binaries/CodeContractsExtender.dll
+Binaries/CodeContractsExtender.pdb
+Binaries/Dafny.exe
+Binaries/Dafny.pdb
+Binaries/Dafny.vshost.exe
+Binaries/DafnyPipeline.dll
+Binaries/DafnyPipeline.pdb
+Test/*/Output
+Test/*/*.sx
+Test/VSComp2010/out.cs
-- 
cgit v1.2.3