Meeting 17-22102016 - Work plan and future work » History » Version 2
Karine Even Mendoza, 20/10/2016 13:18
| 1 | 1 | Karine Even Mendoza | h1. Meeting 17-22102016 - Work plan and future work |
|---|---|---|---|
| 2 | 1 | Karine Even Mendoza | |
| 3 | 2 | Karine Even Mendoza | Future work: |
| 4 | 2 | Karine Even Mendoza | |
| 5 | 2 | Karine Even Mendoza | 1. Use increamntality of opensmt2 in hifrog |
| 6 | 2 | Karine Even Mendoza | |
| 7 | 2 | Karine Even Mendoza | 2. Fault explain/localize on the error trace |