Code

Add simple API for shadow memory#3200

Code

Merged

zhassan-aws merged 13 commits intomodel-checking:mainmodel-checking/kani:mainfrom zhassan-aws:shadow-apizhassan-aws/kani:shadow-apiCopy head branch name to clipboardJun 4, 2024

+308

Commits

Commits on May 31, 2024

• Add simple API for shadow memory

  zhassan-aws

  committed
  8086b0d

  Copy full SHA for 8086b0d

• Formatting

  zhassan-aws

  committed
  5fe13da

  Copy full SHA for 5fe13da

• Mark as unsafe

  zhassan-aws

  committed
  ab0d482

  Copy full SHA for ab0d482

• Format

  zhassan-aws

  committed
  cad8f44

  Copy full SHA for cad8f44

• Assert that object id and offset are within supported limits

  zhassan-aws

  committed
  aca7c2c

  Copy full SHA for aca7c2c

• Add tests that check the limits of the shadow memory model

  zhassan-aws

  committed
  021b255

  Copy full SHA for 021b255

• Reimplement using hooks for pointer object and offset

  zhassan-aws

  committed
  48f118e

  Copy full SHA for 48f118e

• Make shadow memory struct generic

  zhassan-aws

  committed
  fe78b69

  Copy full SHA for fe78b69

• Make pointer generic

  zhassan-aws

  committed
  14bfd96

  Copy full SHA for 14bfd96

• Mark APIs as unstable

  zhassan-aws

  committed
  3ff7da0

  Copy full SHA for 3ff7da0

• Removed foreign functions which are no longer necessary

  zhassan-aws

  committed
  4afa095

  Copy full SHA for 4afa095

• Add module documentation

  zhassan-aws

  committed
  4490c38

  Copy full SHA for 4490c38

Commits on Jun 4, 2024

• Merge branch 'main' into shadow-api

  zhassan-aws

  authored
  79ba5f1

  Copy full SHA for 79ba5f1