Re: [CIL users] Projects using CIL

2013-05-17 Thread Gabriel Kerneis
On Fri, May 17, 2013 at 10:30:03AM +0300, Alex Susu wrote: > A few weeks ago I looked a bit and wrote down a list with projects using it > at: https://sites.google.com/site/alexsusu/home/cil . Please note that the CIL tutorial is by Zachary Anderson; you should link directly to his page: https://b

Re: [CIL users] Searching with CIL interpreted deconstructors

2013-05-17 Thread Gabriel Kerneis
On Fri, May 17, 2013 at 10:29:34AM +0300, Alex Susu wrote: > Should I send you the new grammar with some explanation on your personal > email? Please, just send a patch on this mailing-list. In case you are not familiar with git, doing something like this should be enough: $ git clone git://gith

[CIL users] Projects using CIL

2013-05-17 Thread Alex Susu
Hello. Is there a list with the research projects and papers using CIL? A few weeks ago I looked a bit and wrote down a list with projects using it at: https://sites.google.com/site/alexsusu/home/cil . Please feel free to add or make corrections to the list. Best regards,

Re: [CIL users] Searching with CIL interpreted deconstructors

2013-05-17 Thread Alex Susu
Hi, Gabriel, I am almost done with the changes of the grammar. My biggest concern so far is that after changing in the grammar in formatparse.mly 1 rule, I had to erase another rule, which was used instead of my rule at parse time. Should I send you the new grammar with some ex