Actions
Skype Meeting 31052016 » History » Revision 2
« Previous |
Revision 2/3
(diff)
| Next »
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
Updated by Karine Even Mendoza over 8 years ago · 2 revisions