Boris Yakobowski

This PR implements nearly all that's required to have Win32 support of Infer. As a disclaimer, we (AdaCore) are only using the MinGW port. I cannot really say whether those...