From ae29deff82ad873a3dd541cb2d74d362d26f94c2 Mon Sep 17 00:00:00 2001 From: akashlal Date: Fri, 15 Apr 2016 23:30:34 -0500 Subject: Rename DLLs to non-generic names by prefixing "Boogie". Project names and namespaces remain the same. --- Binaries/PrepareBoogieZip.bat | 32 +++++++++++----------- Source/AbsInt/AbsInt.csproj | 4 +-- Source/Basetypes/Basetypes.csproj | 8 +++--- .../CodeContractsExtender.csproj | 8 +++--- Source/Concurrency/Concurrency.csproj | 6 ++-- Source/Core/Core.csproj | 4 +-- Source/Doomed/Doomed.csproj | 2 +- Source/ExecutionEngine/ExecutionEngine.csproj | 2 +- Source/Graph/Graph.csproj | 8 +++--- Source/Houdini/Houdini.csproj | 2 +- Source/Model/Model.csproj | 8 +++--- Source/ModelViewer/ModelViewer.csproj | 4 +-- Source/ParserHelper/ParserHelper.csproj | 8 +++--- Source/Predication/Predication.csproj | 4 +-- Source/VCExpr/VCExpr.csproj | 8 +++--- Source/VCGeneration/VCGeneration.csproj | 8 +++--- 16 files changed, 58 insertions(+), 58 deletions(-) diff --git a/Binaries/PrepareBoogieZip.bat b/Binaries/PrepareBoogieZip.bat index 5a1b267f..99a7a0a6 100644 --- a/Binaries/PrepareBoogieZip.bat +++ b/Binaries/PrepareBoogieZip.bat @@ -7,22 +7,22 @@ if exist %DEST_DIR% del /q %DEST_DIR%\* if not exist %DEST_DIR% mkdir %DEST_DIR% for %%f in ( - AbsInt.dll AbsInt.pdb - Basetypes.dll Basetypes.pdb - Boogie.exe Boogie.pdb - BVD.exe BVD.pdb - CodeContractsExtender.dll CodeContractsExtender.pdb - Core.dll Core.pdb - Doomed.dll Doomed.pdb - Graph.dll Graph.pdb - Houdini.dll Houdini.pdb - Model.dll Model.pdb - ParserHelper.dll ParserHelper.pdb - Predication.dll Predication.pdb - Provers.SMTLib.dll Provers.SMTLib.pdb - UnivBackPred2.smt UnivBackPred2.smt2 - VCExpr.dll VCExpr.pdb - VCGeneration.dll VCGeneration.pdb + BoogieAbsInt.dll BoogieAbsInt.pdb + BoogieBasetypes.dll BoogieBasetypes.pdb + Boogie.exe Boogie.pdb + BVD.exe BVD.pdb + BoogieCodeContractsExtender.dll BoogieCodeContractsExtender.pdb + BoogieCore.dll BoogieCore.pdb + BoogieDoomed.dll BoogieDoomed.pdb + BoogieGraph.dll BoogieGraph.pdb + BoogieHoudini.dll BoogieHoudini.pdb + BoogieModel.dll BoogieModel.pdb + BoogieParserHelper.dll BoogieParserHelper.pdb + BoogiePredication.dll BoogiePredication.pdb + Provers.SMTLib.dll Provers.SMTLib.pdb + UnivBackPred2.smt UnivBackPred2.smt2 + BoogieVCExpr.dll BoogieVCExpr.pdb + BoogieVCGeneration.dll BoogieVCGeneration.pdb ) do ( copy %%f %DEST_DIR% ) diff --git a/Source/AbsInt/AbsInt.csproj b/Source/AbsInt/AbsInt.csproj index 47f45f58..359eb146 100644 --- a/Source/AbsInt/AbsInt.csproj +++ b/Source/AbsInt/AbsInt.csproj @@ -9,7 +9,7 @@ Library Properties AbsInt - AbsInt + BoogieAbsInt v4.0 512 1 @@ -34,7 +34,7 @@ false false true - Client + Client true diff --git a/Source/Basetypes/Basetypes.csproj b/Source/Basetypes/Basetypes.csproj index 5e46877a..ffe22b9f 100644 --- a/Source/Basetypes/Basetypes.csproj +++ b/Source/Basetypes/Basetypes.csproj @@ -1,4 +1,4 @@ - + Debug @@ -9,7 +9,7 @@ Library Properties Basetypes - Basetypes + BoogieBasetypes v4.0 512 1 @@ -34,7 +34,7 @@ false false true - Client + Client true @@ -200,4 +200,4 @@ --> - + \ No newline at end of file diff --git a/Source/CodeContractsExtender/CodeContractsExtender.csproj b/Source/CodeContractsExtender/CodeContractsExtender.csproj index 05701c12..38535dc4 100644 --- a/Source/CodeContractsExtender/CodeContractsExtender.csproj +++ b/Source/CodeContractsExtender/CodeContractsExtender.csproj @@ -1,4 +1,4 @@ - + Debug @@ -9,7 +9,7 @@ Library Properties CodeContractsExtender - CodeContractsExtender + BoogieCodeContractsExtender v4.0 512 true @@ -34,7 +34,7 @@ false false true - Client + Client true @@ -199,4 +199,4 @@ --> - + \ No newline at end of file diff --git a/Source/Concurrency/Concurrency.csproj b/Source/Concurrency/Concurrency.csproj index 113019fd..ac90077c 100644 --- a/Source/Concurrency/Concurrency.csproj +++ b/Source/Concurrency/Concurrency.csproj @@ -1,4 +1,4 @@ - + @@ -8,7 +8,7 @@ Library Properties Concurrency - Concurrency + BoogieConcurrency v4.0 512 Client @@ -112,4 +112,4 @@ --> - + \ No newline at end of file diff --git a/Source/Core/Core.csproj b/Source/Core/Core.csproj index 36bcc6c3..af525fab 100644 --- a/Source/Core/Core.csproj +++ b/Source/Core/Core.csproj @@ -9,7 +9,7 @@ Library Properties Core - Core + BoogieCore v4.0 512 1 @@ -34,7 +34,7 @@ false false true - Client + Client true diff --git a/Source/Doomed/Doomed.csproj b/Source/Doomed/Doomed.csproj index c8fb83ad..f055d2c9 100644 --- a/Source/Doomed/Doomed.csproj +++ b/Source/Doomed/Doomed.csproj @@ -8,7 +8,7 @@ Library Properties Doomed - Doomed + BoogieDoomed v4.0 512 Client diff --git a/Source/ExecutionEngine/ExecutionEngine.csproj b/Source/ExecutionEngine/ExecutionEngine.csproj index b0f77125..b17b1139 100644 --- a/Source/ExecutionEngine/ExecutionEngine.csproj +++ b/Source/ExecutionEngine/ExecutionEngine.csproj @@ -8,7 +8,7 @@ Library Properties ExecutionEngine - ExecutionEngine + BoogieExecutionEngine v4.0 512 diff --git a/Source/Graph/Graph.csproj b/Source/Graph/Graph.csproj index 66759719..7e610d46 100644 --- a/Source/Graph/Graph.csproj +++ b/Source/Graph/Graph.csproj @@ -1,4 +1,4 @@ - + Debug @@ -9,7 +9,7 @@ Library Properties Graph - Graph + BoogieGraph v4.0 512 1 @@ -34,7 +34,7 @@ false false true - Client + Client true @@ -196,4 +196,4 @@ --> - + \ No newline at end of file diff --git a/Source/Houdini/Houdini.csproj b/Source/Houdini/Houdini.csproj index 68ea62e3..43612142 100644 --- a/Source/Houdini/Houdini.csproj +++ b/Source/Houdini/Houdini.csproj @@ -9,7 +9,7 @@ Library Properties Microsoft.Boogie.Houdini - Houdini + BoogieHoudini v4.0 512 0 diff --git a/Source/Model/Model.csproj b/Source/Model/Model.csproj index dc0ae5e1..c024975f 100644 --- a/Source/Model/Model.csproj +++ b/Source/Model/Model.csproj @@ -1,4 +1,4 @@ - + Debug @@ -9,10 +9,10 @@ Library Properties Microsoft.Boogie - Model + BoogieModel v4.0 512 - Client + Client 0 @@ -106,4 +106,4 @@ --> - + \ No newline at end of file diff --git a/Source/ModelViewer/ModelViewer.csproj b/Source/ModelViewer/ModelViewer.csproj index b6f47b00..78601afd 100644 --- a/Source/ModelViewer/ModelViewer.csproj +++ b/Source/ModelViewer/ModelViewer.csproj @@ -9,9 +9,9 @@ Library Properties Microsoft.Boogie.ModelViewer - ModelViewer + BoogieModelViewer v4.0 - Client + Client 512 publish\ true diff --git a/Source/ParserHelper/ParserHelper.csproj b/Source/ParserHelper/ParserHelper.csproj index 262ca9b7..b5ed2744 100644 --- a/Source/ParserHelper/ParserHelper.csproj +++ b/Source/ParserHelper/ParserHelper.csproj @@ -1,4 +1,4 @@ - + Debug @@ -9,10 +9,10 @@ Library Properties ParserHelper - ParserHelper + BoogieParserHelper v4.0 512 - Client + Client 1 @@ -139,4 +139,4 @@ --> - + \ No newline at end of file diff --git a/Source/Predication/Predication.csproj b/Source/Predication/Predication.csproj index 803525b3..1319d7f7 100644 --- a/Source/Predication/Predication.csproj +++ b/Source/Predication/Predication.csproj @@ -8,7 +8,7 @@ Library Properties Predication - Predication + BoogiePredication v4.0 512 Client @@ -171,4 +171,4 @@ --> - + \ No newline at end of file diff --git a/Source/VCExpr/VCExpr.csproj b/Source/VCExpr/VCExpr.csproj index 1ad99bc1..efac274e 100644 --- a/Source/VCExpr/VCExpr.csproj +++ b/Source/VCExpr/VCExpr.csproj @@ -1,4 +1,4 @@ - + Debug @@ -9,7 +9,7 @@ Library Properties VCExpr - VCExpr + BoogieVCExpr v4.0 512 1 @@ -34,7 +34,7 @@ false false true - Client + Client true @@ -220,4 +220,4 @@ --> - + \ No newline at end of file diff --git a/Source/VCGeneration/VCGeneration.csproj b/Source/VCGeneration/VCGeneration.csproj index 9bd3fb1a..4d4fc374 100644 --- a/Source/VCGeneration/VCGeneration.csproj +++ b/Source/VCGeneration/VCGeneration.csproj @@ -1,4 +1,4 @@ - + Debug @@ -9,7 +9,7 @@ Library Properties VCGeneration - VCGeneration + BoogieVCGeneration v4.0 512 1 @@ -34,7 +34,7 @@ false false true - Client + Client true @@ -227,4 +227,4 @@ --> - + \ No newline at end of file -- cgit v1.2.3