Skip to content

Feature Wishlist

Jump to bottom
Fabian Hauser edited this page May 12, 2020 · 8 revisions

This page is a wish-list of new features.

General

  • Refactorings
  • Contract generation
  • Debugging
    • Might require mapping between Dafny and C# files, seems to not yet be implemented
  • Speed improvements?
  • Display variable types as hover text (already implemented in the new extension?)
  • More IDEs? (emacs, vim, VisualStudio, ...?)
Clone this wiki locally