Code

Allocated 4 default#3637

Code

Merged

keyboardDrummer merged 5 commits intodafny-lang:main-4.0dafny-lang/dafny:main-4.0from RustanLeino:allocated-4-defaultRustanLeino/dafny:allocated-4-defaultCopy head branch name to clipboardFeb 28, 2023

+122-5

Commits

Commits on Feb 25, 2023

• Make /allocated:4 the default

  RustanLeino

  committed
  4cdd834

  Copy full SHA for 4cdd834

• Deprecate the /allocated option

  RustanLeino

  committed
  a79074a

  Copy full SHA for a79074a

• Update answer files with deprecation message

  RustanLeino

  committed
  b71832c

  Copy full SHA for b71832c

Commits on Feb 27, 2023

• Merge branch 'main-4.0' into allocated-4-default

  robin-aws

  authored
  e78f144

  Copy full SHA for e78f144

• Update Options.txt

  robin-aws

  committed
  7fe3793

  Copy full SHA for 7fe3793