Code

task024#7

Code

Merged

parno merged 4 commits intosecure-foundations:mainsecure-foundations/human-eval-verus:mainfrom ahuoguo:task024ahuoguo/human-eval-verus:task024Copy head branch name to clipboardAug 27, 2024

+89-2

Commits

Commits on Aug 11, 2024

• task024 done

  ahuoguo

  committed
  0708082

  Copy full SHA for 0708082

• cross out 024

  ahuoguo

  committed
  9d54a86

  Copy full SHA for 9d54a86

Commits on Aug 20, 2024

• swap args for dividies

  ahuoguo

  committed
  ad5455b

  Copy full SHA for ad5455b

Commits on Aug 23, 2024

• Merge branch 'main' into task024

  ahuoguo

  committed
  f8c2527

  Copy full SHA for f8c2527