Code

Boogie-Style IR Control Flow#140

Code

Merged

l-kent merged 6 commits intomainUQ-PAC/BASIL:mainfrom indirect-calls-nondetUQ-PAC/BASIL:indirect-calls-nondetCopy head branch name to clipboardNov 14, 2023

+2,822-1,402

Commits

Commits on Nov 13, 2023

• move to boogie-style control flow

  

  l-kent

  committed
  1c70ae4

  Copy full SHA for 1c70ae4

• update expected

  

  l-kent

  committed
  234fddc

  Copy full SHA for 234fddc

• Merge branch 'main' into indirect-calls-nondet

  Show description for 7d55069
  

  l-kent

  committed
  7d55069

  Copy full SHA for 7d55069

• fix interpreter for new control flow

  

  l-kent

  committed
  8f6b5d0

  Copy full SHA for 8f6b5d0

• clean up

  

  l-kent

  committed
  65d4286

  Copy full SHA for 65d4286

Commits on Nov 14, 2023

• add comments

  

  l-kent

  committed
  818f24a

  Copy full SHA for 818f24a