3 ms·
The same people that are against documenting their APIs when requested by the RfL project would likely reject the idea of adding annotations to C code for (in t
by estebank 2y ago
The same people that are against documenting their APIs when requested by the RfL project would likely reject the idea of adding annotations to C code for (in their eyes) only benefiting RfL.
- eschaton 2y agoNevertheless, it should be pursued because it also benefits the C code when combined with static analysis.