News for hackers. Stuff that matters.
Re:The C Bounded Model Checker: Criminally Underused by WalterBright on Wednesday January 31, 2024 @02:37AM (#39201116)
There are different ways to count lines. I included in the C parser count the comment lines.

6000 is also a round number, I did that deliberately to imply the number was not exact.

Re:The C Bounded Model Checker: Criminally Underused by lifthrasiir on Wednesday January 31, 2024 @03:56AM (#39201580)
A new generated code alone is 4000 lines long [1]. The actual code added is just 2000 lines, and some are used to pay debts, I mean, to make a proper code generator. It is debatable whether that generator should count in the number of lines, since you can always write a generator in a simpler scripting language (for example, Rust uses Python to generate the `unicode-xid` crate). In any case however it is far less complex and, in my opinion, much smaller than the entire C parser proper.

[1] https://github.com/dlang/dmd/pull/15307/files#diff-3677bcc89...