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