Code

Further fix for #3213#3215

Code

Merged

mtzguido merged 8 commits intoFStarLang:masterFStarLang/FStar:masterfrom mtzguido:3213bmtzguido/FStar:3213bCopy head branch name to clipboardFeb 12, 2024

+891-765

Commits

Commits on Feb 12, 2024

• SMT: fix typo

  mtzguido

  committed
  a7babd7

  Copy full SHA for a7babd7

• Normalizer: more typeclass use

  mtzguido

  committed
  5b2c692

  Copy full SHA for 5b2c692

• Normalizer: some refactor

  mtzguido

  committed
  4659832

  Copy full SHA for 4659832

• Normalizer: another fix for FStarLang#3213

  mtzguido

  committed
  aea8db8

  Copy full SHA for aea8db8

• snap

  mtzguido

  committed
  dfac2c8

  Copy full SHA for dfac2c8

• Update test, more robust

  mtzguido

  committed
  b5765fb

  Copy full SHA for b5765fb

• Update expected output

  mtzguido

  committed
  6156792

  Copy full SHA for 6156792

• Update WP optimization test

  mtzguido

  committed
  3e66169

  Copy full SHA for 3e66169