Code

Misc memory fixes#2885

Code

Merged

mtzguido merged 6 commits intomasterFStarLang/FStar:masterfrom guido_mem2FStarLang/FStar:guido_mem2Copy head branch name to clipboardApr 21, 2023

+229-192

Commits

Commits on Apr 20, 2023

• make runlim_diff.py executable

  mtzguido

  committed
  b4ca151

  Copy full SHA for b4ca151

• runlim_diff.py: allow to compare separate directories, use argparse

  mtzguido

  committed
  6ad8a0b

  Copy full SHA for 6ad8a0b

• micro opt in BU.format

  mtzguido

  committed
  eaf5253

  Copy full SHA for eaf5253

• smt: error reporting: delete useless term_to_string call

  mtzguido

  committed
  57a40dd

  Copy full SHA for 57a40dd

• snap

  mtzguido

  committed
  f273eb9

  Copy full SHA for f273eb9

Commits on Apr 21, 2023

• Merge branch 'master' into guido_mem2

  mtzguido

  authored
  c6ab4e8

  Copy full SHA for c6ab4e8