Code

Fixes to F* library and extraction#631

Code

Merged

franziskuskiefer merged 13 commits intomaincryspen/hax:mainfrom fstar-lib-additionscryspen/hax:fstar-lib-additionsCopy head branch name to clipboardApr 26, 2024

+38-15

Commits

Commits on Apr 4, 2024

• a rand core annotation

  karthikbhargavan

  committed
  d21e1af

  Copy full SHA for d21e1af

Commits on Apr 23, 2024

• Merge branch 'main' into fstar-lib-additions

  karthikbhargavan

  committed
  092ffc7

  Copy full SHA for 092ffc7

• slice

  karthikbhargavan

  committed
  a940818

  Copy full SHA for a940818

Commits on Apr 24, 2024

• copy trait

  karthikbhargavan

  committed
  37a519c

  Copy full SHA for 37a519c

• fix for precondition/postcondition function naming in traits

  karthikbhargavan

  committed
  31ab83b

  Copy full SHA for 31ab83b

• fixes for traits, WIP

  karthikbhargavan

  committed
  677efae

  Copy full SHA for 677efae

• Merge remote-tracking branch 'origin/fix-tc-solve' into fstar-lib-additions

  karthikbhargavan

  committed
  fd6eeae

  Copy full SHA for fd6eeae

• ocamlformat

  karthikbhargavan

  committed
  ae7c460

  Copy full SHA for ae7c460

• Merge branch 'main' into fstar-lib-additions

  karthikbhargavan

  authored
  1dbd2d3

  Copy full SHA for 1dbd2d3

Commits on Apr 25, 2024

• fix(tests): refresh

  W95Psp

  committed
  fbaa976

  Copy full SHA for fbaa976

• fixed paths in makefile

  karthikbhargavan

  committed
  d87cb47

  Copy full SHA for d87cb47

Commits on Apr 26, 2024

• Merge branch 'main' into fstar-lib-additions

  karthikbhargavan

  authored
  5f97b82

  Copy full SHA for 5f97b82

• bump rlimit for Kyber_compress

  karthikbhargavan

  committed
  6a892ef

  Copy full SHA for 6a892ef