Code

Fixing a normalizer inefficiency#3222

Code

Merged

mtzguido merged 7 commits intoFStarLang:masterFStarLang/FStar:masterfrom mtzguido:norm_memo_cfgmtzguido/FStar:norm_memo_cfgCopy head branch name to clipboardMar 15, 2024

+340-43

Commits

Commits on Mar 15, 2024

• nit in error message

  mtzguido

  committed
  0050d2f

  Copy full SHA for 0050d2f

• snap

  mtzguido

  committed
  9861168

  Copy full SHA for 9861168

• Normalizer: laxer check on config for memo

  Show description for a6d9802
  mtzguido

  committed
  a6d9802

  Copy full SHA for a6d9802

• snap

  mtzguido

  committed
  4b6af19

  Copy full SHA for 4b6af19

• Add test

  mtzguido

  committed
  ea8ee64

  Copy full SHA for ea8ee64

• Fix and restore old test for FStarLang#2155

  mtzguido

  committed
  da47413

  Copy full SHA for da47413

• Update expected output

  mtzguido

  committed
  ccb3767

  Copy full SHA for ccb3767