Skype Meeting 15062016¶
Done and on git.
Partially on git, there shall be more commits.
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.