Re:The C Bounded Model Checker: Criminally Underused
by mhh__ on Wednesday January 31, 2024 @05:56PM
(#39210602)
Most big PRs are only big because pull requests are a fundamentally bad model for doing work that's already been planned.
[ Parent
| on HN ]
There are no comments on this comment yet.