Code

Misc cleanups#3717

Code

Merged

mtzguido merged 4 commits intoFStarLang:masterFStarLang/FStar:masterfrom mtzguido:miscmtzguido/FStar:miscCopy head branch name to clipboardFeb 5, 2025

+29-20

Commits

Commits on Feb 5, 2025

• SMT: make sure to stop the process when done

  Show description for 39af54b
  mtzguido

  committed
  39af54b

  Copy full SHA for 39af54b

• SMT: Restart solver if --record_hints changes

  Show description for bd4e1b1
  mtzguido

  committed
  bd4e1b1

  Copy full SHA for bd4e1b1

• SMT: only ask for the unsat core if we want to record

  mtzguido

  committed
  52a6406

  Copy full SHA for 52a6406

• mk: no setting to OTHERFLAGS internally, so make OTHERFLAGS=... works as expected

  mtzguido

  committed
  2ce5b4f

  Copy full SHA for 2ce5b4f