Even Denis himself has tried it [0], and failed to get enough people on WG14 to ... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

pjmlp 9 months ago | parent | context | favorite | on: The C bounded model checker: criminally underused

Even Denis himself has tried it [0], and failed to get enough people on WG14 to care.

What matters is if enough people in WG14 with voting rights care.

[0] - https://www.bell-labs.com/usr/dmr/www/vararray.pdf

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact