diff options
| author |  MichalMoskal <unknown> | 2010-10-07 21:31:08 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2010-10-07 21:31:08 +0000 |
| commit | 7bcda14ddb3e6a5a2e246c40af3a6aad68913159 (patch) | |
| tree | f9e701a1feb3bade1c3e33daa84a313364100aa0 /.gitignore | |
| parent | 28742ec7b4720c668a6a02df0192eb75ce1ef2e5 (diff) | |
Update to include all build artifacts, also from Dafny
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 40 |
1 files changed, 21 insertions, 19 deletions
@@ -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
|