CakeML/choreo

Issues

• Intermediate endpoint semantics

  #3 opened 4 years ago by agomezl
  1

• Process names should be strings instead of word8 lists

  #14 opened 4 years ago by IlmariReissumies
  0

• Add an m to `no_self_comunication`

  #15 opened 5 years ago by IlmariReissumies
  0

• Work out invariants

  #9 opened 5 years ago by agomezl
  0

• Letfuns shouldn't have to live in the same module

  #13 opened 5 years ago by IlmariReissumies
  0

• Forward proof for bakery to endpoint translation

  #7 opened 5 years ago by agomezl
  0

• Backward proofs for bakery to endpoint translation

  #8 opened 5 years ago by agomezl
  0

• Backward proofs for endpoint to payload translation

  #6 opened 5 years ago by agomezl
  1

• Forward proofs for endpoint to payload translation

  #5 opened 6 years ago by agomezl
  1

• endpoint_choiceProofTheory

  #4 opened 6 years ago by agomezl
  1