Giters
CakeML
/
choreo
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
2
Watchers:
35
Issues:
10
Forks:
4
CakeML/choreo Issues
Intermediate endpoint semantics
Closed
4 years ago
Comments count
1
Process names should be strings instead of word8 lists
Closed
4 years ago
Add an m to `no_self_comunication`
Updated
4 years ago
Work out invariants
Closed
4 years ago
Letfuns shouldn't have to live in the same module
Updated
4 years ago
Forward proof for bakery to endpoint translation
Closed
4 years ago
Backward proofs for bakery to endpoint translation
Closed
4 years ago
Backward proofs for endpoint to payload translation
Closed
5 years ago
Comments count
1
Forward proofs for endpoint to payload translation
Closed
5 years ago
Comments count
1
endpoint_choiceProofTheory
Closed
5 years ago
Comments count
1