diff options
| -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 |