Code

Deprecate unicode-char#5302

Code

Merged

keyboardDrummer merged 34 commits intodafny-lang:masterdafny-lang/dafny:masterfrom keyboardDrummer:deprecateUnicodeCharkeyboardDrummer/dafny:deprecateUnicodeCharCopy head branch name to clipboardApr 19, 2024

+475-408

Commits

Commits on Apr 5, 2024

• Deprecate unicode-char

  keyboardDrummer

  committed
  f5e07b6

  Copy full SHA for f5e07b6

• Add release note

  keyboardDrummer

  committed
  ae3414d

  Copy full SHA for ae3414d

• Fix bugs

  keyboardDrummer

  committed
  24e8c4f

  Copy full SHA for 24e8c4f

Commits on Apr 8, 2024

• Update expect files

  keyboardDrummer

  committed
  00ba51f

  Copy full SHA for 00ba51f

• Merge branch 'master' into deprecateUnicodeChar

  keyboardDrummer

  authored
  d105494

  Copy full SHA for d105494

• Remove --unicode-code false where possible

  keyboardDrummer

  committed
  2e7a50b

  Copy full SHA for 2e7a50b

• Changes

  keyboardDrummer

  committed
  fd3a1b9

  Copy full SHA for fd3a1b9

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

  keyboardDrummer

  committed
  b95edb6

  Copy full SHA for b95edb6

• Updates

  keyboardDrummer

  committed
  e930eea

  Copy full SHA for e930eea

Commits on Apr 9, 2024

• Fixes

  keyboardDrummer

  committed
  3f8a047

  Copy full SHA for 3f8a047

• Cleanup

  keyboardDrummer

  committed
  8cddd7b

  Copy full SHA for 8cddd7b

• Merge branch 'master' into deprecateUnicodeChar

  keyboardDrummer

  authored
  c36aedc

  Copy full SHA for c36aedc

Commits on Apr 10, 2024

• Update expect files

  keyboardDrummer

  committed
  59fa798

  Copy full SHA for 59fa798

• Fix tests

  keyboardDrummer

  committed
  347caed

  Copy full SHA for 347caed

• Fix ExternDafnyString

  keyboardDrummer

  committed
  3dd25c7

  Copy full SHA for 3dd25c7

• Test fixes

  keyboardDrummer

  committed
  92a8e88

  Copy full SHA for 92a8e88

• Fix tests

  keyboardDrummer

  committed
  1402c5e

  Copy full SHA for 1402c5e

• Merge branch 'master' into deprecateUnicodeChar

  keyboardDrummer

  authored
  8c012ba

  Copy full SHA for 8c012ba

• Fixes

  keyboardDrummer

  committed
  bf383c4

  Copy full SHA for bf383c4

• Update refman

  keyboardDrummer

  committed
  2fe991d

  Copy full SHA for 2fe991d

Commits on Apr 12, 2024

• Let TestGeneration CLI tests use unicode-char=true

  keyboardDrummer

  committed
  607c79c

  Copy full SHA for 607c79c

• Remove unicode-char deprecated warning when using c++ back-end

  keyboardDrummer

  committed
  aef2aaf

  Copy full SHA for aef2aaf

• Merge branch 'master' into deprecateUnicodeChar

  keyboardDrummer

  authored
  4bb9ea1

  Copy full SHA for 4bb9ea1

• Fix docs

  keyboardDrummer

  committed
  4f558ea

  Copy full SHA for 4f558ea

Commits on Apr 16, 2024

• Remove —unicode-char false from as many tests as possible

  Show description for f667d86
  robin-aws

  committed
  f667d86

  Copy full SHA for f667d86

• Fix tests

  robin-aws

  committed
  77fc899

  Copy full SHA for 77fc899

Commits on Apr 17, 2024

• Rename unicodechar directory to unicodecharFalse

  keyboardDrummer

  committed
  4f5371c

  Copy full SHA for 4f5371c

• Remove code that might not be needed any more

  keyboardDrummer

  committed
  1d60806

  Copy full SHA for 1d60806

• Merge branch 'master' into deprecateUnicodeChar

  keyboardDrummer

  authored
  20e42b3

  Copy full SHA for 20e42b3

• Do not migrate ErasableTypeWrappers to use --unicode-char

  keyboardDrummer

  committed
  d06492e

  Copy full SHA for d06492e

• Use SimplifyTypeAndTrimNewtypes consistently in EmitPrintStmt

  robin-aws

  committed
  18d7059

  Copy full SHA for 18d7059

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

  robin-aws

  committed
  43283b3

  Copy full SHA for 43283b3

Commits on Apr 18, 2024

• Undo change

  keyboardDrummer

  committed
  87dcec4

  Copy full SHA for 87dcec4

• Merge branch 'master' into deprecateUnicodeChar

  keyboardDrummer

  authored
  eea5913

  Copy full SHA for eea5913