Code

Harnesses for count_bytes #191

Code

Merged

tautschnig merged 23 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom rajathkotyal:c-0013-junfengj-cstrrajathkotyal/verify-rust-std:c-0013-junfengj-cstrCopy head branch name to clipboardNov 28, 2024

+23

Commits

Commits on Nov 22, 2024

• Test CStr safety invariant

  Yenyun035

  committed
  bf613a0

  Copy full SHA for bf613a0

• Merge branch 'model-checking:main' into c-0013-yenyunw-cstr

  Yenyun035

  authored
  cf6aab1

  Copy full SHA for cf6aab1

• Merge branch 'model-checking:main' into c-0013-yenyunw-cstr

  Yenyun035

  authored
  63d53fb

  Copy full SHA for 63d53fb

• feat: add check_count_bytes

  MWDZ

  committed
  754baec

  Copy full SHA for 754baec

• Add CStr safety invariant && from_bytes_until_null harnesses

  Yenyun035

  committed
  90ae7a5

  Copy full SHA for 90ae7a5

• Merge branch 'model-checking:main' into c-0013-yenyunw-cstr

  Yenyun035

  authored
  e111145

  Copy full SHA for e111145

• Add comments

  Yenyun035

  committed
  55dfaaf

  Copy full SHA for 55dfaaf

Commits on Nov 23, 2024

• Merge branch 'c-0013-yenyunw-cstr' into c-0013-junfengj-cstr

  MWDZ

  committed
  2d5b3f8

  Copy full SHA for 2d5b3f8

• feat: add check_count_bytes to c_str

  MWDZ

  committed
  0cd92cb

  Copy full SHA for 0cd92cb

• Merge branch 'main' into c-0013-yenyunw-cstr

  Yenyun035

  authored
  5db0f1b

  Copy full SHA for 5db0f1b

Commits on Nov 25, 2024

• Fix from_bytes_until_nul harness

  Yenyun035

  committed
  31c1d02

  Copy full SHA for 31c1d02

• Merge branch 'main' into c-0013-yenyunw-cstr

  Yenyun035

  authored
  667b76f

  Copy full SHA for 667b76f

Commits on Nov 27, 2024

• Add to_bytes and to_bytes_with_nul harnesses

  Yenyun035

  committed
  64ddbff

  Copy full SHA for 64ddbff

• feat: adjust the length in check_count_bytes

  MWDZ

  committed
  03c5760

  Copy full SHA for 03c5760

• Merge remote-tracking branch 'origin/c-0013-yenyunw-cstr' into c-0013-junfengj-cstr

  MWDZ

  committed
  0c33a9f

  Copy full SHA for 0c33a9f

• Merge remote-tracking branch 'origin/c-0013-yenyunw-cstr-to-bytes' into c-0013-junfengj-cstr

  MWDZ

  committed
  40f74f7

  Copy full SHA for 40f74f7

• Merge branch 'main' into c-0013-junfengj-cstr

  Yenyun035

  authored
  24b3366

  Copy full SHA for 24b3366

• remove check_to_bytes and check_to_byte_with_null

  MWDZ

  committed
  1180af4

  Copy full SHA for 1180af4

• Merge remote-tracking branch 'refs/remotes/origin/c-0013-junfengj-cstr' into c-0013-junfengj-cstr

  MWDZ

  committed
  196ef41

  Copy full SHA for 196ef41

• Merge branch 'main' into c-0013-junfengj-cstr

  Yenyun035

  authored
  07a7f9e

  Copy full SHA for 07a7f9e

Commits on Nov 28, 2024

• fix: fix the wording of randomly

  MWDZ

  committed
  1f56dc5

  Copy full SHA for 1f56dc5

• feat: change the wording string to bytes

  MWDZ

  committed
  8d0b8aa

  Copy full SHA for 8d0b8aa

• Merge remote-tracking branch 'refs/remotes/origin/c-0013-junfengj-cstr' into c-0013-junfengj-cstr

  MWDZ

  committed
  1767edb

  Copy full SHA for 1767edb