summaryrefslogtreecommitdiff
path: root/Source/Dafny
ModeNameSize
-rw-r--r--BigIntegerParser.cs996logplain
-rw-r--r--Cloner.cs43049logplain
-rw-r--r--Compiler.cs128061logplain
-rw-r--r--Dafny.atg140193logplain
-rw-r--r--DafnyAst.cs296851logplain
-rw-r--r--DafnyMain.cs5018logplain
-rw-r--r--DafnyOptions.cs15463logplain
-rw-r--r--DafnyPipeline.csproj10062logplain
-rw-r--r--Makefile1012logplain
-rw-r--r--Parser.cs155753logplain
-rw-r--r--Printer.cs74434logplain
-rw-r--r--RefinementTransformer.cs88753logplain
-rw-r--r--Reporting.cs6019logplain
-rw-r--r--Resolver.cs529690logplain
-rw-r--r--Rewriter.cs72206logplain
-rw-r--r--Scanner.cs33787logplain
-rw-r--r--SccGraph.cs14033logplain
-rw-r--r--Translator.cs711766logplain
d---------Triggers291logplain
-rw-r--r--Util.cs10255logplain
-rw-r--r--cce.cs2315logplain