summaryrefslogtreecommitdiff
path: root/Dafny
ModeNameSize
-rw-r--r--Compiler.cs69682logplain
-rw-r--r--Dafny.atg67275logplain
-rw-r--r--DafnyAst.cs98563logplain
-rw-r--r--DafnyMain.cs3176logplain
-rw-r--r--DafnyOptions.cs5438logplain
-rw-r--r--DafnyPipeline.csproj10053logplain
-rw-r--r--Makefile944logplain
-rw-r--r--Parser.cs80371logplain
-rw-r--r--Printer.cs40903logplain
-rw-r--r--RefinementTransformer.cs26047logplain
-rw-r--r--Resolver.cs181469logplain
-rw-r--r--Scanner.cs25527logplain
-rw-r--r--SccGraph.cs13923logplain
-rw-r--r--Translator.cs350086logplain
-rw-r--r--cce.cs2919logplain