Skype Meeting 15062016 » History » Version 2
Karine Even Mendoza, 20/06/2016 16:40
1 | 1 | Karine Even Mendoza | h1. Skype Meeting 15062016 |
---|---|---|---|
2 | 1 | Karine Even Mendoza | |
3 | 2 | Karine Even Mendoza | +Current Tasks+ |
4 | 2 | Karine Even Mendoza | |
5 | 1 | Karine Even Mendoza | LRA Interpolation: |
6 | 1 | Karine Even Mendoza | Done and on git. |
7 | 1 | Karine Even Mendoza | |
8 | 1 | Karine Even Mendoza | Milestone I: |
9 | 1 | Karine Even Mendoza | Partially on git, there shall be more commits. |
10 | 1 | Karine Even Mendoza | |
11 | 1 | Karine Even Mendoza | Update CBMC: |
12 | 1 | Karine Even Mendoza | TODO: need to take only part of it + need to merge it with milestone 1 changes once done. |
13 | 1 | Karine Even Mendoza | |
14 | 1 | Karine Even Mendoza | SSA -> SMT: |
15 | 1 | Karine Even Mendoza | Prints works for several benchmarks + passed Z3. TODO: fix few things to make it fit to any SMT solver. |