Skype Meeting 15062016¶

Current Tasks

LRA Interpolation:
Done and on git.

Milestone I:
Partially on git, there shall be more commits.

Update CBMC:
TODO: need to take only part of it + need to merge it with milestone 1 changes once done.

SSA -> SMT:
Prints works for several benchmarks + passed Z3. TODO: fix few things to make it fit to any SMT solver.