Code

Feat code actions forall calc#6044

Code

Merged

MikaelMayer merged 14 commits intomasterdafny-lang/dafny:masterfrom feat-code-actions-forall-calcdafny-lang/dafny:feat-code-actions-forall-calcCopy head branch name to clipboardJan 24, 2025

+436-76

Commits

Commits on Jan 9, 2025

• Feat: Support for code actions to insert calc and forall statements

  MikaelMayer

  committed
  463c654

  Copy full SHA for 463c654

• Fixed insertion mechanism.

  MikaelMayer

  committed
  bb5ad21

  Copy full SHA for bb5ad21

Commits on Jan 11, 2025

• formatting

  MikaelMayer

  committed
  1ccd162

  Copy full SHA for 1ccd162

• Merge branch 'master' into feat-code-actions-forall-calc

  MikaelMayer

  committed
  25090ef

  Copy full SHA for 25090ef

• Support for inserting into preexisting by clauses

  MikaelMayer

  committed
  f950860

  Copy full SHA for f950860

• Fixed tests

  MikaelMayer

  committed
  e2b6c04

  Copy full SHA for e2b6c04

Commits on Jan 13, 2025

• Fixed last CI test

  MikaelMayer

  committed
  4997cec

  Copy full SHA for 4997cec

Commits on Jan 15, 2025

• Merge branch 'refs/heads/master' into feat-code-actions-forall-calc

  Show description for 2616a09
  MikaelMayer

  committed
  2616a09

  Copy full SHA for 2616a09

Commits on Jan 21, 2025

• Merge branch 'master' into feat-code-actions-forall-calc

  MikaelMayer

  authored
  f301c68

  Copy full SHA for f301c68

Commits on Jan 23, 2025

• Merge branch 'master' into feat-code-actions-forall-calc

  MikaelMayer

  authored
  c5b2ef2

  Copy full SHA for c5b2ef2

• Added release notes

  MikaelMayer

  committed
  58f9aca

  Copy full SHA for 58f9aca

• Merge branch 'master' into feat-code-actions-forall-calc

  MikaelMayer

  authored
  6c64d80

  Copy full SHA for 6c64d80

Commits on Jan 24, 2025

• Merge branch 'master' into feat-code-actions-forall-calc

  MikaelMayer

  committed
  32f483d

  Copy full SHA for 32f483d

• Review comments

  MikaelMayer

  committed
  61e80e0

  Copy full SHA for 61e80e0