PLSysSec/cachet

Issues

• Support label out-parameters

  #8 opened 2 years ago by spinda
  0

• Produce separate translator and interpreter outputs from Boogie backend

  #6 opened 3 years ago by spinda
  0

• Implement call-tree inlining for Boogie backend interpreter output

  #7 opened 3 years ago by spinda
  0

• Support label declaration/binding within op bodies

  #9 opened 3 years ago by spinda
  0

• Implement support for labels and emit statements in Boogie backend

  #5 opened 3 years ago by spinda
  0

• Rework Boogie backend to accept flattened AST as input

  #4 opened 3 years ago by spinda
  0

• Update C++ backend to build against revised AST

  #11 opened 3 years ago by spinda
  0

• Add ref parameters

  #10 opened 3 years ago by spinda
  0

• Split out block-flattening pass from Boogie backend

  #3 opened 3 years ago by spinda
  0

• Port improvements from experimental unified-ast branch

  #1 opened 3 years ago by spinda
  0