Meeting 17-22102016 - Work plan and future work » History » Version 3
Karine Even Mendoza, 20/10/2016 13:20
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 |
8 | 3 | Karine Even Mendoza | |
9 | 3 | Karine Even Mendoza | |
10 | 3 | Karine Even Mendoza | |
11 | 3 | Karine Even Mendoza | |
12 | 3 | Karine Even Mendoza | h3. Tasks for OpenSMT2 |
13 | 3 | Karine Even Mendoza | |
14 | 3 | Karine Even Mendoza | |
15 | 3 | Karine Even Mendoza | |
16 | 3 | Karine Even Mendoza | h3. Tasks for HiFrog |
17 | 3 | Karine Even Mendoza | |
18 | 3 | Karine Even Mendoza | - Impliment the algorithm for explain the error trace (the paper Grigory sent several weeks ago) |
19 | 3 | Karine Even Mendoza | - Debug of the error trace |