[klee-dev] Windows support

[Mikhail Oskin]

*******************
This email originates from outside Imperial. Do not click on links and attachments unless you recognise the sender. 
If you trust the sender, add them to your safe senders list https://spam.ic.ac.uk/SpamConsole/Senders.aspx to disable email stamping for this address.
*******************
Dear KLEE developers,

I would like to evaluate KLEE for its feasibility in our research. Is there any significant challenges installing it on windows or just windows setup wasn't targeted and thoroughly tested?

Thanks!

________________________________
Best regards,
Mikhail Oskin
Engineer at Russian Research Institute
Huawei Technologies Co., Ltd [Russia]
[cid:image009.jpg at 01D4B4C0.6BB34BE0]
-------------- next part --------------
HTML attachment scrubbed and removed
-------------- next part --------------
A non-text attachment was scrubbed...
Name: image001.jpg
Type: image/jpeg
Size: 3222 bytes
Desc: image001.jpg
URL: <http://mailman.ic.ac.uk/pipermail/klee-dev/attachments/20200305/10ad494a/attachment.jpg>