Code

Misc debugging improvements#3163

Code

Merged

mtzguido merged 4 commits intoFStarLang:masterFStarLang/FStar:masterfrom mtzguido:miscmtzguido/FStar:miscCopy head branch name to clipboardDec 13, 2023

+82-76

Commits

Commits on Dec 13, 2023

• Showable instance for substitutions

  mtzguido

  committed
  f785417

  Copy full SHA for f785417

• Rel: printing nits and simplifications

  mtzguido

  committed
  84132c6

  Copy full SHA for 84132c6

• Errors: add backtrace on every error/issue when --trace_error is on

  Show description for 8b74cbc
  mtzguido

  committed
  8b74cbc

  Copy full SHA for 8b74cbc

• snap

  mtzguido

  committed
  4713910

  Copy full SHA for 4713910