News for hackers. Stuff that matters.

A comment on The C Bounded Model Checker: Criminally Underused. Parent comment

Re:The C Bounded Model Checker: Criminally Underused by Joker_vD on Wednesday January 31, 2024 @05:52AM (#39202292)
Yes, and most Pascal implementations (and the Pascal descendants) also have functioning module systems, unlike C. But worse is better.
[ Parent | on HN ]
Re:The C Bounded Model Checker: Criminally Underused by pjmlp on Wednesday January 31, 2024 @06:07AM (#39202391)
It is more like, having a free beer OS to come alongside the language is a big selling point.
[ Parent | on HN ]
Re:The C Bounded Model Checker: Criminally Underused by WalterBright on Wednesday January 31, 2024 @11:21AM (#39205601)
ImportC has a functioning module system! It's a consequence of it being built alongside a D compiler.
[ Parent | on HN ]