diff options
| author |  tabarbe <unknown> | 2010-07-28 22:18:03 +0000 |
|---|---|---|
| committer | tabarbe <unknown> | 2010-07-28 22:18:03 +0000 |
| commit | 1f7016e583f2264340385b480a4507e35133669d (patch) | |
| tree | 7cd577156d94170f74eb2e253c7bb60abc15f7c5 | |
| parent | 85ccac1149dc04f6cb1bdc5bb39c8c2e40d000d7 (diff) | |
Boogie\VCGeneration: Renaming sources in preparation for my addition of the ported C# version
| -rw-r--r-- | Source/VCGeneration/Check.cs (renamed from Source/VCGeneration/Check.ssc) | 0 | ||||
| -rw-r--r-- | Source/VCGeneration/ConditionGeneration.cs (renamed from Source/VCGeneration/ConditionGeneration.ssc) | 0 | ||||
| -rw-r--r-- | Source/VCGeneration/Context.cs (renamed from Source/VCGeneration/Context.ssc) | 0 | ||||
| -rw-r--r-- | Source/VCGeneration/DoomCheck.cs (renamed from Source/VCGeneration/DoomCheck.ssc) | 0 | ||||
| -rw-r--r-- | Source/VCGeneration/DoomErrorHandler.cs (renamed from Source/VCGeneration/DoomErrorHandler.ssc) | 0 | ||||
| -rw-r--r-- | Source/VCGeneration/OrderingAxioms.cs (renamed from Source/VCGeneration/OrderingAxioms.ssc) | 0 | ||||
| -rw-r--r-- | Source/VCGeneration/VC.cs (renamed from Source/VCGeneration/VC.ssc) | 0 | ||||
| -rw-r--r-- | Source/VCGeneration/VCDoomed.cs (renamed from Source/VCGeneration/VCDoomed.ssc) | 0 | ||||
| -rw-r--r-- | Source/VCGeneration/VCGeneration.csproj (renamed from Source/VCGeneration/VCGeneration.sscproj) | 0 | ||||
| -rw-r--r-- | Source/VCGeneration/Wlp.cs (renamed from Source/VCGeneration/Wlp.ssc) | 0 |
10 files changed, 0 insertions, 0 deletions
diff --git a/Source/VCGeneration/Check.ssc b/Source/VCGeneration/Check.cs index 4bd6edea..4bd6edea 100644 --- a/Source/VCGeneration/Check.ssc +++ b/Source/VCGeneration/Check.cs diff --git a/Source/VCGeneration/ConditionGeneration.ssc b/Source/VCGeneration/ConditionGeneration.cs index a2db980d..a2db980d 100644 --- a/Source/VCGeneration/ConditionGeneration.ssc +++ b/Source/VCGeneration/ConditionGeneration.cs diff --git a/Source/VCGeneration/Context.ssc b/Source/VCGeneration/Context.cs index 2db00964..2db00964 100644 --- a/Source/VCGeneration/Context.ssc +++ b/Source/VCGeneration/Context.cs diff --git a/Source/VCGeneration/DoomCheck.ssc b/Source/VCGeneration/DoomCheck.cs index b65f7f24..b65f7f24 100644 --- a/Source/VCGeneration/DoomCheck.ssc +++ b/Source/VCGeneration/DoomCheck.cs diff --git a/Source/VCGeneration/DoomErrorHandler.ssc b/Source/VCGeneration/DoomErrorHandler.cs index 860f5334..860f5334 100644 --- a/Source/VCGeneration/DoomErrorHandler.ssc +++ b/Source/VCGeneration/DoomErrorHandler.cs diff --git a/Source/VCGeneration/OrderingAxioms.ssc b/Source/VCGeneration/OrderingAxioms.cs index e4fc54f8..e4fc54f8 100644 --- a/Source/VCGeneration/OrderingAxioms.ssc +++ b/Source/VCGeneration/OrderingAxioms.cs diff --git a/Source/VCGeneration/VC.ssc b/Source/VCGeneration/VC.cs index 0f42939d..0f42939d 100644 --- a/Source/VCGeneration/VC.ssc +++ b/Source/VCGeneration/VC.cs diff --git a/Source/VCGeneration/VCDoomed.ssc b/Source/VCGeneration/VCDoomed.cs index 50307c0b..50307c0b 100644 --- a/Source/VCGeneration/VCDoomed.ssc +++ b/Source/VCGeneration/VCDoomed.cs diff --git a/Source/VCGeneration/VCGeneration.sscproj b/Source/VCGeneration/VCGeneration.csproj index 768c44bc..768c44bc 100644 --- a/Source/VCGeneration/VCGeneration.sscproj +++ b/Source/VCGeneration/VCGeneration.csproj diff --git a/Source/VCGeneration/Wlp.ssc b/Source/VCGeneration/Wlp.cs index be99dd6d..be99dd6d 100644 --- a/Source/VCGeneration/Wlp.ssc +++ b/Source/VCGeneration/Wlp.cs |