diff options
| author |  stobies <unknown> | 2010-08-27 09:08:53 +0000 |
|---|---|---|
| committer | stobies <unknown> | 2010-08-27 09:08:53 +0000 |
| commit | 3463d29c281078dca9762ba46d7e75248ad060d6 (patch) | |
| tree | c5d5b73edd82c59207b46ffa77db8813f1a86d63 /.gitignore | |
| parent | 6753de3481faf192825a3f01c6004b2712e0aab2 (diff) | |
Addint ignore file for GIT
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 73 |
1 files changed, 73 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 00000000..9c519971 --- /dev/null +++ b/.gitignore @@ -0,0 +1,73 @@ +Source/AIFramework/bin/
+Source/AIFramework/obj/
+Source/AbsInt/bin/
+Source/AbsInt/obj/
+Source/Basetypes/bin/
+Source/Boogie.sln.cache
+Source/Boogie.suo
+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/
+Binaries/ITaskManager.dll
+Binaries/ITaskManager.pdb
+Binaries/Microsoft.SpecSharp.Runtime.dll
+Binaries/Microsoft.SpecSharp.Runtime.pdb
+Binaries/Microsoft.SpecSharp.dll
+Binaries/Microsoft.SpecSharp.pdb
+Binaries/Microsoft.VisualStudio.IntegrationHelper.dll
+Binaries/Microsoft.VisualStudio.IntegrationHelper.pdb
+Binaries/Microsoft.VisualStudio.Package.dll
+Binaries/Microsoft.VisualStudio.Package.pdb
+Binaries/Mscorlib.Contracts.dll
+Binaries/System.Compiler.Contracts.dll
+Binaries/System.Compiler.Framework.Contracts.dll
+Binaries/System.Compiler.Framework.dll
+Binaries/System.Compiler.Framework.pdb
+Binaries/System.Compiler.Runtime.dll
+Binaries/System.Compiler.Runtime.pdb
+Binaries/System.Compiler.dll
+Binaries/System.Compiler.pdb
+Binaries/System.Contracts.dll
+Binaries/System.Xml.Contracts.dll
+Binaries/ssc.exe
+Binaries/ssc.pdb
+Binaries/AIFramework.dll
+Binaries/AIFramework.pdb
+Binaries/AbsInt.dll
+Binaries/AbsInt.pdb
+Binaries/Basetypes.dll
+Binaries/Basetypes.pdb
+Binaries/Boogie.exe
+Binaries/Boogie.pdb
+Binaries/Core.dll
+Binaries/Core.pdb
+Binaries/Graph.dll
+Binaries/Graph.pdb
+Binaries/Microsoft.Contracts.dll
+Binaries/Provers.Isabelle.dll
+Binaries/Provers.Isabelle.pdb
+Binaries/Provers.SMTLib.dll
+Binaries/Provers.SMTLib.pdb
+Binaries/Provers.Simplify.dll
+Binaries/Provers.Simplify.pdb
+Binaries/Provers.Z3.dll
+Binaries/Provers.Z3.pdb
+Binaries/VCExpr.dll
+Binaries/VCExpr.pdb
+Binaries/VCGeneration.dll
+Binaries/VCGeneration.pdb
|