Code

Updating for new F* build#123

Code

Merged

mtzguido merged 4 commits intomasterproject-everest/everest:masterfrom guido_devproject-everest/everest:guido_devCopy head branch name to clipboardJan 9, 2025

+66-43

Commits

Commits on Jan 8, 2025

• everest: simplifying some chunks

  mtzguido

  committed
  68b5fd3

  Copy full SHA for 68b5fd3

• everest: better check for Unix paths in windows

  mtzguido

  committed
  214da04

  Copy full SHA for 214da04

• everest: updating for new F* build + layout, exporting FSTAR_EXE

  mtzguido

  committed
  988fefc

  Copy full SHA for 988fefc

Commits on Jan 9, 2025

• silly typo

  mtzguido

  committed
  22ba1fa

  Copy full SHA for 22ba1fa