Code

Update F* version to latest release#441

Code

Merged

franziskuskiefer merged 5 commits intomaincryspen/hax:mainfrom update-fstar-versioncryspen/hax:update-fstar-versionCopy head branch name to clipboardJan 19, 2024

+41-15

Commits

Commits on Jan 18, 2024

• chore(nix): update F* to latest release

  W95Psp

  committed
  c804580

  Copy full SHA for c804580

• feat(nix): add .envrc files

  W95Psp

  committed
  e9f885a

  Copy full SHA for e9f885a

• feat(ci): script and ci check F* versions

  W95Psp

  committed
  bd2c433

  Copy full SHA for bd2c433

• chore: update F* dependency in README

  W95Psp

  committed
  b5f0785

  Copy full SHA for b5f0785

Commits on Jan 19, 2024

• Merge branch 'main' into update-fstar-version

  franziskuskiefer

  authored
  501acc7

  Copy full SHA for 501acc7