dafny icon indicating copy to clipboard operation
dafny copied to clipboard

Published 20 hours ago • verified publisher icon dafny-lang

Improve code navigation

Open keyboardDrummer opened this issue 1 year ago • 0 comments

Description

  • Improve code navigation for around import declaration with no explicit name
  • Improve code navigation for explicit types of variables

How has this been tested?

  • Added two server tests

By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.

keyboardDrummer avatar May 10 '24 11:05 keyboardDrummer