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