Code

Task 87#28

Code

Merged

parno merged 9 commits intosecure-foundations:mainsecure-foundations/human-eval-verus:mainfrom zero-to-nat:mainzero-to-nat/human-eval-verus:mainCopy head branch name to clipboardJan 14, 2025

+163-1

Commits

Commits on Nov 26, 2024

• first attempt at task 85

  zero-to-nat

  committed
  89a76ce

  Copy full SHA for 89a76ce

• verusfmt

  zero-to-nat

  committed
  1146548

  Copy full SHA for 1146548

• verusfmt again

  zero-to-nat

  committed
  4279b94

  Copy full SHA for 4279b94

Commits on Nov 30, 2024

• first version without correct sorting

  zero-to-nat

  committed
  8921765

  Copy full SHA for 8921765

Commits on Dec 1, 2024

• correct sorting

  zero-to-nat

  committed
  de63a35

  Copy full SHA for de63a35

Commits on Dec 4, 2024

• add comments and a couple todos

  zero-to-nat

  committed
  3e0a490

  Copy full SHA for 3e0a490

• Merge branch 'secure-foundations:main' into main

  zero-to-nat

  authored
  b9f6bda

  Copy full SHA for b9f6bda

• simplify proof

  zero-to-nat

  committed
  13d07c3

  Copy full SHA for 13d07c3

Commits on Dec 6, 2024

• code review

  zero-to-nat

  committed
  920ea26

  Copy full SHA for 920ea26