Skype Meeting 24052016 » History » Version 3
Karine Even Mendoza, 26/05/2016 15:54
| 1 | 1 | Karine Even Mendoza | h1. Skype Meeting 24-05-2016 |
|---|---|---|---|
| 2 | |||
| 3 | 2 | Karine Even Mendoza | Current Tasks: |
| 4 | * LRA Interpolation |
||
| 5 | * OpenSMT2 merge |
||
| 6 | * Benchmarks on Git |
||
| 7 | * SSA -> SMT - Finish the structure for Decl. part |
||
| 8 | * Milestone I |
||
| 9 | 3 | Karine Even Mendoza | * Remove non-linearity from funfrog |
| 10 | 2 | Karine Even Mendoza | |
| 11 | 1 | Karine Even Mendoza | Future Tasks: |
| 12 | # Search+uploading Benchmarks to Git |
||
| 13 | # Funfrog + Parallelizm |
||
| 14 | # EUF with Predicats (True/False P(x)) |
||
| 15 | Example of its use (as was on the Skype meeting) |
||
| 16 | P( x ) |
||
| 17 | P( y ) |
||
| 18 | P( x ) := (x*x) |
||
| 19 | x = y |
||
| 20 | P( x ) = P( y ) |
||
| 21 | P( x ) := (x * x > 3) |
||
| 22 | P( x ) == false |
||
| 23 | P( z ) |
||
| 24 | P( z ) != P( y ) |
||
| 25 | P( z ) != P( x ) |