Code

WIP ipc verification#21

Code

Draft

priyasiddharth wants to merge 3 commits intomasterseahorn/verifyTrusty:masterfrom ipc_sessionseahorn/verifyTrusty:ipc_sessionCopy head branch name to clipboard

+517-94

Commits

Commits on Apr 13, 2023

• feat(verify_script): enhance output

  Show description for 7da7ea1
  priyasiddharth

  committed
  7da7ea1

  Copy full SHA for 7da7ea1

• feat(sea_libc): initial commit of SEAHORN libc

  Show description for faf56ab
  priyasiddharth

  committed
  faf56ab

  Copy full SHA for faf56ab

Commits on Apr 14, 2023

• feat(storage): WIP Verification of storage/ipc.c

  priyasiddharth

  committed
  a4ffc3a

  Copy full SHA for a4ffc3a