Code

Some reflection/tactics updates#2918

Code

Merged

mtzguido merged 11 commits intomasterFStarLang/FStar:masterfrom guido_tacticsFStarLang/FStar:guido_tacticsCopy head branch name to clipboardMay 7, 2023

+1,461-1,776

Commits

Commits on May 5, 2023

• smtencoding: some comments + nit on message

  mtzguido

  committed
  913ab4c

  Copy full SHA for 913ab4c

Commits on May 7, 2023

• print/tc: tweaking debug info to distinguish let/val

  mtzguido

  committed
  bed1a44

  Copy full SHA for bed1a44

• bug-reports: nit on Makefile

  mtzguido

  committed
  dae0fbc

  Copy full SHA for dae0fbc

• reflection: nbe: bv.ppname is sealed

  mtzguido

  committed
  f0a340a

  Copy full SHA for f0a340a

• reflection: exposing the sort of pattern variables as sealed

  mtzguido

  committed
  33ff60c

  Copy full SHA for 33ff60c

• examples: restore param

  mtzguido

  committed
  688a2ab

  Copy full SHA for 688a2ab

• remove Pat_wild

  mtzguido

  committed
  e208429

  Copy full SHA for e208429

• bump checked filed version

  mtzguido

  committed
  12ff4e8

  Copy full SHA for 12ff4e8

• reflection/tactics: distinguish Tv_Unknown and Tv_Unsupp

  mtzguido

  committed
  901cde6

  Copy full SHA for 901cde6

• fixing lib and examples

  mtzguido

  committed
  91092c8

  Copy full SHA for 91092c8

• snap

  mtzguido

  committed
  3afca1b

  Copy full SHA for 3afca1b