karimsa/libvex — pull request #1 by karimsa (2014-12-17 22:39:08+00:00)
Title: Move everything useful into master branch

All code will be on the master branch from now on.