Skype Meeting 31052016 » History » Revision 2
Revision 1 (Karine Even Mendoza, 31/05/2016 18:58) → Revision 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