This commit is contained in:
Francesco Mecca 2020-03-12 12:21:08 +01:00
parent 926433c7c1
commit 071fcd465c

View file

@ -2,7 +2,6 @@
* TODO Scaletta [1/5] * TODO Scaletta [1/5]
- [X] Abstract - [X] Abstract
- [-] Background [40%] - [-] Background [40%]
- [X]
- [ ] Lambda code [0%] - [ ] Lambda code [0%]
- [ ] Compiler optimizations - [ ] Compiler optimizations
- [ ] other instructions - [ ] other instructions
@ -18,8 +17,10 @@
- [ ] Formal Grammar - [ ] Formal Grammar
- [ ] Symbolic execution of the lambda target - [ ] Symbolic execution of the lambda target
- [ ] Equivalence between source and target - [ ] Equivalence between source and target
- [ ] Statement of correctness
- [ ] Proof of correctness - [ ] Proof of correctness
- [ ] Practical results - [ ] Practical results
TODO: talk about compiler stuff
\end{comment} \end{comment}