Does VCC run on Mono too?

Feb 2, 2012 at 10:08 AM

I am just wondering if anybody tried to run VCC on Mono. This would be really nice, because then it would also run on Linux...

Matt

Editor
Mar 19, 2012 at 10:50 AM

Hi Matt,

VCC currently has a dependency on the Visual C++ for preprocessing and parsing, so I don't think it would run on top of Mono. Even if you somehow manage to write your own parser in .NET, there is still the issue of Boogie (which is also in .NET, but I'm not sure it runs on Mono) and Z3 (which runs fine, if a bit slow, in Wine once you manage to set everything up correctly).

Francois