diff options
author | tabarbe <unknown> | 2010-08-03 23:45:43 +0000 |
---|---|---|
committer | tabarbe <unknown> | 2010-08-03 23:45:43 +0000 |
commit | 6aa09a12ee9d3722446390d1332f83402ca0bbdb (patch) | |
tree | 1c24690440a506910df1a29c914c6234960d1d83 /Source | |
parent | 0c4eac4e676c67687edcb5eea526f27adc6760b4 (diff) |
Dafny: Renaming the DafnyPipeline source files in preparation for the commit of my port of that project.
Diffstat (limited to 'Source')
-rw-r--r-- | Source/Dafny/AssemblyInfo.cs (renamed from Source/Dafny/AssemblyInfo.ssc) | 0 | ||||
-rw-r--r-- | Source/Dafny/Compiler.cs (renamed from Source/Dafny/Compiler.ssc) | 0 | ||||
-rw-r--r-- | Source/Dafny/DafnyAst.cs (renamed from Source/Dafny/DafnyAst.ssc) | 0 | ||||
-rw-r--r-- | Source/Dafny/DafnyMain.cs (renamed from Source/Dafny/DafnyMain.ssc) | 0 | ||||
-rw-r--r-- | Source/Dafny/DafnyPipeline.csproj (renamed from Source/Dafny/DafnyPipeline.sscproj) | 0 | ||||
-rw-r--r-- | Source/Dafny/Parser.cs (renamed from Source/Dafny/Parser.ssc) | 0 | ||||
-rw-r--r-- | Source/Dafny/Printer.cs (renamed from Source/Dafny/Printer.ssc) | 0 | ||||
-rw-r--r-- | Source/Dafny/Resolver.cs (renamed from Source/Dafny/Resolver.ssc) | 0 | ||||
-rw-r--r-- | Source/Dafny/Scanner.cs (renamed from Source/Dafny/Scanner.ssc) | 0 | ||||
-rw-r--r-- | Source/Dafny/SccGraph.cs (renamed from Source/Dafny/SccGraph.ssc) | 0 | ||||
-rw-r--r-- | Source/Dafny/Translator.cs (renamed from Source/Dafny/Translator.ssc) | 0 |
11 files changed, 0 insertions, 0 deletions
diff --git a/Source/Dafny/AssemblyInfo.ssc b/Source/Dafny/AssemblyInfo.cs index 6ed99a25..6ed99a25 100644 --- a/Source/Dafny/AssemblyInfo.ssc +++ b/Source/Dafny/AssemblyInfo.cs diff --git a/Source/Dafny/Compiler.ssc b/Source/Dafny/Compiler.cs index 03a83862..03a83862 100644 --- a/Source/Dafny/Compiler.ssc +++ b/Source/Dafny/Compiler.cs diff --git a/Source/Dafny/DafnyAst.ssc b/Source/Dafny/DafnyAst.cs index b5f21655..b5f21655 100644 --- a/Source/Dafny/DafnyAst.ssc +++ b/Source/Dafny/DafnyAst.cs diff --git a/Source/Dafny/DafnyMain.ssc b/Source/Dafny/DafnyMain.cs index 21375145..21375145 100644 --- a/Source/Dafny/DafnyMain.ssc +++ b/Source/Dafny/DafnyMain.cs diff --git a/Source/Dafny/DafnyPipeline.sscproj b/Source/Dafny/DafnyPipeline.csproj index ba644870..ba644870 100644 --- a/Source/Dafny/DafnyPipeline.sscproj +++ b/Source/Dafny/DafnyPipeline.csproj diff --git a/Source/Dafny/Parser.ssc b/Source/Dafny/Parser.cs index d35fb5d3..d35fb5d3 100644 --- a/Source/Dafny/Parser.ssc +++ b/Source/Dafny/Parser.cs diff --git a/Source/Dafny/Printer.ssc b/Source/Dafny/Printer.cs index c269e621..c269e621 100644 --- a/Source/Dafny/Printer.ssc +++ b/Source/Dafny/Printer.cs diff --git a/Source/Dafny/Resolver.ssc b/Source/Dafny/Resolver.cs index a216682c..a216682c 100644 --- a/Source/Dafny/Resolver.ssc +++ b/Source/Dafny/Resolver.cs diff --git a/Source/Dafny/Scanner.ssc b/Source/Dafny/Scanner.cs index dbff78e7..dbff78e7 100644 --- a/Source/Dafny/Scanner.ssc +++ b/Source/Dafny/Scanner.cs diff --git a/Source/Dafny/SccGraph.ssc b/Source/Dafny/SccGraph.cs index 0498f55d..0498f55d 100644 --- a/Source/Dafny/SccGraph.ssc +++ b/Source/Dafny/SccGraph.cs diff --git a/Source/Dafny/Translator.ssc b/Source/Dafny/Translator.cs index e80f546b..e80f546b 100644 --- a/Source/Dafny/Translator.ssc +++ b/Source/Dafny/Translator.cs |