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