Code

Removing hints#523

Code

Merged

msprotz merged 4 commits intomasterFStarLang/karamel:masterfrom nik_no_hintsFStarLang/karamel:nik_no_hintsCopy head branch name to clipboardJan 17, 2025

+22-143,092

Commits

Commits on Jan 16, 2025

• remove hints

  nikswamy

  committed
  5b76568

  Copy full SHA for 5b76568

• remove hints from Makefiles; use --ext context_pruning instead

  nikswamy

  committed
  820a774

  Copy full SHA for 820a774

• update snapshot (new case for unfold once)

  nikswamy

  committed
  fb0e9fd

  Copy full SHA for fb0e9fd

Commits on Jan 17, 2025

• Merge branch 'master' into nik_no_hints

  msprotz

  authored
  3b50b33

  Copy full SHA for 3b50b33