News for hackers. Stuff that matters.

A comment on Ask HN: A retrofitted C dialect?. Parent comment

Re:Ask HN: A retrofitted C dialect? by AlotOfReading on Wednesday February 26, 2025 @10:19AM (#43184455)
I want to like Frama-C, but I've never managed to actually use it successfully on real projects and the repeated experiences have soured me on it. Getting a recent version installed was a serious chore last time I tried, and no one else is willing to deal with ACSL to get the full value.
[ Parent | on HN ]
Re:Ask HN: A retrofitted C dialect? by KsassPeuk on Friday February 28, 2025 @09:11AM (#43205789)
At some point in the past you also posted the ACSL cast badly documented. I asked you what you needed exactly, but you probably missed the message. So let me try again:

What kind of documentation would you expect in addition to ACSL by Example and the WP tutorial?

[ Parent | on HN ]