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