LLVM Weekly - #65, Mar 30th 2015

Welcome to the sixty-fifth issue of LLVM Weekly, a weekly newsletter
(published every Monday) covering developments in LLVM, Clang, and related
projects. LLVM Weekly is brought to you by Alex
Bradbury. Subscribe to future issues at
http://llvmweekly.org and pass it on to anyone else you think may be
interested. Please send any tips or feedback to asb@asbradbury.org, or @llvmweekly or @asbradbury on Twitter.

News and articles from around the web

The Z3 theorem prover from Microsoft Research is now on
Github, and more importantly now released
under the MIT
license.
This is a true open source license allowing commercial use, unlike the
previous non-commercial use only license. It's been used with LLVM in the
ALIVe project.

The schedule for EuroLLVM has been
published. There are still a number of early registration tickets
left. If you
can be in London on 13th and 14th of April then I'd highly recommend
registering.