Code

ToSyntax: improve some ranges#3014

Code

Merged

mtzguido merged 4 commits intoFStarLang:masterFStarLang/FStar:masterfrom mtzguido:guido_rangesmtzguido/FStar:guido_rangesCopy head branch name to clipboardAug 14, 2023

+50-35

Commits

Commits on Aug 10, 2023

• ToSyntax: improve some ranges

  Show description for 8be5721
  mtzguido

  committed
  8be5721

  Copy full SHA for 8be5721

• snap

  mtzguido

  committed
  4f870e4

  Copy full SHA for 4f870e4

• error-messages: update, errors now point to type names

  mtzguido

  committed
  3626877

  Copy full SHA for 3626877

Commits on Aug 14, 2023

• Merge branch 'master' into guido_ranges

  mtzguido

  authored
  558402c

  Copy full SHA for 558402c