diff options
| -rw-r--r-- | Source/Dafny.sln (renamed from Dafny.sln) | 0 | ||||
| -rw-r--r-- | Source/Dafny/Cloner.cs (renamed from Dafny/Cloner.cs) | 0 | ||||
| -rw-r--r-- | Source/Dafny/Compiler.cs (renamed from Dafny/Compiler.cs) | 0 | ||||
| -rw-r--r-- | Source/Dafny/Dafny.atg (renamed from Dafny/Dafny.atg) | 0 | ||||
| -rw-r--r-- | Source/Dafny/DafnyAst.cs (renamed from Dafny/DafnyAst.cs) | 0 | ||||
| -rw-r--r-- | Source/Dafny/DafnyMain.cs (renamed from Dafny/DafnyMain.cs) | 0 | ||||
| -rw-r--r-- | Source/Dafny/DafnyOptions.cs (renamed from Dafny/DafnyOptions.cs) | 0 | ||||
| -rw-r--r-- | Source/Dafny/DafnyPipeline.csproj (renamed from Dafny/DafnyPipeline.csproj) | 0 | ||||
| -rw-r--r-- | Source/Dafny/Makefile (renamed from Dafny/Makefile) | 0 | ||||
| -rw-r--r-- | Source/Dafny/Parser.cs (renamed from Dafny/Parser.cs) | 0 | ||||
| -rw-r--r-- | Source/Dafny/Printer.cs (renamed from Dafny/Printer.cs) | 0 | ||||
| -rw-r--r-- | Source/Dafny/RefinementTransformer.cs (renamed from Dafny/RefinementTransformer.cs) | 0 | ||||
| -rw-r--r-- | Source/Dafny/Resolver.cs (renamed from Dafny/Resolver.cs) | 0 | ||||
| -rw-r--r-- | Source/Dafny/Rewriter.cs (renamed from Dafny/Rewriter.cs) | 0 | ||||
| -rw-r--r-- | Source/Dafny/Scanner.cs (renamed from Dafny/Scanner.cs) | 0 | ||||
| -rw-r--r-- | Source/Dafny/SccGraph.cs (renamed from Dafny/SccGraph.cs) | 0 | ||||
| -rw-r--r-- | Source/Dafny/Translator.cs (renamed from Dafny/Translator.cs) | 0 | ||||
| -rw-r--r-- | Source/Dafny/Util.cs (renamed from Dafny/Util.cs) | 0 | ||||
| -rw-r--r-- | Source/Dafny/cce.cs (renamed from Dafny/cce.cs) | 0 | ||||
| -rw-r--r-- | Source/DafnyDriver/DafnyDriver.cs (renamed from DafnyDriver/DafnyDriver.cs) | 0 | ||||
| -rw-r--r-- | Source/DafnyDriver/DafnyDriver.csproj (renamed from DafnyDriver/DafnyDriver.csproj) | 0 | ||||
| -rw-r--r-- | Source/DafnyDriver/app.config (renamed from DafnyDriver/app.config) | 0 | ||||
| -rw-r--r-- | Source/DafnyExtension.sln (renamed from Util/VS2010/DafnyExtension/DafnyExtension.sln) | 0 | ||||
| -rw-r--r-- | Source/DafnyExtension/BraceMatching.cs (renamed from Util/VS2010/DafnyExtension/DafnyExtension/BraceMatching.cs) | 0 | ||||
| -rw-r--r-- | Source/DafnyExtension/BufferIdleEventUtil.cs (renamed from Util/VS2010/DafnyExtension/DafnyExtension/BufferIdleEventUtil.cs) | 0 | ||||
| -rw-r--r-- | Source/DafnyExtension/ClassificationTagger.cs (renamed from Util/VS2010/DafnyExtension/DafnyExtension/ClassificationTagger.cs) | 0 | ||||
| -rw-r--r-- | Source/DafnyExtension/ContentType.cs (renamed from Util/VS2010/DafnyExtension/DafnyExtension/ContentType.cs) | 0 | ||||
| -rw-r--r-- | Source/DafnyExtension/DafnyDriver.cs (renamed from Util/VS2010/DafnyExtension/DafnyExtension/DafnyDriver.cs) | 0 | ||||
| -rw-r--r-- | Source/DafnyExtension/DafnyExtension.csproj (renamed from Util/VS2010/DafnyExtension/DafnyExtension/DafnyExtension.csproj) | 0 | ||||
| -rw-r--r-- | Source/DafnyExtension/ErrorTagger.cs (renamed from Util/VS2010/DafnyExtension/DafnyExtension/ErrorTagger.cs) | 0 | ||||
| -rw-r--r-- | Source/DafnyExtension/HoverText.cs (renamed from Util/VS2010/DafnyExtension/DafnyExtension/HoverText.cs) | 0 | ||||
| -rw-r--r-- | Source/DafnyExtension/IdentifierTagger.cs (renamed from Util/VS2010/DafnyExtension/DafnyExtension/IdentifierTagger.cs) | 0 | ||||
| -rw-r--r-- | Source/DafnyExtension/OutliningTagger.cs (renamed from Util/VS2010/DafnyExtension/DafnyExtension/OutliningTagger.cs) | 0 | ||||
| -rw-r--r-- | Source/DafnyExtension/ProgressMargin.cs (renamed from Util/VS2010/DafnyExtension/DafnyExtension/ProgressMargin.cs) | 0 | ||||
| -rw-r--r-- | Source/DafnyExtension/Properties/AssemblyInfo.cs (renamed from Util/VS2010/DafnyExtension/DafnyExtension/Properties/AssemblyInfo.cs) | 0 | ||||
| -rw-r--r-- | Source/DafnyExtension/ResolverTagger.cs (renamed from Util/VS2010/DafnyExtension/DafnyExtension/ResolverTagger.cs) | 0 | ||||
| -rw-r--r-- | Source/DafnyExtension/TokenTagger.cs (renamed from Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs) | 0 | ||||
| -rw-r--r-- | Source/DafnyExtension/WordHighlighter.cs (renamed from Util/VS2010/DafnyExtension/DafnyExtension/WordHighlighter.cs) | 0 | ||||
| -rw-r--r-- | Source/DafnyExtension/source.extension.vsixmanifest (renamed from Util/VS2010/DafnyExtension/DafnyExtension/source.extension.vsixmanifest) | 0 | ||||
| -rw-r--r-- | Source/Jennisys.sln (renamed from Jennisys.sln) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/Analyzer.fs (renamed from Jennisys/Analyzer.fs) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/Ast.fs (renamed from Jennisys/Ast.fs) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/AstUtils.fs (renamed from Jennisys/AstUtils.fs) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/CodeGen.fs (renamed from Jennisys/CodeGen.fs) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/DafnyModelUtils.fs (renamed from Jennisys/DafnyModelUtils.fs) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/DafnyPrinter.fs (renamed from Jennisys/DafnyPrinter.fs) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/EnvUtils.fs (renamed from Jennisys/EnvUtils.fs) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/FixpointSolver.fs (renamed from Jennisys/FixpointSolver.fs) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/Getters.fs (renamed from Jennisys/Getters.fs) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/Jennisys.fs (renamed from Jennisys/Jennisys.fs) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/Jennisys.fsproj (renamed from Jennisys/Jennisys.fsproj) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/Lexer.fsl (renamed from Jennisys/Lexer.fsl) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/Logger.fs (renamed from Jennisys/Logger.fs) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/MethodUnifier.fs (renamed from Jennisys/MethodUnifier.fs) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/Modularizer.fs (renamed from Jennisys/Modularizer.fs) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/Options.fs (renamed from Jennisys/Options.fs) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/Parser.fsy (renamed from Jennisys/Parser.fsy) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/PipelineUtils.fs (renamed from Jennisys/PipelineUtils.fs) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/PrintUtils.fs (renamed from Jennisys/PrintUtils.fs) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/Printer.fs (renamed from Jennisys/Printer.fs) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/README.txt (renamed from Jennisys/README.txt) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/Resolver.fs (renamed from Jennisys/Resolver.fs) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/SymGen.fs (renamed from Jennisys/SymGen.fs) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/TypeChecker.fs (renamed from Jennisys/TypeChecker.fs) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/Utils.fs (renamed from Jennisys/Utils.fs) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/examples/BHeap.jen (renamed from Jennisys/examples/BHeap.jen) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/examples/DList.jen (renamed from Jennisys/examples/DList.jen) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/examples/List.jen (renamed from Jennisys/examples/List.jen) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/examples/List2.jen (renamed from Jennisys/examples/List2.jen) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/examples/List3.jen (renamed from Jennisys/examples/List3.jen) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/examples/Number.jen (renamed from Jennisys/examples/Number.jen) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/examples/NumberMethods.jen (renamed from Jennisys/examples/NumberMethods.jen) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/examples/Set.jen (renamed from Jennisys/examples/Set.jen) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/examples/Set2.jen (renamed from Jennisys/examples/Set2.jen) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/examples/Simple.jen (renamed from Jennisys/examples/Simple.jen) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/examples/jennisys-synth_List.dfy (renamed from Jennisys/examples/jennisys-synth_List.dfy) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/examples/jennisys-synth_List2.dfy (renamed from Jennisys/examples/jennisys-synth_List2.dfy) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/examples/jennisys-synth_List3.dfy (renamed from Jennisys/examples/jennisys-synth_List3.dfy) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/examples/jennisys-synth_Number.dfy (renamed from Jennisys/examples/jennisys-synth_Number.dfy) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/examples/jennisys-synth_Set.dfy (renamed from Jennisys/examples/jennisys-synth_Set.dfy) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/examples/mod/jennisys-synth_List.dfy (renamed from Jennisys/examples/mod/jennisys-synth_List.dfy) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/examples/mod/jennisys-synth_List2.dfy (renamed from Jennisys/examples/mod/jennisys-synth_List2.dfy) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/examples/mod/jennisys-synth_List3.dfy (renamed from Jennisys/examples/mod/jennisys-synth_List3.dfy) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/examples/mod/jennisys-synth_Number.dfy (renamed from Jennisys/examples/mod/jennisys-synth_Number.dfy) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/examples/mod/jennisys-synth_Set.dfy (renamed from Jennisys/examples/mod/jennisys-synth_Set.dfy) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/examples/mod2/jennisys-synth_DList.dfy (renamed from Jennisys/examples/mod2/jennisys-synth_DList.dfy) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/examples/mod2/jennisys-synth_List.dfy (renamed from Jennisys/examples/mod2/jennisys-synth_List.dfy) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/examples/mod2/jennisys-synth_List2.dfy (renamed from Jennisys/examples/mod2/jennisys-synth_List2.dfy) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/examples/mod2/jennisys-synth_List3.dfy (renamed from Jennisys/examples/mod2/jennisys-synth_List3.dfy) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/examples/mod2/jennisys-synth_Number.dfy (renamed from Jennisys/examples/mod2/jennisys-synth_Number.dfy) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/examples/mod2/jennisys-synth_NumberMethods.dfy (renamed from Jennisys/examples/mod2/jennisys-synth_NumberMethods.dfy) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/examples/mod2/jennisys-synth_Set.dfy (renamed from Jennisys/examples/mod2/jennisys-synth_Set.dfy) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/examples/oopsla12/BHeap.jen (renamed from Jennisys/examples/oopsla12/BHeap.jen) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/examples/oopsla12/BHeap_synth.dfy (renamed from Jennisys/examples/oopsla12/BHeap_synth.dfy) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/examples/oopsla12/DList.jen (renamed from Jennisys/examples/oopsla12/DList.jen) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/examples/oopsla12/DList_synth.dfy (renamed from Jennisys/examples/oopsla12/DList_synth.dfy) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/examples/oopsla12/IntSet.jen (renamed from Jennisys/examples/oopsla12/IntSet.jen) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/examples/oopsla12/IntSet_synth.dfy (renamed from Jennisys/examples/oopsla12/IntSet_synth.dfy) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/examples/oopsla12/List.jen (renamed from Jennisys/examples/oopsla12/List.jen) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/examples/oopsla12/List_synth.dfy (renamed from Jennisys/examples/oopsla12/List_synth.dfy) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/examples/oopsla12/Math.jen (renamed from Jennisys/examples/oopsla12/Math.jen) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/examples/oopsla12/Math_synth.dfy (renamed from Jennisys/examples/oopsla12/Math_synth.dfy) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/examples/set.dfy (renamed from Jennisys/examples/set.dfy) | 0 | ||||
| -rw-r--r-- | Source/Jennisys/scripts/StartDafny-jen.bat (renamed from Jennisys/scripts/StartDafny-jen.bat) | 0 |
104 files changed, 0 insertions, 0 deletions
diff --git a/Dafny.sln b/Source/Dafny.sln index 034dfd7b..034dfd7b 100644 --- a/Dafny.sln +++ b/Source/Dafny.sln diff --git a/Dafny/Cloner.cs b/Source/Dafny/Cloner.cs index 38c793c5..38c793c5 100644 --- a/Dafny/Cloner.cs +++ b/Source/Dafny/Cloner.cs diff --git a/Dafny/Compiler.cs b/Source/Dafny/Compiler.cs index 4c334033..4c334033 100644 --- a/Dafny/Compiler.cs +++ b/Source/Dafny/Compiler.cs diff --git a/Dafny/Dafny.atg b/Source/Dafny/Dafny.atg index 4c425497..4c425497 100644 --- a/Dafny/Dafny.atg +++ b/Source/Dafny/Dafny.atg diff --git a/Dafny/DafnyAst.cs b/Source/Dafny/DafnyAst.cs index 345fc6fa..345fc6fa 100644 --- a/Dafny/DafnyAst.cs +++ b/Source/Dafny/DafnyAst.cs diff --git a/Dafny/DafnyMain.cs b/Source/Dafny/DafnyMain.cs index 6091e522..6091e522 100644 --- a/Dafny/DafnyMain.cs +++ b/Source/Dafny/DafnyMain.cs diff --git a/Dafny/DafnyOptions.cs b/Source/Dafny/DafnyOptions.cs index d5057017..d5057017 100644 --- a/Dafny/DafnyOptions.cs +++ b/Source/Dafny/DafnyOptions.cs diff --git a/Dafny/DafnyPipeline.csproj b/Source/Dafny/DafnyPipeline.csproj index b4c2ae1e..b4c2ae1e 100644 --- a/Dafny/DafnyPipeline.csproj +++ b/Source/Dafny/DafnyPipeline.csproj diff --git a/Dafny/Makefile b/Source/Dafny/Makefile index 2013b4f9..2013b4f9 100644 --- a/Dafny/Makefile +++ b/Source/Dafny/Makefile diff --git a/Dafny/Parser.cs b/Source/Dafny/Parser.cs index 032b8a10..032b8a10 100644 --- a/Dafny/Parser.cs +++ b/Source/Dafny/Parser.cs diff --git a/Dafny/Printer.cs b/Source/Dafny/Printer.cs index 36658e2f..36658e2f 100644 --- a/Dafny/Printer.cs +++ b/Source/Dafny/Printer.cs diff --git a/Dafny/RefinementTransformer.cs b/Source/Dafny/RefinementTransformer.cs index 03f8faad..03f8faad 100644 --- a/Dafny/RefinementTransformer.cs +++ b/Source/Dafny/RefinementTransformer.cs diff --git a/Dafny/Resolver.cs b/Source/Dafny/Resolver.cs index a876864e..a876864e 100644 --- a/Dafny/Resolver.cs +++ b/Source/Dafny/Resolver.cs diff --git a/Dafny/Rewriter.cs b/Source/Dafny/Rewriter.cs index c95be2f4..c95be2f4 100644 --- a/Dafny/Rewriter.cs +++ b/Source/Dafny/Rewriter.cs diff --git a/Dafny/Scanner.cs b/Source/Dafny/Scanner.cs index b23931b6..b23931b6 100644 --- a/Dafny/Scanner.cs +++ b/Source/Dafny/Scanner.cs diff --git a/Dafny/SccGraph.cs b/Source/Dafny/SccGraph.cs index 4ae1c185..4ae1c185 100644 --- a/Dafny/SccGraph.cs +++ b/Source/Dafny/SccGraph.cs diff --git a/Dafny/Translator.cs b/Source/Dafny/Translator.cs index 40795129..40795129 100644 --- a/Dafny/Translator.cs +++ b/Source/Dafny/Translator.cs diff --git a/Dafny/Util.cs b/Source/Dafny/Util.cs index 8db3ebc8..8db3ebc8 100644 --- a/Dafny/Util.cs +++ b/Source/Dafny/Util.cs diff --git a/Dafny/cce.cs b/Source/Dafny/cce.cs index ff5152d0..ff5152d0 100644 --- a/Dafny/cce.cs +++ b/Source/Dafny/cce.cs diff --git a/DafnyDriver/DafnyDriver.cs b/Source/DafnyDriver/DafnyDriver.cs index 80f78d16..80f78d16 100644 --- a/DafnyDriver/DafnyDriver.cs +++ b/Source/DafnyDriver/DafnyDriver.cs diff --git a/DafnyDriver/DafnyDriver.csproj b/Source/DafnyDriver/DafnyDriver.csproj index 6f32302d..6f32302d 100644 --- a/DafnyDriver/DafnyDriver.csproj +++ b/Source/DafnyDriver/DafnyDriver.csproj diff --git a/DafnyDriver/app.config b/Source/DafnyDriver/app.config index cb2586be..cb2586be 100644 --- a/DafnyDriver/app.config +++ b/Source/DafnyDriver/app.config diff --git a/Util/VS2010/DafnyExtension/DafnyExtension.sln b/Source/DafnyExtension.sln index fd450cc8..fd450cc8 100644 --- a/Util/VS2010/DafnyExtension/DafnyExtension.sln +++ b/Source/DafnyExtension.sln diff --git a/Util/VS2010/DafnyExtension/DafnyExtension/BraceMatching.cs b/Source/DafnyExtension/BraceMatching.cs index 44b1affe..44b1affe 100644 --- a/Util/VS2010/DafnyExtension/DafnyExtension/BraceMatching.cs +++ b/Source/DafnyExtension/BraceMatching.cs diff --git a/Util/VS2010/DafnyExtension/DafnyExtension/BufferIdleEventUtil.cs b/Source/DafnyExtension/BufferIdleEventUtil.cs index 1aea1385..1aea1385 100644 --- a/Util/VS2010/DafnyExtension/DafnyExtension/BufferIdleEventUtil.cs +++ b/Source/DafnyExtension/BufferIdleEventUtil.cs diff --git a/Util/VS2010/DafnyExtension/DafnyExtension/ClassificationTagger.cs b/Source/DafnyExtension/ClassificationTagger.cs index 09835ac9..09835ac9 100644 --- a/Util/VS2010/DafnyExtension/DafnyExtension/ClassificationTagger.cs +++ b/Source/DafnyExtension/ClassificationTagger.cs diff --git a/Util/VS2010/DafnyExtension/DafnyExtension/ContentType.cs b/Source/DafnyExtension/ContentType.cs index d8487f74..d8487f74 100644 --- a/Util/VS2010/DafnyExtension/DafnyExtension/ContentType.cs +++ b/Source/DafnyExtension/ContentType.cs diff --git a/Util/VS2010/DafnyExtension/DafnyExtension/DafnyDriver.cs b/Source/DafnyExtension/DafnyDriver.cs index 39829bb0..39829bb0 100644 --- a/Util/VS2010/DafnyExtension/DafnyExtension/DafnyDriver.cs +++ b/Source/DafnyExtension/DafnyDriver.cs diff --git a/Util/VS2010/DafnyExtension/DafnyExtension/DafnyExtension.csproj b/Source/DafnyExtension/DafnyExtension.csproj index 2580c396..2580c396 100644 --- a/Util/VS2010/DafnyExtension/DafnyExtension/DafnyExtension.csproj +++ b/Source/DafnyExtension/DafnyExtension.csproj diff --git a/Util/VS2010/DafnyExtension/DafnyExtension/ErrorTagger.cs b/Source/DafnyExtension/ErrorTagger.cs index efd755d8..efd755d8 100644 --- a/Util/VS2010/DafnyExtension/DafnyExtension/ErrorTagger.cs +++ b/Source/DafnyExtension/ErrorTagger.cs diff --git a/Util/VS2010/DafnyExtension/DafnyExtension/HoverText.cs b/Source/DafnyExtension/HoverText.cs index be806f5b..be806f5b 100644 --- a/Util/VS2010/DafnyExtension/DafnyExtension/HoverText.cs +++ b/Source/DafnyExtension/HoverText.cs diff --git a/Util/VS2010/DafnyExtension/DafnyExtension/IdentifierTagger.cs b/Source/DafnyExtension/IdentifierTagger.cs index 5ecc8dc2..5ecc8dc2 100644 --- a/Util/VS2010/DafnyExtension/DafnyExtension/IdentifierTagger.cs +++ b/Source/DafnyExtension/IdentifierTagger.cs diff --git a/Util/VS2010/DafnyExtension/DafnyExtension/OutliningTagger.cs b/Source/DafnyExtension/OutliningTagger.cs index a47cdba7..a47cdba7 100644 --- a/Util/VS2010/DafnyExtension/DafnyExtension/OutliningTagger.cs +++ b/Source/DafnyExtension/OutliningTagger.cs diff --git a/Util/VS2010/DafnyExtension/DafnyExtension/ProgressMargin.cs b/Source/DafnyExtension/ProgressMargin.cs index 7fdf38a6..7fdf38a6 100644 --- a/Util/VS2010/DafnyExtension/DafnyExtension/ProgressMargin.cs +++ b/Source/DafnyExtension/ProgressMargin.cs diff --git a/Util/VS2010/DafnyExtension/DafnyExtension/Properties/AssemblyInfo.cs b/Source/DafnyExtension/Properties/AssemblyInfo.cs index b73b8410..b73b8410 100644 --- a/Util/VS2010/DafnyExtension/DafnyExtension/Properties/AssemblyInfo.cs +++ b/Source/DafnyExtension/Properties/AssemblyInfo.cs diff --git a/Util/VS2010/DafnyExtension/DafnyExtension/ResolverTagger.cs b/Source/DafnyExtension/ResolverTagger.cs index d1af6878..d1af6878 100644 --- a/Util/VS2010/DafnyExtension/DafnyExtension/ResolverTagger.cs +++ b/Source/DafnyExtension/ResolverTagger.cs diff --git a/Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs b/Source/DafnyExtension/TokenTagger.cs index 2f295429..2f295429 100644 --- a/Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs +++ b/Source/DafnyExtension/TokenTagger.cs diff --git a/Util/VS2010/DafnyExtension/DafnyExtension/WordHighlighter.cs b/Source/DafnyExtension/WordHighlighter.cs index 03456c85..03456c85 100644 --- a/Util/VS2010/DafnyExtension/DafnyExtension/WordHighlighter.cs +++ b/Source/DafnyExtension/WordHighlighter.cs diff --git a/Util/VS2010/DafnyExtension/DafnyExtension/source.extension.vsixmanifest b/Source/DafnyExtension/source.extension.vsixmanifest index ef5c1cf5..ef5c1cf5 100644 --- a/Util/VS2010/DafnyExtension/DafnyExtension/source.extension.vsixmanifest +++ b/Source/DafnyExtension/source.extension.vsixmanifest diff --git a/Jennisys.sln b/Source/Jennisys.sln index 3f213e27..3f213e27 100644 --- a/Jennisys.sln +++ b/Source/Jennisys.sln diff --git a/Jennisys/Analyzer.fs b/Source/Jennisys/Analyzer.fs index db4887ed..db4887ed 100644 --- a/Jennisys/Analyzer.fs +++ b/Source/Jennisys/Analyzer.fs diff --git a/Jennisys/Ast.fs b/Source/Jennisys/Ast.fs index d355023a..d355023a 100644 --- a/Jennisys/Ast.fs +++ b/Source/Jennisys/Ast.fs diff --git a/Jennisys/AstUtils.fs b/Source/Jennisys/AstUtils.fs index 6aac59e2..6aac59e2 100644 --- a/Jennisys/AstUtils.fs +++ b/Source/Jennisys/AstUtils.fs diff --git a/Jennisys/CodeGen.fs b/Source/Jennisys/CodeGen.fs index 8df4ca60..8df4ca60 100644 --- a/Jennisys/CodeGen.fs +++ b/Source/Jennisys/CodeGen.fs diff --git a/Jennisys/DafnyModelUtils.fs b/Source/Jennisys/DafnyModelUtils.fs index e734f3bb..e734f3bb 100644 --- a/Jennisys/DafnyModelUtils.fs +++ b/Source/Jennisys/DafnyModelUtils.fs diff --git a/Jennisys/DafnyPrinter.fs b/Source/Jennisys/DafnyPrinter.fs index f2e71e8b..f2e71e8b 100644 --- a/Jennisys/DafnyPrinter.fs +++ b/Source/Jennisys/DafnyPrinter.fs diff --git a/Jennisys/EnvUtils.fs b/Source/Jennisys/EnvUtils.fs index 0b840311..0b840311 100644 --- a/Jennisys/EnvUtils.fs +++ b/Source/Jennisys/EnvUtils.fs diff --git a/Jennisys/FixpointSolver.fs b/Source/Jennisys/FixpointSolver.fs index 1ca3b057..1ca3b057 100644 --- a/Jennisys/FixpointSolver.fs +++ b/Source/Jennisys/FixpointSolver.fs diff --git a/Jennisys/Getters.fs b/Source/Jennisys/Getters.fs index 2e2732af..2e2732af 100644 --- a/Jennisys/Getters.fs +++ b/Source/Jennisys/Getters.fs diff --git a/Jennisys/Jennisys.fs b/Source/Jennisys/Jennisys.fs index b10c9cfc..b10c9cfc 100644 --- a/Jennisys/Jennisys.fs +++ b/Source/Jennisys/Jennisys.fs diff --git a/Jennisys/Jennisys.fsproj b/Source/Jennisys/Jennisys.fsproj index d3493749..d3493749 100644 --- a/Jennisys/Jennisys.fsproj +++ b/Source/Jennisys/Jennisys.fsproj diff --git a/Jennisys/Lexer.fsl b/Source/Jennisys/Lexer.fsl index e1d4795b..e1d4795b 100644 --- a/Jennisys/Lexer.fsl +++ b/Source/Jennisys/Lexer.fsl diff --git a/Jennisys/Logger.fs b/Source/Jennisys/Logger.fs index dbf762cd..dbf762cd 100644 --- a/Jennisys/Logger.fs +++ b/Source/Jennisys/Logger.fs diff --git a/Jennisys/MethodUnifier.fs b/Source/Jennisys/MethodUnifier.fs index d2b1db68..d2b1db68 100644 --- a/Jennisys/MethodUnifier.fs +++ b/Source/Jennisys/MethodUnifier.fs diff --git a/Jennisys/Modularizer.fs b/Source/Jennisys/Modularizer.fs index f5d7e7b7..f5d7e7b7 100644 --- a/Jennisys/Modularizer.fs +++ b/Source/Jennisys/Modularizer.fs diff --git a/Jennisys/Options.fs b/Source/Jennisys/Options.fs index fe640f48..fe640f48 100644 --- a/Jennisys/Options.fs +++ b/Source/Jennisys/Options.fs diff --git a/Jennisys/Parser.fsy b/Source/Jennisys/Parser.fsy index de8e1fb8..de8e1fb8 100644 --- a/Jennisys/Parser.fsy +++ b/Source/Jennisys/Parser.fsy diff --git a/Jennisys/PipelineUtils.fs b/Source/Jennisys/PipelineUtils.fs index a87d442f..a87d442f 100644 --- a/Jennisys/PipelineUtils.fs +++ b/Source/Jennisys/PipelineUtils.fs diff --git a/Jennisys/PrintUtils.fs b/Source/Jennisys/PrintUtils.fs index 138b5e77..138b5e77 100644 --- a/Jennisys/PrintUtils.fs +++ b/Source/Jennisys/PrintUtils.fs diff --git a/Jennisys/Printer.fs b/Source/Jennisys/Printer.fs index 32ae21ac..32ae21ac 100644 --- a/Jennisys/Printer.fs +++ b/Source/Jennisys/Printer.fs diff --git a/Jennisys/README.txt b/Source/Jennisys/README.txt index 30f91b2e..30f91b2e 100644 --- a/Jennisys/README.txt +++ b/Source/Jennisys/README.txt diff --git a/Jennisys/Resolver.fs b/Source/Jennisys/Resolver.fs index bc330520..bc330520 100644 --- a/Jennisys/Resolver.fs +++ b/Source/Jennisys/Resolver.fs diff --git a/Jennisys/SymGen.fs b/Source/Jennisys/SymGen.fs index b736ef31..b736ef31 100644 --- a/Jennisys/SymGen.fs +++ b/Source/Jennisys/SymGen.fs diff --git a/Jennisys/TypeChecker.fs b/Source/Jennisys/TypeChecker.fs index cef88072..cef88072 100644 --- a/Jennisys/TypeChecker.fs +++ b/Source/Jennisys/TypeChecker.fs diff --git a/Jennisys/Utils.fs b/Source/Jennisys/Utils.fs index 56b6b779..56b6b779 100644 --- a/Jennisys/Utils.fs +++ b/Source/Jennisys/Utils.fs diff --git a/Jennisys/examples/BHeap.jen b/Source/Jennisys/examples/BHeap.jen index 55258bde..55258bde 100644 --- a/Jennisys/examples/BHeap.jen +++ b/Source/Jennisys/examples/BHeap.jen diff --git a/Jennisys/examples/DList.jen b/Source/Jennisys/examples/DList.jen index 43337ca8..43337ca8 100644 --- a/Jennisys/examples/DList.jen +++ b/Source/Jennisys/examples/DList.jen diff --git a/Jennisys/examples/List.jen b/Source/Jennisys/examples/List.jen index 85a3b692..85a3b692 100644 --- a/Jennisys/examples/List.jen +++ b/Source/Jennisys/examples/List.jen diff --git a/Jennisys/examples/List2.jen b/Source/Jennisys/examples/List2.jen index 3bd527fb..3bd527fb 100644 --- a/Jennisys/examples/List2.jen +++ b/Source/Jennisys/examples/List2.jen diff --git a/Jennisys/examples/List3.jen b/Source/Jennisys/examples/List3.jen index 9130f82a..9130f82a 100644 --- a/Jennisys/examples/List3.jen +++ b/Source/Jennisys/examples/List3.jen diff --git a/Jennisys/examples/Number.jen b/Source/Jennisys/examples/Number.jen index e31613bd..e31613bd 100644 --- a/Jennisys/examples/Number.jen +++ b/Source/Jennisys/examples/Number.jen diff --git a/Jennisys/examples/NumberMethods.jen b/Source/Jennisys/examples/NumberMethods.jen index f9b17f74..f9b17f74 100644 --- a/Jennisys/examples/NumberMethods.jen +++ b/Source/Jennisys/examples/NumberMethods.jen diff --git a/Jennisys/examples/Set.jen b/Source/Jennisys/examples/Set.jen index 01532f96..01532f96 100644 --- a/Jennisys/examples/Set.jen +++ b/Source/Jennisys/examples/Set.jen diff --git a/Jennisys/examples/Set2.jen b/Source/Jennisys/examples/Set2.jen index cfbcbce7..cfbcbce7 100644 --- a/Jennisys/examples/Set2.jen +++ b/Source/Jennisys/examples/Set2.jen diff --git a/Jennisys/examples/Simple.jen b/Source/Jennisys/examples/Simple.jen index 2f5e7feb..2f5e7feb 100644 --- a/Jennisys/examples/Simple.jen +++ b/Source/Jennisys/examples/Simple.jen diff --git a/Jennisys/examples/jennisys-synth_List.dfy b/Source/Jennisys/examples/jennisys-synth_List.dfy index 0611c78b..0611c78b 100644 --- a/Jennisys/examples/jennisys-synth_List.dfy +++ b/Source/Jennisys/examples/jennisys-synth_List.dfy diff --git a/Jennisys/examples/jennisys-synth_List2.dfy b/Source/Jennisys/examples/jennisys-synth_List2.dfy index 13e521a8..13e521a8 100644 --- a/Jennisys/examples/jennisys-synth_List2.dfy +++ b/Source/Jennisys/examples/jennisys-synth_List2.dfy diff --git a/Jennisys/examples/jennisys-synth_List3.dfy b/Source/Jennisys/examples/jennisys-synth_List3.dfy index e202412f..e202412f 100644 --- a/Jennisys/examples/jennisys-synth_List3.dfy +++ b/Source/Jennisys/examples/jennisys-synth_List3.dfy diff --git a/Jennisys/examples/jennisys-synth_Number.dfy b/Source/Jennisys/examples/jennisys-synth_Number.dfy index 5ede7f5c..5ede7f5c 100644 --- a/Jennisys/examples/jennisys-synth_Number.dfy +++ b/Source/Jennisys/examples/jennisys-synth_Number.dfy diff --git a/Jennisys/examples/jennisys-synth_Set.dfy b/Source/Jennisys/examples/jennisys-synth_Set.dfy index efc9aa07..efc9aa07 100644 --- a/Jennisys/examples/jennisys-synth_Set.dfy +++ b/Source/Jennisys/examples/jennisys-synth_Set.dfy diff --git a/Jennisys/examples/mod/jennisys-synth_List.dfy b/Source/Jennisys/examples/mod/jennisys-synth_List.dfy index 474eb9f1..474eb9f1 100644 --- a/Jennisys/examples/mod/jennisys-synth_List.dfy +++ b/Source/Jennisys/examples/mod/jennisys-synth_List.dfy diff --git a/Jennisys/examples/mod/jennisys-synth_List2.dfy b/Source/Jennisys/examples/mod/jennisys-synth_List2.dfy index 46213b46..46213b46 100644 --- a/Jennisys/examples/mod/jennisys-synth_List2.dfy +++ b/Source/Jennisys/examples/mod/jennisys-synth_List2.dfy diff --git a/Jennisys/examples/mod/jennisys-synth_List3.dfy b/Source/Jennisys/examples/mod/jennisys-synth_List3.dfy index e079b608..e079b608 100644 --- a/Jennisys/examples/mod/jennisys-synth_List3.dfy +++ b/Source/Jennisys/examples/mod/jennisys-synth_List3.dfy diff --git a/Jennisys/examples/mod/jennisys-synth_Number.dfy b/Source/Jennisys/examples/mod/jennisys-synth_Number.dfy index 3f1e6b4b..3f1e6b4b 100644 --- a/Jennisys/examples/mod/jennisys-synth_Number.dfy +++ b/Source/Jennisys/examples/mod/jennisys-synth_Number.dfy diff --git a/Jennisys/examples/mod/jennisys-synth_Set.dfy b/Source/Jennisys/examples/mod/jennisys-synth_Set.dfy index 40404bfb..40404bfb 100644 --- a/Jennisys/examples/mod/jennisys-synth_Set.dfy +++ b/Source/Jennisys/examples/mod/jennisys-synth_Set.dfy diff --git a/Jennisys/examples/mod2/jennisys-synth_DList.dfy b/Source/Jennisys/examples/mod2/jennisys-synth_DList.dfy index 3e1aa99f..3e1aa99f 100644 --- a/Jennisys/examples/mod2/jennisys-synth_DList.dfy +++ b/Source/Jennisys/examples/mod2/jennisys-synth_DList.dfy diff --git a/Jennisys/examples/mod2/jennisys-synth_List.dfy b/Source/Jennisys/examples/mod2/jennisys-synth_List.dfy index 9939dcc2..9939dcc2 100644 --- a/Jennisys/examples/mod2/jennisys-synth_List.dfy +++ b/Source/Jennisys/examples/mod2/jennisys-synth_List.dfy diff --git a/Jennisys/examples/mod2/jennisys-synth_List2.dfy b/Source/Jennisys/examples/mod2/jennisys-synth_List2.dfy index f994186b..f994186b 100644 --- a/Jennisys/examples/mod2/jennisys-synth_List2.dfy +++ b/Source/Jennisys/examples/mod2/jennisys-synth_List2.dfy diff --git a/Jennisys/examples/mod2/jennisys-synth_List3.dfy b/Source/Jennisys/examples/mod2/jennisys-synth_List3.dfy index 65e308bd..65e308bd 100644 --- a/Jennisys/examples/mod2/jennisys-synth_List3.dfy +++ b/Source/Jennisys/examples/mod2/jennisys-synth_List3.dfy diff --git a/Jennisys/examples/mod2/jennisys-synth_Number.dfy b/Source/Jennisys/examples/mod2/jennisys-synth_Number.dfy index 9bb3c398..9bb3c398 100644 --- a/Jennisys/examples/mod2/jennisys-synth_Number.dfy +++ b/Source/Jennisys/examples/mod2/jennisys-synth_Number.dfy diff --git a/Jennisys/examples/mod2/jennisys-synth_NumberMethods.dfy b/Source/Jennisys/examples/mod2/jennisys-synth_NumberMethods.dfy index b20e2741..b20e2741 100644 --- a/Jennisys/examples/mod2/jennisys-synth_NumberMethods.dfy +++ b/Source/Jennisys/examples/mod2/jennisys-synth_NumberMethods.dfy diff --git a/Jennisys/examples/mod2/jennisys-synth_Set.dfy b/Source/Jennisys/examples/mod2/jennisys-synth_Set.dfy index fea364d6..fea364d6 100644 --- a/Jennisys/examples/mod2/jennisys-synth_Set.dfy +++ b/Source/Jennisys/examples/mod2/jennisys-synth_Set.dfy diff --git a/Jennisys/examples/oopsla12/BHeap.jen b/Source/Jennisys/examples/oopsla12/BHeap.jen index 41ebec85..41ebec85 100644 --- a/Jennisys/examples/oopsla12/BHeap.jen +++ b/Source/Jennisys/examples/oopsla12/BHeap.jen diff --git a/Jennisys/examples/oopsla12/BHeap_synth.dfy b/Source/Jennisys/examples/oopsla12/BHeap_synth.dfy index addba4ae..addba4ae 100644 --- a/Jennisys/examples/oopsla12/BHeap_synth.dfy +++ b/Source/Jennisys/examples/oopsla12/BHeap_synth.dfy diff --git a/Jennisys/examples/oopsla12/DList.jen b/Source/Jennisys/examples/oopsla12/DList.jen index 7e087f95..7e087f95 100644 --- a/Jennisys/examples/oopsla12/DList.jen +++ b/Source/Jennisys/examples/oopsla12/DList.jen diff --git a/Jennisys/examples/oopsla12/DList_synth.dfy b/Source/Jennisys/examples/oopsla12/DList_synth.dfy index 897a6de0..897a6de0 100644 --- a/Jennisys/examples/oopsla12/DList_synth.dfy +++ b/Source/Jennisys/examples/oopsla12/DList_synth.dfy diff --git a/Jennisys/examples/oopsla12/IntSet.jen b/Source/Jennisys/examples/oopsla12/IntSet.jen index 4800371e..4800371e 100644 --- a/Jennisys/examples/oopsla12/IntSet.jen +++ b/Source/Jennisys/examples/oopsla12/IntSet.jen diff --git a/Jennisys/examples/oopsla12/IntSet_synth.dfy b/Source/Jennisys/examples/oopsla12/IntSet_synth.dfy index 55523e79..55523e79 100644 --- a/Jennisys/examples/oopsla12/IntSet_synth.dfy +++ b/Source/Jennisys/examples/oopsla12/IntSet_synth.dfy diff --git a/Jennisys/examples/oopsla12/List.jen b/Source/Jennisys/examples/oopsla12/List.jen index 10a70050..10a70050 100644 --- a/Jennisys/examples/oopsla12/List.jen +++ b/Source/Jennisys/examples/oopsla12/List.jen diff --git a/Jennisys/examples/oopsla12/List_synth.dfy b/Source/Jennisys/examples/oopsla12/List_synth.dfy index 5cbfa10e..5cbfa10e 100644 --- a/Jennisys/examples/oopsla12/List_synth.dfy +++ b/Source/Jennisys/examples/oopsla12/List_synth.dfy diff --git a/Jennisys/examples/oopsla12/Math.jen b/Source/Jennisys/examples/oopsla12/Math.jen index 0cc772b3..0cc772b3 100644 --- a/Jennisys/examples/oopsla12/Math.jen +++ b/Source/Jennisys/examples/oopsla12/Math.jen diff --git a/Jennisys/examples/oopsla12/Math_synth.dfy b/Source/Jennisys/examples/oopsla12/Math_synth.dfy index 68893b3d..68893b3d 100644 --- a/Jennisys/examples/oopsla12/Math_synth.dfy +++ b/Source/Jennisys/examples/oopsla12/Math_synth.dfy diff --git a/Jennisys/examples/set.dfy b/Source/Jennisys/examples/set.dfy index 627f1ecb..627f1ecb 100644 --- a/Jennisys/examples/set.dfy +++ b/Source/Jennisys/examples/set.dfy diff --git a/Jennisys/scripts/StartDafny-jen.bat b/Source/Jennisys/scripts/StartDafny-jen.bat index 6f44ec4c..6f44ec4c 100644 --- a/Jennisys/scripts/StartDafny-jen.bat +++ b/Source/Jennisys/scripts/StartDafny-jen.bat |