Activity for CIL (C Intermediate Language)
-
kurczaq created ticket #155
sy
-
giksos created ticket #154
save-temps next to the source file
-
Christoph L. Spiel posted a comment on ticket #153
Where is the problem? The cilly binary (cilly.byte or cilly.native) works on preprocessed...
-
Robert Massart created ticket #153
Handle #define ABC_H "abc.h" / #include ABC_H
-
Is the use of this attribute distinguishable from using a special (very wide) primitive...
-
No EXTRAFEATURES in git?
-
David Greve created ticket #151
EXTRAFEATURES compile error
-
Gabriel Kerneis posted a comment on ticket #150
This is fixed in git already. Thanks for the report though. Gabriel
-
Ta Quang Trung created ticket #150
Using of unsafe function (Obj.magic) in module ocamlutil/pretty.ml
-
Ben Liblit committed [d9d6a0]
Added support for GCC builtin function __builti...
-
Ben Liblit posted a comment on ticket #149
Fixed in [1c7ede], with a few purely-cosmetic tweaks immediately after in [122189]...
-
Ben Liblit committed [122189]
Minor spacing tweak.
-
Ben Liblit committed [1eaf4a]
Explain some obscure function arguments.
-
Ben Liblit committed [1c7ede]
Teach CIL about a large suite of "__atomic_*" b...
-
I have a fix in progress. The list of new builtins is actually fairly large, but...
-
Oops, it looks like many of the __atomic_* builtins do already have CIL prototypes,...
-
missing prototypes for GCC __atomic_* builtins
-
<REDACTED> created ticket #148
Wrong parameter name substitution
-
az bro created ticket #147
Ptranal treatment of malloc, etc.
-
The fix as in ptanal-fixes works, passes all my tests, and could be merged into the...
-
WRT to the second problem: Another problem is that even if I call compute_results,...
-
Let me start with stating that it is very unfortunate that we are mixing two problems...
-
Merge branch 'develop' into ptanal-fixes
-
Support gnu_inline attribute
-
Safer fix for Pretty module
-
Remove useless -linkall flag
-
Safer fix for Pretty module
-
Cool! C On Mon, Jun 30, 2014 at 6:45 PM, Gabriel Kerneis kerneis@users.sf.net wrote:...
-
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
-
Olf vs. Golf in Ptranal
-
Fixed in branch ptanal-fixes. Golf is the new default. --ptr_use_olf can be used...
-
Offer choice between Olf and Golf in Ptranal
-
Refactor feature loading
-
Pta: default to Golf analysis, and provide --pt...
-
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
-
Add initialize functions to reset Pta modules
-
Add Util.make_counter
-
Expose Ptranal.analyze_global (closes #145)
-
Use Util.make_counter in point-to analysis modules
-
No, didn;'t even notice them since they're declared inside functions... They should...
-
On Thu, Jun 26, 2014 at 11:28:40AM +0000, az bro wrote: Clearly, at some point, I...
-
Interesting: ( Hashtbl.clear fun_access_map; ) Clearly, at some point, I did, but...
-
In ptranal.ml, why don't you clear fun_access_map too?
-
Yeah, I use it, but it hasn't been extensively tested, so I may well have missed...
-
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.
-
Olf vs. Golf in Ptranal
-
Initialization of Pointer Analysis Module
-
In no way am I an expert on alias analysis, but maybe this is a culprit: | If (e,...
-
Add package directive to App::Cilly::CilConfig
-
Ed Schwartz posted a comment on ticket #141
Sorry for the delay; I've been on vacation. Gabriel, your changes sound reasonable...
-
TheBeaNerd posted a comment on ticket #137
That is fantastic. Thanks, Gabriel! When do you expect the next release? Dave On...
-
This should now be fully fixed in df7c9ad (by merging attributes indeed). Let me...
-
Merge type declaration attributes into type def...
-
Remove unused variables
-
Hmm, it looks like I overlooked the actual issue in my patch, namely that the merge...
-
If CIL is retaining the attributes associated with the type declarations and we could...
-
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...
-
OK, makes sense. On Tue, May 27, 2014 at 6:11 PM, Gabriel Kerneis kerneis@users.sf.netwrote:...
-
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
-
Verbose regtest output for Travis CI
-
Fix mismatching type in computed goto elimination
-
util: add list_map_opt to lift list_map over op...
-
Travis CI build scripts
-
Represent functions without arguments in typsig
-
Fix over-quoting of compiler argument strings
-
C11 static union implicit initialization test case
1 >