Code

fix: Cross-modular override check#3431

Code

Closed

fabiomadge wants to merge 10 commits intodafny-lang:masterdafny-lang/dafny:masterfrom fabiomadge:fix_overrides_check'fabiomadge/dafny:fix_overrides_check'Copy head branch name to clipboard

+171-137

Commits

Commits on Jan 31, 2023

• fix: Cross-modular override check (dafny-lang#3223)

  Show description for c5c40ab
  

  fabiomadge

  and

  robin-aws

  committed
  c5c40ab

  Copy full SHA for c5c40ab

• new id

  fabiomadge

  committed
  1fa95bf

  Copy full SHA for 1fa95bf

Commits on Feb 2, 2023

• extend substitutions to all overriden functions

  fabiomadge

  committed
  7c897ef

  Copy full SHA for 7c897ef

• Merge branch 'master' into fix_overrides_check'

  fabiomadge

  authored
  6dcc736

  Copy full SHA for 6dcc736

Commits on Feb 4, 2023

• Merge branch 'master' into fix_overrides_check'

  fabiomadge

  authored
  d495920

  Copy full SHA for d495920

• don't modify the AST

  fabiomadge

  committed
  b572d46

  Copy full SHA for b572d46

• fix the substitution without breaking it

  fabiomadge

  committed
  bd03f89

  Copy full SHA for bd03f89

Commits on Feb 5, 2023

• also do the override checks for methods at the height of the overriding member

  fabiomadge

  committed
  6c1982a

  Copy full SHA for 6c1982a

• fix proofs

  fabiomadge

  committed
  76c9f68

  Copy full SHA for 76c9f68

Commits on Feb 9, 2023

• Merge branch 'master' into fix_overrides_check'

  fabiomadge

  authored
  c7049ff

  Copy full SHA for c7049ff