kerneis / Profile

Posted a comment on ticket #150 on CIL (C Intermediate Language)
This is fixed in git already. Thanks for the report though. Gabriel
10 years ago
Committed [3d01a4]
Merge branch 'develop' into ptanal-fixes
1 decade ago
Committed [bc1cb8]
Support gnu_inline attribute
1 decade ago
Committed [681f17]
Safer fix for Pretty module
1 decade ago
Committed [2b3a16]
Remove useless -linkall flag
1 decade ago
Committed [e74a5d]
Safer fix for Pretty module
1 decade ago
Posted a comment on ticket #141 on CIL (C Intermediate Language)
No, updating the doc is not enough if the analyze_ functions are not exposed. Probably,...
1 decade ago
Committed [9cbd8a]
Annotations to first-class modules for OCaml 3.12
1 decade ago

Gabriel Kerneis