News for hackers. Stuff that matters.
Re:Compilers are hard by tobylane on Thursday January 21, 2021 @03:06AM (#25856619)
CompCert doesn’t guarantee these two functions will work. Thanks, didn’t know about that project.

There are no comments on this comment yet.