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