Skip to content

Milestones

List view

  • Payload To CakeML

    Proofs for the Payload to CakeML translation step

    Overdue by 5 year(s)
    •
    Due by April 15, 2020
    •1/1 issues closed
    100% complete0 open1 closed

  • Endpoint To Payload

    Proofs for the Bakery to Endpoint translation step

    Overdue by 5 year(s)
    •
    Due by April 15, 2020
    •2/2 issues closed
    100% complete0 open2 closed

  • Endpoint Choice

    Intermediate step to represen choice as communications between endpoints

    Overdue by 5 year(s)
    •
    Due by April 15, 2020
    •1/1 issues closed
    100% complete0 open1 closed

  • Bakery To Endpoint

    Proofs for the Bakery to Endpoint translation step

    Overdue by 5 year(s)
    •
    Due by April 15, 2020
    •3/3 issues closed
    100% complete0 open3 closed