CPROVER Plugin for Visual Studio

[Prasuna Saka]

Hello,

I would like to know whether the CPROVER Plug-in for Visual Studio is supported over Visual Studio version 13. Somehow, I could not install this plug-in on the Visual Studio Version 13.


Thanks
Prasuna

[Martin Nyx Brain]

The visual studio plug-in has not been maintained for some time and I
doubt it will work on modern versions of Visual Studio. Without
someone to volunteer to maintain it, it is unlikely that it will be
fixed.

Cheers,
- Martin

[Prasuna Saka]

Thank you for the information.

Regards,

Prasuna

--

---
You received this message because you are subscribed to a topic in the Google Groups "CProver Support" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/cprover-support/YWt2kxh-N2k/unsubscribe.
To unsubscribe from this group and all its topics, send an email to cprover-suppo...@googlegroups.com.
To view this discussion on the web, visit https://groups.google.com/d/msgid/cprover-support/1565961553.2539.405.camel%40cs.ox.ac.uk.