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