Skype Meeting 31052016 » History » Version 2
« Previous -
Version 2/3
(diff) -
Next » -
Current version
Karine Even Mendoza, 31/05/2016 19:02
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