Skype Meeting 31052016 » History » Version 2
Karine Even Mendoza, 31/05/2016 19:02
| 1 | 1 | Karine Even Mendoza | h1. Skype Meeting 31/05/2016 |
|---|---|---|---|
| 2 | 2 | Karine Even Mendoza | |
| 3 | 2 | Karine Even Mendoza | |
| 4 | 2 | Karine Even Mendoza | Current Tasks: |
| 5 | 2 | Karine Even Mendoza | LRA Interpolation |
| 6 | 2 | Karine Even Mendoza | SSA -> SMT: |
| 7 | 2 | Karine Even Mendoza | # Upload the temp changes into a new git branch |
| 8 | 2 | Karine Even Mendoza | # change the current output (comments from the meeting) |
| 9 | 2 | Karine Even Mendoza | Milestone I |
| 10 | 2 | Karine Even Mendoza | |
| 11 | 2 | Karine Even Mendoza | |
| 12 | 2 | Karine Even Mendoza | Future Tasks: |
| 13 | 2 | Karine Even Mendoza | Search+uploading Benchmarks to Git |
| 14 | 2 | Karine Even Mendoza | Funfrog + Parallelizm |
| 15 | 2 | Karine Even Mendoza | EUF with Predicats (True/False P(x)) - see skype meeting from the 24/05/2016 |