News for hackers. Stuff that matters.

A comment on The Case for Formal Verification (2013). Parent comment

Re:The Case for Formal Verification (2013) by ahomescu1 on Sunday April 20, 2014 @09:16PM (#7619191)
MSVC supports C++ instead (AFAIK, it has most of C++11 implemented), while CompCert doesn't compile C++ at all.
[ Parent | on HN ]

There are no comments on this comment yet.