Activity for Gabriel Kerneis
-
Gabriel Kerneis posted a comment on ticket #150
This is fixed in git already. Thanks for the report though. Gabriel
-
Merge branch 'develop' into ptanal-fixes
-
Support gnu_inline attribute
-
Safer fix for Pretty module
-
Remove useless -linkall flag
-
Safer fix for Pretty module
-
No, updating the doc is not enough if the analyze_ functions are not exposed. Probably,...
-
Annotations to first-class modules for OCaml 3.12
-
status: open --> pending
-
Fixed in branch ptanal-fixes. Golf is the new default. --ptr_use_olf can be used...
-
Olf vs. Golf in Ptranal
-
Offer choice between Olf and Golf in Ptranal
-
Pta: default to Golf analysis, and provide --pt...
-
Refactor feature loading
-
Expose parsed OCaml version
-
Fix Pretty module for OCaml 4.02
-
Replace Obj.magic trick by a recursive definition
-
Good point. I'll just update the doc, then.
-
Problem with AddrOfLabel and CopyFunction
-
Patch pending testing in branch fix-copyfunction.
-
CopyFunction changes SIDs.
-
There is a patch proposal in branch fix-copyfunction. Could you tell me if it solves...
-
Fix copyFunction
-
Initialization of Pointer Analysis Module
-
OK, tentative patches pushed to branch ptanal-fixes. Let me know if it works for...
-
ptranal: remove dead-code and useless reference
-
Expose Ptranal.analyze_global (closes #145)
-
Add Util.make_counter
-
Use Util.make_counter in point-to analysis modules
-
Add initialize functions to reset Pta modules
-
On Thu, Jun 26, 2014 at 11:28:40AM +0000, az bro wrote: Clearly, at some point, I...
-
In ptranal.ml, why don't you clear fun_access_map too?
-
And count is hidden in fresh_index so cannot be reset directly like this. Do you...
-
I'm ok with the change in principle, but it also needs implementing for Of.
-
Add package directive to App::Cilly::CilConfig
-
This should now be fully fixed in df7c9ad (by merging attributes indeed). Let me...
-
Remove unused variables
-
Merge type declaration attributes into type def...
-
Hmm, it looks like I overlooked the actual issue in my patch, namely that the merge...
-
CopyFunction changes SIDs.
-
Ha, the code abuses the sid to index the hashtable! This is horrible. Oh my... It...
-
No, in fact it makes no sense… Sids must be fresh within a single function. There...
-
CopyFunction changes SIDs.
-
CopyFunction changes SIDs.
-
This seems a feature rather than a bug to me. I've updated the documentation to mention...
-
Document copyFunction changing statement sid
-
Tail-recursive mapNoCopy and mapNoCopyList
-
Use List.rev_append from OCaml stdlib
-
Disparity between CIL and GCC in struct/union merging
-
It is not explicitly an undefined behaviour (the standard only talks about incompatible...
-
Ed, Christoph, I want to fix this issue, but I don't use Ptranal myself so I'd rather...
-
dropping type declaration attributes
-
Print struct, union and enum declaration attrib...
-
This would be easy to fix, it is only a pretty-printing issue --- CIL has the exact...
-
Disparity between CIL and GCC in struct/union merging
-
I believe we have a case of defined behaviour here, and CIL is correct to complain...
-
Update URL of CIL tutorial (closes #11)
-
Name anonymous structs based on their structure
-
Fix documentation for Cil.ptrdiffType
-
Build doc on travis
-
Install hevea to build doc in Travis
-
Fix mismatching type in computed goto elimination
-
Verbose regtest output for Travis CI
-
Travis CI build scripts
-
Fix over-quoting of compiler argument strings
-
Represent functions without arguments in typsig
-
util: add list_map_opt to lift list_map over op...
-
C11 static union implicit initialization test case
-
C11 static union implicit initialization
-
Use uintprt_t to represent computed goto
1