Plan #24
Description
| paper | todos | timeline | |
|---|---|---|---|
| implementation (#21 #23 ) | Aug 26 | Dekel | |
| Computational basis & Different encoding of equivalence checking | experimental evaluation | Aug 28 - Sep 3 | May |
| first draft | Aug 26 - Sep 6 | May | |
| implementation (small improvements) | Sep 3 - Sep 6 | Dekel | |
| Synthesis & Approximative Equivalence checking | experimental evaluation | Sep 9 - Sep 13 | Dekel |
| first draft | Sep 16 - Sep 20 | Dekel & May |
Between Aug 28 - Sep 3, Dekel will work on implementing #22