Code

Some fixes for antiquotations#3193

Code

Draft

mtzguido wants to merge 5 commits intoFStarLang:masterFStarLang/FStar:masterfrom mtzguido:3192mtzguido/FStar:3192Copy head branch name to clipboard

+305-165

Commits

Commits on Jan 23, 2024

• SMT: fix typo

  mtzguido

  committed
  a396dcb

  Copy full SHA for a396dcb

• reflection/smtencoding/extraction: tidy up expansion of antiquotations

  Show description for 9c9260d
  mtzguido

  committed
  9c9260d

  Copy full SHA for 9c9260d

• add test for FStarLang#3192

  mtzguido

  committed
  0997744

  Copy full SHA for 0997744

• A patch for antiquotations on branches

  Show description for 66326e3
  mtzguido

  committed
  66326e3

  Copy full SHA for 66326e3

• snap

  mtzguido

  committed
  19cb960

  Copy full SHA for 19cb960