Code

Create a Boogie AST crate#2565

Code

Merged

zhassan-aws merged 6 commits intomodel-checking:features/boogiemodel-checking/kani:features/boogiefrom zhassan-aws:boogie_astzhassan-aws/kani:boogie_astCopy head branch name to clipboardAug 18, 2023

+1,211-7

Commits

Commits on Jul 24, 2023

• Add boogie_ast crate

  zhassan-aws

  committed
  084a62d

  Copy full SHA for 084a62d

• Address some PR comments

  zhassan-aws

  committed
  509d291

  Copy full SHA for 509d291

• Simplify writer and add a unit test

  zhassan-aws

  committed
  1b2d5c0

  Copy full SHA for 1b2d5c0

Commits on Aug 14, 2023

• Address PR comments

  zhassan-aws

  committed
  030162c

  Copy full SHA for 030162c

Commits on Aug 18, 2023

• Return an optional statement from codegen_rvalue

  zhassan-aws

  committed
  b510335

  Copy full SHA for b510335

• Replace hooks with a Kani intrinsics module

  zhassan-aws

  committed
  c4f005a

  Copy full SHA for c4f005a