https://sourceforge.net/p/cil/activity/Recent activity for CIL (C Intermediate Language)enThu, 17 Mar 2016 18:24:25 -0000https://sourceforge.net/p/cil/bugs/155/sykurczaqThu, 17 Mar 2016 18:24:25 -0000https://sourceforge.net/p/cil/bugs/155/https://sourceforge.net/p/cil/bugs/154/save-temps next to the source filegiksosSun, 01 Nov 2015 17:32:37 -0000https://sourceforge.net/p/cil/bugs/154/https://sourceforge.net/p/cil/bugs/153/?limit=25#9aadWhere is the problem? The cilly binary (cilly.byte or cilly.native) works on preprocessed...Christoph L. SpielWed, 22 Jul 2015 08:22:30 -0000https://sourceforge.net/p/cil/bugs/153/?limit=25#9aadhttps://sourceforge.net/p/cil/bugs/153/Handle #define ABC_H "abc.h" / #include ABC_HRobert MassartTue, 21 Jul 2015 13:23:32 -0000https://sourceforge.net/p/cil/bugs/153/https://sourceforge.net/p/cil/bugs/128/?limit=25#57bfIs the use of this attribute distinguishable from using a special (very wide) primitive...giksosMon, 20 Jul 2015 22:47:22 -0000https://sourceforge.net/p/cil/bugs/128/?limit=25#57bfhttps://sourceforge.net/p/cil/bugs/152/No EXTRAFEATURES in git?giksosSun, 14 Jun 2015 23:48:39 -0000https://sourceforge.net/p/cil/bugs/152/https://sourceforge.net/p/cil/bugs/151/EXTRAFEATURES compile errorDavid GreveTue, 13 Jan 2015 17:48:47 -0000https://sourceforge.net/p/cil/bugs/151/https://sourceforge.net/p/cil/bugs/150/?limit=25#e487This is fixed in git already. Thanks for the report though. GabrielGabriel KerneisWed, 03 Dec 2014 10:49:46 -0000https://sourceforge.net/p/cil/bugs/150/?limit=25#e487https://sourceforge.net/p/cil/bugs/150/Using of unsafe function (Obj.magic) in module ocamlutil/pretty.mlTa Quang TrungWed, 03 Dec 2014 09:13:04 -0000https://sourceforge.net/p/cil/bugs/150/https://sourceforge.net/p/cil/code/ci/d9d6a08b8017dea996f3f6a4eef07dc017682d6d/Added support for GCC builtin function __builti...Ben LiblitWed, 12 Nov 2014 22:35:20 -0000https://sourceforge.net/p/cil/code/ci/d9d6a08b8017dea996f3f6a4eef07dc017682d6d/https://sourceforge.net/p/cil/bugs/149/?limit=25#7b38Fixed in [1c7ede], with a few purely-cosmetic tweaks immediately after in [122189]...Ben LiblitMon, 10 Nov 2014 23:55:09 -0000https://sourceforge.net/p/cil/bugs/149/?limit=25#7b38https://sourceforge.net/p/cil/code/ci/122189b3c57dfc16ec71f501f4bbc246752a3a57/Minor spacing tweak.Ben LiblitMon, 10 Nov 2014 23:46:39 -0000https://sourceforge.net/p/cil/code/ci/122189b3c57dfc16ec71f501f4bbc246752a3a57/https://sourceforge.net/p/cil/code/ci/1eaf4abee71dddaee4d17e6871a09b4d408756fd/Explain some obscure function arguments.Ben LiblitMon, 10 Nov 2014 23:46:39 -0000https://sourceforge.net/p/cil/code/ci/1eaf4abee71dddaee4d17e6871a09b4d408756fd/https://sourceforge.net/p/cil/code/ci/1c7edea8ad87a1cac3cb48f7d2d69fa246b01ca3/Teach CIL about a large suite of "__atomic_*" b...Ben LiblitMon, 10 Nov 2014 23:46:39 -0000https://sourceforge.net/p/cil/code/ci/1c7edea8ad87a1cac3cb48f7d2d69fa246b01ca3/https://sourceforge.net/p/cil/bugs/149/?limit=25#edd6I have a fix in progress. The list of new builtins is actually fairly large, but...Ben LiblitMon, 10 Nov 2014 21:22:27 -0000https://sourceforge.net/p/cil/bugs/149/?limit=25#edd6https://sourceforge.net/p/cil/bugs/149/?limit=25#bb13Oops, it looks like many of the __atomic_* builtins do already have CIL prototypes,...Ben LiblitMon, 10 Nov 2014 19:36:19 -0000https://sourceforge.net/p/cil/bugs/149/?limit=25#bb13https://sourceforge.net/p/cil/bugs/149/missing prototypes for GCC __atomic_* builtinsBen LiblitMon, 10 Nov 2014 18:43:39 -0000https://sourceforge.net/p/cil/bugs/149/https://sourceforge.net/p/cil/bugs/148/Wrong parameter name substitution<REDACTED>Mon, 18 Aug 2014 10:13:58 -0000https://sourceforge.net/p/cil/bugs/148/https://sourceforge.net/p/cil/bugs/147/Ptranal treatment of malloc, etc.az broThu, 17 Jul 2014 10:41:11 -0000https://sourceforge.net/p/cil/bugs/147/https://sourceforge.net/p/cil/bugs/146/?limit=25#285eThe fix as in ptanal-fixes works, passes all my tests, and could be merged into the...Christoph L. SpielFri, 04 Jul 2014 08:41:14 -0000https://sourceforge.net/p/cil/bugs/146/?limit=25#285ehttps://sourceforge.net/p/cil/bugs/141/?limit=25#e0cbWRT to the second problem: Another problem is that even if I call compute_results,...Christoph L. SpielFri, 04 Jul 2014 08:33:34 -0000https://sourceforge.net/p/cil/bugs/141/?limit=25#e0cbhttps://sourceforge.net/p/cil/bugs/141/?limit=25#9c03Let me start with stating that it is very unfortunate that we are mixing two problems...Christoph L. SpielFri, 04 Jul 2014 07:51:09 -0000https://sourceforge.net/p/cil/bugs/141/?limit=25#9c03https://sourceforge.net/p/cil/code/ci/3d01a40f2349cc25fed2f5d8357b0a1dc27062e5/Merge branch 'develop' into ptanal-fixesGabriel KerneisThu, 03 Jul 2014 09:47:17 -0000https://sourceforge.net/p/cil/code/ci/3d01a40f2349cc25fed2f5d8357b0a1dc27062e5/https://sourceforge.net/p/cil/code/ci/bc1cb8e676e71c0adabe04da5d760d2c85f24268/Support gnu_inline attributeGabriel KerneisWed, 02 Jul 2014 18:30:31 -0000https://sourceforge.net/p/cil/code/ci/bc1cb8e676e71c0adabe04da5d760d2c85f24268/https://sourceforge.net/p/cil/code/ci/681f17e618282436b8168278af4464036623aaf1/Safer fix for Pretty moduleGabriel KerneisTue, 01 Jul 2014 10:07:24 -0000https://sourceforge.net/p/cil/code/ci/681f17e618282436b8168278af4464036623aaf1/https://sourceforge.net/p/cil/code/ci/2b3a16ab375191f95fe93402fac22df2b4b67b84/Remove useless -linkall flagGabriel KerneisTue, 01 Jul 2014 09:45:21 -0000https://sourceforge.net/p/cil/code/ci/2b3a16ab375191f95fe93402fac22df2b4b67b84/https://sourceforge.net/p/cil/code/ci/e74a5d082c7669d24d3fc981a274ffc18e10147a/Safer fix for Pretty moduleGabriel KerneisTue, 01 Jul 2014 09:45:21 -0000https://sourceforge.net/p/cil/code/ci/e74a5d082c7669d24d3fc981a274ffc18e10147a/https://sourceforge.net/p/cil/bugs/146/?limit=25#0593/0ba7Cool! C On Mon, Jun 30, 2014 at 6:45 PM, Gabriel Kerneis kerneis@users.sf.net wrote:...az broTue, 01 Jul 2014 06:58:07 -0000https://sourceforge.net/p/cil/bugs/146/?limit=25#0593/0ba7https://sourceforge.net/p/cil/bugs/141/?limit=25#0523No, updating the doc is not enough if the analyze_ functions are not exposed. Probably,...Gabriel KerneisMon, 30 Jun 2014 16:37:33 -0000https://sourceforge.net/p/cil/bugs/141/?limit=25#0523https://sourceforge.net/p/cil/code/ci/9cbd8aeaf321b484e3913033681d41b78dca00a3/Annotations to first-class modules for OCaml 3.12Gabriel KerneisMon, 30 Jun 2014 16:04:00 -0000https://sourceforge.net/p/cil/code/ci/9cbd8aeaf321b484e3913033681d41b78dca00a3/https://sourceforge.net/p/cil/bugs/146/?limit=25#0593status: open --> pendingGabriel KerneisMon, 30 Jun 2014 15:46:06 -0000https://sourceforge.net/p/cil/bugs/146/?limit=25#0593https://sourceforge.net/p/cil/bugs/146/Olf vs. Golf in PtranalGabriel KerneisMon, 30 Jun 2014 15:45:29 -0000https://sourceforge.net/p/cil/bugs/146/https://sourceforge.net/p/cil/bugs/146/?limit=25#d696Fixed in branch ptanal-fixes. Golf is the new default. --ptr_use_olf can be used...Gabriel KerneisMon, 30 Jun 2014 15:45:29 -0000https://sourceforge.net/p/cil/bugs/146/?limit=25#d696https://sourceforge.net/p/cil/code/ci/a4bb105b147d894720865181ec8899aa0006327d/Offer choice between Olf and Golf in PtranalGabriel KerneisMon, 30 Jun 2014 15:44:21 -0000https://sourceforge.net/p/cil/code/ci/a4bb105b147d894720865181ec8899aa0006327d/https://sourceforge.net/p/cil/code/ci/e1f9baff6ccee372f69f5edc5ec554b422fddd2d/Refactor feature loadingGabriel KerneisMon, 30 Jun 2014 15:42:23 -0000https://sourceforge.net/p/cil/code/ci/e1f9baff6ccee372f69f5edc5ec554b422fddd2d/https://sourceforge.net/p/cil/code/ci/b192ed5844e23c959a70fdbb1a0707580ccd39b6/Pta: default to Golf analysis, and provide --pt...Gabriel KerneisMon, 30 Jun 2014 15:42:23 -0000https://sourceforge.net/p/cil/code/ci/b192ed5844e23c959a70fdbb1a0707580ccd39b6/https://sourceforge.net/p/cil/code/ci/15dae1338dde8b455a90b97bb5c1d8ec04841d72/Expose parsed OCaml versionGabriel KerneisMon, 30 Jun 2014 13:58:23 -0000https://sourceforge.net/p/cil/code/ci/15dae1338dde8b455a90b97bb5c1d8ec04841d72/https://sourceforge.net/p/cil/code/ci/6b3638fc5e79fe82e51fb19d4a909345419225ff/Fix Pretty module for OCaml 4.02Gabriel KerneisMon, 30 Jun 2014 13:58:23 -0000https://sourceforge.net/p/cil/code/ci/6b3638fc5e79fe82e51fb19d4a909345419225ff/https://sourceforge.net/p/cil/code/ci/3ae4a352f49feb7f4b59e1bcf532ae49272d5e7f/Replace Obj.magic trick by a recursive definitionGabriel KerneisMon, 30 Jun 2014 09:26:53 -0000https://sourceforge.net/p/cil/code/ci/3ae4a352f49feb7f4b59e1bcf532ae49272d5e7f/https://sourceforge.net/p/cil/bugs/141/?limit=25#25daGood point. I'll just update the doc, then.Gabriel KerneisThu, 26 Jun 2014 12:52:52 -0000https://sourceforge.net/p/cil/bugs/141/?limit=25#25dahttps://sourceforge.net/p/cil/bugs/142/Problem with AddrOfLabel and CopyFunctionGabriel KerneisThu, 26 Jun 2014 12:11:41 -0000https://sourceforge.net/p/cil/bugs/142/https://sourceforge.net/p/cil/bugs/142/?limit=25#c503Patch pending testing in branch fix-copyfunction.Gabriel KerneisThu, 26 Jun 2014 12:11:41 -0000https://sourceforge.net/p/cil/bugs/142/?limit=25#c503https://sourceforge.net/p/cil/bugs/143/CopyFunction changes SIDs.Gabriel KerneisThu, 26 Jun 2014 12:10:06 -0000https://sourceforge.net/p/cil/bugs/143/https://sourceforge.net/p/cil/bugs/143/?limit=25#f575There is a patch proposal in branch fix-copyfunction. Could you tell me if it solves...Gabriel KerneisThu, 26 Jun 2014 12:09:45 -0000https://sourceforge.net/p/cil/bugs/143/?limit=25#f575https://sourceforge.net/p/cil/code/ci/93ea69490c885bacf44d73854d4a47a31c3ae791/Fix copyFunctionGabriel KerneisThu, 26 Jun 2014 12:07:49 -0000https://sourceforge.net/p/cil/code/ci/93ea69490c885bacf44d73854d4a47a31c3ae791/https://sourceforge.net/p/cil/bugs/145/Initialization of Pointer Analysis ModuleGabriel KerneisThu, 26 Jun 2014 12:06:35 -0000https://sourceforge.net/p/cil/bugs/145/https://sourceforge.net/p/cil/bugs/145/?limit=25#3308OK, tentative patches pushed to branch ptanal-fixes. Let me know if it works for...Gabriel KerneisThu, 26 Jun 2014 12:05:42 -0000https://sourceforge.net/p/cil/bugs/145/?limit=25#3308https://sourceforge.net/p/cil/code/ci/e04acdefd7b2b6325351236b9833f9d1e90d398e/ptranal: remove dead-code and useless referenceGabriel KerneisThu, 26 Jun 2014 12:03:47 -0000https://sourceforge.net/p/cil/code/ci/e04acdefd7b2b6325351236b9833f9d1e90d398e/https://sourceforge.net/p/cil/code/ci/6a57801231e46f609b53c494cc7d113e2c3af9e3/Add initialize functions to reset Pta modulesGabriel KerneisThu, 26 Jun 2014 12:03:47 -0000https://sourceforge.net/p/cil/code/ci/6a57801231e46f609b53c494cc7d113e2c3af9e3/https://sourceforge.net/p/cil/code/ci/62169f7a39f4b13ac2cde0e6531ce16e79695f73/Add Util.make_counterGabriel KerneisThu, 26 Jun 2014 12:03:47 -0000https://sourceforge.net/p/cil/code/ci/62169f7a39f4b13ac2cde0e6531ce16e79695f73/https://sourceforge.net/p/cil/code/ci/f50c7b5f1d679071f98e6f10c9d12262dfe45db3/Expose Ptranal.analyze_global (closes #145)Gabriel KerneisThu, 26 Jun 2014 12:03:47 -0000https://sourceforge.net/p/cil/code/ci/f50c7b5f1d679071f98e6f10c9d12262dfe45db3/https://sourceforge.net/p/cil/code/ci/a9887669c72e361dbb2e90cd07ac5a974904c067/Use Util.make_counter in point-to analysis modulesGabriel KerneisThu, 26 Jun 2014 12:03:47 -0000https://sourceforge.net/p/cil/code/ci/a9887669c72e361dbb2e90cd07ac5a974904c067/https://sourceforge.net/p/cil/bugs/145/?limit=25#63de/6ddf/3f25/94f6/a44cNo, didn;'t even notice them since they're declared inside functions... They should...az broThu, 26 Jun 2014 11:44:23 -0000https://sourceforge.net/p/cil/bugs/145/?limit=25#63de/6ddf/3f25/94f6/a44chttps://sourceforge.net/p/cil/bugs/145/?limit=25#63de/6ddf/3f25/94f6On Thu, Jun 26, 2014 at 11:28:40AM +0000, az bro wrote: Clearly, at some point, I...Gabriel KerneisThu, 26 Jun 2014 11:34:58 -0000https://sourceforge.net/p/cil/bugs/145/?limit=25#63de/6ddf/3f25/94f6https://sourceforge.net/p/cil/bugs/145/?limit=25#63de/6ddf/3f25Interesting: ( Hashtbl.clear fun_access_map; ) Clearly, at some point, I did, but...az broThu, 26 Jun 2014 11:28:39 -0000https://sourceforge.net/p/cil/bugs/145/?limit=25#63de/6ddf/3f25https://sourceforge.net/p/cil/bugs/145/?limit=25#08c2In ptranal.ml, why don't you clear fun_access_map too?Gabriel KerneisThu, 26 Jun 2014 11:18:02 -0000https://sourceforge.net/p/cil/bugs/145/?limit=25#08c2https://sourceforge.net/p/cil/bugs/145/?limit=25#63de/6ddfYeah, I use it, but it hasn't been extensively tested, so I may well have missed...az broThu, 26 Jun 2014 11:12:26 -0000https://sourceforge.net/p/cil/bugs/145/?limit=25#63de/6ddfhttps://sourceforge.net/p/cil/bugs/145/?limit=25#63deAnd count is hidden in fresh_index so cannot be reset directly like this. Do you...Gabriel KerneisThu, 26 Jun 2014 11:03:01 -0000https://sourceforge.net/p/cil/bugs/145/?limit=25#63dehttps://sourceforge.net/p/cil/bugs/145/?limit=25#480cI'm ok with the change in principle, but it also needs implementing for Of.Gabriel KerneisThu, 26 Jun 2014 11:00:44 -0000https://sourceforge.net/p/cil/bugs/145/?limit=25#480chttps://sourceforge.net/p/cil/bugs/146/Olf vs. Golf in Ptranalaz broWed, 25 Jun 2014 12:45:51 -0000https://sourceforge.net/p/cil/bugs/146/https://sourceforge.net/p/cil/bugs/145/Initialization of Pointer Analysis Moduleaz broWed, 25 Jun 2014 12:42:12 -0000https://sourceforge.net/p/cil/bugs/145/https://sourceforge.net/p/cil/bugs/141/?limit=25#46b9/78eeIn no way am I an expert on alias analysis, but maybe this is a culprit: | If (e,...az broWed, 25 Jun 2014 12:33:34 -0000https://sourceforge.net/p/cil/bugs/141/?limit=25#46b9/78eehttps://sourceforge.net/p/cil/code/ci/f7308216f265040c4a90772b35f7cd51c97a6531/Add package directive to App::Cilly::CilConfigGabriel KerneisThu, 19 Jun 2014 10:34:34 -0000https://sourceforge.net/p/cil/code/ci/f7308216f265040c4a90772b35f7cd51c97a6531/https://sourceforge.net/p/cil/bugs/141/?limit=25#46b9Sorry for the delay; I've been on vacation. Gabriel, your changes sound reasonable...Ed SchwartzFri, 30 May 2014 23:57:32 -0000https://sourceforge.net/p/cil/bugs/141/?limit=25#46b9https://sourceforge.net/p/cil/bugs/137/?limit=25#a93b/0f8fThat is fantastic. Thanks, Gabriel! When do you expect the next release? Dave On...TheBeaNerdFri, 30 May 2014 00:54:40 -0000https://sourceforge.net/p/cil/bugs/137/?limit=25#a93b/0f8fhttps://sourceforge.net/p/cil/bugs/137/?limit=25#a93bThis should now be fully fixed in df7c9ad (by merging attributes indeed). Let me...Gabriel KerneisThu, 29 May 2014 15:48:47 -0000https://sourceforge.net/p/cil/bugs/137/?limit=25#a93bhttps://sourceforge.net/p/cil/code/ci/df7c9ad807086e7dec281caec40a6f201e3077af/Merge type declaration attributes into type def...Gabriel KerneisThu, 29 May 2014 15:47:57 -0000https://sourceforge.net/p/cil/code/ci/df7c9ad807086e7dec281caec40a6f201e3077af/https://sourceforge.net/p/cil/code/ci/26478775f7647031ad1408b2a4c9d17f92940e94/Remove unused variablesGabriel KerneisThu, 29 May 2014 15:47:57 -0000https://sourceforge.net/p/cil/code/ci/26478775f7647031ad1408b2a4c9d17f92940e94/https://sourceforge.net/p/cil/bugs/137/?limit=25#f011/e10d/64edHmm, it looks like I overlooked the actual issue in my patch, namely that the merge...Gabriel KerneisWed, 28 May 2014 17:34:11 -0000https://sourceforge.net/p/cil/bugs/137/?limit=25#f011/e10d/64edhttps://sourceforge.net/p/cil/bugs/137/?limit=25#f011/e10dIf CIL is retaining the attributes associated with the type declarations and we could...TheBeaNerdWed, 28 May 2014 17:03:15 -0000https://sourceforge.net/p/cil/bugs/137/?limit=25#f011/e10dhttps://sourceforge.net/p/cil/bugs/143/CopyFunction changes SIDs.Gabriel KerneisTue, 27 May 2014 16:30:52 -0000https://sourceforge.net/p/cil/bugs/143/https://sourceforge.net/p/cil/bugs/143/?limit=25#97e7Ha, the code abuses the sid to index the hashtable! This is horrible. Oh my... It...Gabriel KerneisTue, 27 May 2014 16:30:35 -0000https://sourceforge.net/p/cil/bugs/143/?limit=25#97e7https://sourceforge.net/p/cil/bugs/143/?limit=25#0797No, in fact it makes no sense… Sids must be fresh within a single function. There...Gabriel KerneisTue, 27 May 2014 16:25:53 -0000https://sourceforge.net/p/cil/bugs/143/?limit=25#0797https://sourceforge.net/p/cil/bugs/143/?limit=25#b9df/4559OK, makes sense. On Tue, May 27, 2014 at 6:11 PM, Gabriel Kerneis kerneis@users.sf.netwrote:...az broTue, 27 May 2014 16:22:09 -0000https://sourceforge.net/p/cil/bugs/143/?limit=25#b9df/4559https://sourceforge.net/p/cil/bugs/143/CopyFunction changes SIDs.Gabriel KerneisTue, 27 May 2014 15:11:31 -0000https://sourceforge.net/p/cil/bugs/143/https://sourceforge.net/p/cil/bugs/143/CopyFunction changes SIDs.Gabriel KerneisTue, 27 May 2014 15:11:14 -0000https://sourceforge.net/p/cil/bugs/143/https://sourceforge.net/p/cil/bugs/143/?limit=25#9bd2This seems a feature rather than a bug to me. I've updated the documentation to mention...Gabriel KerneisTue, 27 May 2014 15:11:00 -0000https://sourceforge.net/p/cil/bugs/143/?limit=25#9bd2https://sourceforge.net/p/cil/code/ci/635d3147373a54612699209d30ff41e005f082cf/Document copyFunction changing statement sidGabriel KerneisTue, 27 May 2014 15:09:57 -0000https://sourceforge.net/p/cil/code/ci/635d3147373a54612699209d30ff41e005f082cf/https://sourceforge.net/p/cil/code/ci/b64b07b59e31acb11d30180566e63fbacb8a64af/Tail-recursive mapNoCopy and mapNoCopyListGabriel KerneisTue, 27 May 2014 14:52:14 -0000https://sourceforge.net/p/cil/code/ci/b64b07b59e31acb11d30180566e63fbacb8a64af/https://sourceforge.net/p/cil/code/ci/53b3da6c22c54155ad9e9b0f361e0015af2f9885/Use List.rev_append from OCaml stdlibGabriel KerneisTue, 27 May 2014 14:52:14 -0000https://sourceforge.net/p/cil/code/ci/53b3da6c22c54155ad9e9b0f361e0015af2f9885/https://sourceforge.net/p/cil/bugs/133/Disparity between CIL and GCC in struct/union mergingGabriel KerneisTue, 27 May 2014 12:31:41 -0000https://sourceforge.net/p/cil/bugs/133/https://sourceforge.net/p/cil/bugs/133/?limit=25#d741It is not explicitly an undefined behaviour (the standard only talks about incompatible...Gabriel KerneisTue, 27 May 2014 12:30:46 -0000https://sourceforge.net/p/cil/bugs/133/?limit=25#d741https://sourceforge.net/p/cil/bugs/141/?limit=25#033eEd, Christoph, I want to fix this issue, but I don't use Ptranal myself so I'd rather...Gabriel KerneisTue, 27 May 2014 10:38:32 -0000https://sourceforge.net/p/cil/bugs/141/?limit=25#033ehttps://sourceforge.net/p/cil/bugs/137/dropping type declaration attributesGabriel KerneisTue, 27 May 2014 10:02:26 -0000https://sourceforge.net/p/cil/bugs/137/https://sourceforge.net/p/cil/code/ci/8c3c46a16538782949637c0955f8aa726c517f4f/Print struct, union and enum declaration attrib...Gabriel KerneisTue, 27 May 2014 10:01:59 -0000https://sourceforge.net/p/cil/code/ci/8c3c46a16538782949637c0955f8aa726c517f4f/https://sourceforge.net/p/cil/bugs/137/?limit=25#f011This would be easy to fix, it is only a pretty-printing issue --- CIL has the exact...Gabriel KerneisTue, 27 May 2014 09:39:20 -0000https://sourceforge.net/p/cil/bugs/137/?limit=25#f011https://sourceforge.net/p/cil/bugs/133/Disparity between CIL and GCC in struct/union mergingGabriel KerneisTue, 27 May 2014 09:12:55 -0000https://sourceforge.net/p/cil/bugs/133/https://sourceforge.net/p/cil/bugs/133/?limit=25#9d46I believe we have a case of defined behaviour here, and CIL is correct to complain...Gabriel KerneisTue, 27 May 2014 09:12:19 -0000https://sourceforge.net/p/cil/bugs/133/?limit=25#9d46https://sourceforge.net/p/cil/code/ci/38f9002bf2fe4426df3c2768f4112587e1cdba85/Update URL of CIL tutorial (closes #11)Gabriel KerneisMon, 26 May 2014 14:42:49 -0000https://sourceforge.net/p/cil/code/ci/38f9002bf2fe4426df3c2768f4112587e1cdba85/https://sourceforge.net/p/cil/code/ci/288d22b7758de0e32e9c173c042b6c1946da9fe8/Name anonymous structs based on their structureGabriel KerneisMon, 26 May 2014 14:22:40 -0000https://sourceforge.net/p/cil/code/ci/288d22b7758de0e32e9c173c042b6c1946da9fe8/https://sourceforge.net/p/cil/code/ci/2d186038ffea7abcff98372215993096328a42c0/Fix documentation for Cil.ptrdiffTypeGabriel KerneisMon, 26 May 2014 14:22:40 -0000https://sourceforge.net/p/cil/code/ci/2d186038ffea7abcff98372215993096328a42c0/https://sourceforge.net/p/cil/code/ci/7922e44c5b7dd5f4f953821dadc762718961a0bb/Build doc on travisGabriel KerneisMon, 10 Mar 2014 15:54:12 -0000https://sourceforge.net/p/cil/code/ci/7922e44c5b7dd5f4f953821dadc762718961a0bb/https://sourceforge.net/p/cil/code/ci/3d503d26411249d0219edad41a31e96354ded0b3/Install hevea to build doc in TravisGabriel KerneisMon, 10 Mar 2014 14:44:35 -0000https://sourceforge.net/p/cil/code/ci/3d503d26411249d0219edad41a31e96354ded0b3/https://sourceforge.net/p/cil/code/ci/5bd57bfea21401c2a256ac881c6d8bafbf797393/Verbose regtest output for Travis CIGabriel KerneisMon, 10 Mar 2014 14:36:46 -0000https://sourceforge.net/p/cil/code/ci/5bd57bfea21401c2a256ac881c6d8bafbf797393/https://sourceforge.net/p/cil/code/ci/667c782fc56f467330268362c6ed3005613f8e4c/Fix mismatching type in computed goto eliminationGabriel KerneisMon, 10 Mar 2014 14:36:46 -0000https://sourceforge.net/p/cil/code/ci/667c782fc56f467330268362c6ed3005613f8e4c/https://sourceforge.net/p/cil/code/ci/d6a9c6a30f7dba38286ae87650ca2ee30c4d2931/util: add list_map_opt to lift list_map over op...Gabriel KerneisMon, 10 Mar 2014 13:09:34 -0000https://sourceforge.net/p/cil/code/ci/d6a9c6a30f7dba38286ae87650ca2ee30c4d2931/https://sourceforge.net/p/cil/code/ci/463372e8f8957bbc015cf279d7322d5033797369/Travis CI build scriptsGabriel KerneisMon, 10 Mar 2014 13:09:34 -0000https://sourceforge.net/p/cil/code/ci/463372e8f8957bbc015cf279d7322d5033797369/https://sourceforge.net/p/cil/code/ci/1781542edc429a91adb8c0d89a1273953ec3394d/Represent functions without arguments in typsigGabriel KerneisMon, 10 Mar 2014 13:09:34 -0000https://sourceforge.net/p/cil/code/ci/1781542edc429a91adb8c0d89a1273953ec3394d/https://sourceforge.net/p/cil/code/ci/878b2a2ea51157ae0e51bdef261d267aa35e2cf7/Fix over-quoting of compiler argument stringsGabriel KerneisMon, 10 Mar 2014 13:09:34 -0000https://sourceforge.net/p/cil/code/ci/878b2a2ea51157ae0e51bdef261d267aa35e2cf7/https://sourceforge.net/p/cil/code/ci/03cca6bcd2367fac5bb7b88ac6608b6782acae80/C11 static union implicit initialization test caseGabriel KerneisMon, 10 Mar 2014 10:25:26 -0000https://sourceforge.net/p/cil/code/ci/03cca6bcd2367fac5bb7b88ac6608b6782acae80/