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.
[ Parent
| on HN ]
There are no comments on this comment yet.