diff options
Diffstat (limited to 'Source')
| -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 |