Code

Functional updates, try 2#260

Code

Open

msprotz wants to merge 4 commits intomasterFStarLang/karamel:masterfrom protz_functional_updateFStarLang/karamel:protz_functional_updateCopy head branch name to clipboard

+198-12

Commits

Commits on Apr 29, 2022

• Revert "Revert "Merge pull request #255 from FStarLang/protz_functional_update""

  Show description for bb54bec
  msprotz

  committed
  bb54bec

  Copy full SHA for bb54bec

Commits on May 2, 2022

• An unfortunate forgotten substitution, this should fix HACL*

  msprotz

  committed
  fcfba49

  Copy full SHA for fcfba49

Commits on May 12, 2022

• Merge remote-tracking branch 'origin/master' into protz_functional_update

  msprotz

  committed
  b8c4782

  Copy full SHA for b8c4782

• Merge remote-tracking branch 'origin/master' into protz_functional_update

  msprotz

  committed
  fe8be18

  Copy full SHA for fe8be18