News for hackers. Stuff that matters.

A comment on ZZ is a modern formally provable dialect of C. Parent comment

Re:ZZ is a modern formally provable dialect of C by pjc50 on Wednesday February 05, 2020 @08:14AM (#22246424)
I think most users are going to wait until CMSIS or their local equivalent is available: https://github.com/ARM-software/CMSIS_5

Besides, it's a big retraining effort.

[ Parent | on HN ]

There are no comments on this comment yet.