Code

Regression fix can call#6041

Code

Merged

typerSniper merged 8 commits intodafny-lang:masterdafny-lang/dafny:masterfrom typerSniper:regression-fix-can-calltyperSniper/dafny:regression-fix-can-callCopy head branch name to clipboardJan 11, 2025

+29-1

Commits

Commits on Jan 10, 2025

• add can calls for reads/modified check in overrides

  typerSniper

  committed
  6451fe8

  Copy full SHA for 6451fe8

• Merge branch 'master' of https://github.com/dafny-lang/dafny

  typerSniper

  committed
  acb33aa

  Copy full SHA for acb33aa

• add token

  typerSniper

  committed
  6f85cf1

  Copy full SHA for 6f85cf1

• trigger build

  typerSniper

  committed
  c06baef

  Copy full SHA for c06baef

• new test for ths issue

  typerSniper

  committed
  8ba1dc3

  Copy full SHA for 8ba1dc3

• add back

  typerSniper

  committed
  17fdc76

  Copy full SHA for 17fdc76

• nl

  typerSniper

  committed
  e762e62

  Copy full SHA for e762e62

Commits on Jan 11, 2025

• Merge branch 'master' into regression-fix-can-call

  typerSniper

  authored
  3471de8

  Copy full SHA for 3471de8