Skype Meeting 24052016 » History » Version 2
Version 1 (Karine Even Mendoza, 26/05/2016 15:51) → Version 2/3 (Karine Even Mendoza, 26/05/2016 15:53)
h1. Skype Meeting 24-05-2016
Current Tasks:
* LRA Interpolation
* OpenSMT2 merge
* Benchmarks on Git
* SSA -> SMT - Finish the structure for Decl. part
* Milestone I
Future Tasks:
# Search+uploading Benchmarks to Git
# Funfrog + Parallelizm
# EUF with Predicats (True/False P(x))
Example of its use (as was on the Skype meeting)
P( x )
P( y )
P( x ) := (x*x)
x = y
P( x ) = P( y )
P( x ) := (x * x > 3)
P( x ) == false
P( z )
P( z ) != P( y )
P( z ) != P( x )
Current Tasks:
* LRA Interpolation
* OpenSMT2 merge
* Benchmarks on Git
* SSA -> SMT - Finish the structure for Decl. part
* Milestone I
Future Tasks:
# Search+uploading Benchmarks to Git
# Funfrog + Parallelizm
# EUF with Predicats (True/False P(x))
Example of its use (as was on the Skype meeting)
P( x )
P( y )
P( x ) := (x*x)
x = y
P( x ) = P( y )
P( x ) := (x * x > 3)
P( x ) == false
P( z )
P( z ) != P( y )
P( z ) != P( x )