Code

Simplify Makefiles after F* changes#536

Code

Merged

mtzguido merged 1 commit intoFStarLang:masterFStarLang/karamel:masterfrom mtzguido:simplmtzguido/karamel:simplCopy head branch name to clipboardFeb 20, 2025

+42-72

Commits

Commits on Feb 20, 2025

• Simplify Makefiles after F* changes

  Show description for 5e72d91
  mtzguido

  committed
  5e72d91

  Copy full SHA for 5e72d91