Code

Moving prims.fst to Prims.fst#3479

Code

Merged

mtzguido merged 5 commits intomasterFStarLang/FStar:masterfrom guido_PrimsFStarLang/FStar:guido_PrimsCopy head branch name to clipboardSep 16, 2024

+524-529

Commits

Commits on Sep 15, 2024

• Moving prims.fst -> Prims.fst

  mtzguido

  committed
  71ad5d8

  Copy full SHA for 71ad5d8

• Parser.Dep: remove exception for prims<>Prims

  mtzguido

  committed
  495822c

  Copy full SHA for 495822c

• snap

  mtzguido

  committed
  a0f67b1

  Copy full SHA for a0f67b1

• Update expected output, just prims->Prims

  mtzguido

  committed
  075f8a9

  Copy full SHA for 075f8a9

• Renaming prims->Prims elsewhere

  mtzguido

  committed
  973e90c

  Copy full SHA for 973e90c