VSCode symbols provider for the Dafny languageThis extension provides support for collecting symbols in Dafny programs (variables, functions, lemmas). FeaturesSymbols can be obtained via the command palette command-shift-O or from the outline panel. Known IssuesNested comments may not be skipped and their content (symbols) may be indexed. ImprovementsHierarchical view would be nice using the DocumentSymbol type instead of SymbolInformation. Newicons to identify logical/proof components would probably help. Release NotesUsers appreciate release notes as you update your extension. 1.0.0Initial release of this extension Release notes |