dslab-epfl/s2e — pull request #46 by DonDiego (2013-06-19 14:55:55+00:00)
Title: Remove all deprecated and broken bits regarding building S2E on Windows.

Vitaly, here's a commit that drops all the broken and deprecated bits wrt Windows compilation as you suggested on the mailing list. Pull at your convenience.

You may also wish to drop some of the stuff from

https://s2e.epfl.ch/projects/s2e/files