Code

Challenge 13 CStr Blog Post#52

Code

Open

Yenyun035 wants to merge 16 commits intomodel-checking:mainmodel-checking/kani-verifier-blog:mainfrom rajathkotyal:cstr-blograjathkotyal/kani-verifier-blog:cstr-blogCopy head branch name to clipboard

+541

Commits

Commits on Dec 2, 2024

• Create 2024-12-03-safety-of-cstr.md

  rajathkotyal

  committed
  3a055ee

• Add headers and general outlines

  Yenyun035

  committed
  7f43fb3

Commits on Dec 4, 2024

• Add intro and challenge overview

  Yenyun035

  committed
  e9ec9b6

• Add safety invariant part

  Yenyun035

  committed
  14985e8

• Add header

  Yenyun035

  committed
  0f5d3e5

Commits on Dec 5, 2024

• feat: add an check_count_bytes example

  MWDZ

  committed
  672f2d4

• Update 2024-12-03-safety-of-cstr.md

  rajathkotyal

  committed
  8139038

• Fixed part2

  Yenyun035

  committed
  c8d2fea

• Add fixme

  Yenyun035

  committed
  1bd2e12

Commits on Dec 6, 2024

• Fix part 2 and 3

  Yenyun035

  committed
  c63506e

• Add header and fixme

  Yenyun035

  committed
  698dfec

• Improve explanation in check_count_bytes

  MWDZ

  committed
  d4eca33

Commits on Dec 7, 2024

• Fix count_bytes section

  Yenyun035

  committed
  23e7f69

Commits on Dec 11, 2024

• add from_ptr, strlen and as_ptr

  rajathkotyal

  committed
  d31f32d

• Formatting && Fix contents

  Yenyun035

  committed
  f4f550c

• Formatting

  Yenyun035

  committed
  3a3ea52