Code

Improve code navigation#5419

Code

Merged

keyboardDrummer merged 16 commits intodafny-lang:masterdafny-lang/dafny:masterfrom keyboardDrummer:moduleImportReferenceskeyboardDrummer/dafny:moduleImportReferencesCopy head branch name to clipboardMay 16, 2024

+206-104

Commits

Commits on May 10, 2024

• Add test for references

  keyboardDrummer

  committed
  91568af

  Copy full SHA for 91568af

• Change NameToken of AliasModuleDecl

  keyboardDrummer

  committed
  cadee4c

  Copy full SHA for cadee4c

• Add test that indicates bug

  keyboardDrummer

  committed
  20a3ba7

  Copy full SHA for 20a3ba7

Commits on May 14, 2024

• Fixes

  keyboardDrummer

  committed
  dd34672

  Copy full SHA for dd34672

• Merge branch 'master' into moduleImportReferences

  keyboardDrummer

  authored
  9deaf2a

  Copy full SHA for 9deaf2a

• Add release note

  keyboardDrummer

  committed
  bd892a2

  Copy full SHA for bd892a2

• Merge branch 'moduleImportReferences' of github.com:keyboardDrummer/dafny into moduleImportReferences

  keyboardDrummer

  committed
  0d1f9a1

  Copy full SHA for 0d1f9a1

• Fix test

  keyboardDrummer

  committed
  92a6965

  Copy full SHA for 92a6965

• Update release notes

  keyboardDrummer

  committed
  d148edc

  Copy full SHA for d148edc

• Fixes

  keyboardDrummer

  committed
  21e80ba

  Copy full SHA for 21e80ba

• Fix Tok for AliasModuleDecl

  keyboardDrummer

  committed
  1cb1527

  Copy full SHA for 1cb1527

• 'Fixes'

  keyboardDrummer

  committed
  26e01b8

  Copy full SHA for 26e01b8

• Merge branch 'master' into moduleImportReferences

  keyboardDrummer

  authored
  ae50b49

  Copy full SHA for ae50b49

• Update expect file

  keyboardDrummer

  committed
  ef6b596

  Copy full SHA for ef6b596

• Merge branch 'moduleImportReferences' of github.com:keyboardDrummer/dafny into moduleImportReferences

  keyboardDrummer

  committed
  1763081

  Copy full SHA for 1763081

Commits on May 16, 2024

• Merge branch 'master' into moduleImportReferences

  keyboardDrummer

  authored
  4ae5b9e

  Copy full SHA for 4ae5b9e