Code

Moving FStar->FStarC#237

Code

Merged

mtzguido merged 9 commits intoFStarLang:mainFStarLang/pulse:mainfrom mtzguido:fstarcmtzguido/pulse:fstarcCopy head branch name to clipboardOct 11, 2024

+6,518-6,411

Commits

Commits on Oct 11, 2024

• Passing in --MLish_effect FStarC.Compiler.Effect

  mtzguido

  committed
  acd7d37

  Copy full SHA for acd7d37

• syntax_extension: open FStarC

  Show description for 0a435df
  mtzguido

  committed
  0a435df

  Copy full SHA for 0a435df

• FStar->FStarC, result of a script

  Show description for 14d9520
  mtzguido

  committed
  14d9520

  Copy full SHA for 14d9520

• Rename parser file

  mtzguido

  committed
  93d8a0a

  Copy full SHA for 93d8a0a

• Update dune file

  mtzguido

  committed
  e3f7847

  Copy full SHA for e3f7847

• snap, as usual

  mtzguido

  committed
  273794e

  Copy full SHA for 273794e

• Fix pulse2rust

  mtzguido

  committed
  19c24bd

  Copy full SHA for 19c24bd

• snap

  mtzguido

  committed
  207074d

  Copy full SHA for 207074d

• another snap

  mtzguido

  committed
  135175b

  Copy full SHA for 135175b