[CIL users] Translate CIL to C

2013-03-21 Thread SHI, Yao
Hi All, I am using CIL for some optimizations. The main page said that CIL can do source-to-source C code transformation. Does it mean that we can translate CIL back to C code (regardless the program is readable) ? Thanks, Yao -

Re: [CIL users] A CIL Tutorial & project template

2013-03-21 Thread Gabriel Kerneis
Hi Zach, On Tue, Jan 08, 2013 at 12:07:46PM +0100, Zachary Anderson wrote: > On Jan 8, 2013, at 11:58 AM, Gabriel Kerneis wrote: > > Thank you very much for sharing this Zachary. Would you like me to add a > > link > > to your tutorial from the CIL homepage, or documentation? > Both or either w

Re: [CIL users] Searching with CIL Interpreted deconstructors

2013-03-21 Thread Gabriel Kerneis
Hi Alex, On Tue, Mar 12, 2013 at 12:04:26PM +0200, Alex Susu wrote: > As far as I understand, interpreted constructors allow more general patterns > than deconstructors - see end of Section 6.2 for example of big constructor > pattern. On the other hand, I was able only to specify types for > deco

Re: [CIL users] failed configure on cygwin with Visual C++

2013-03-21 Thread Gabriel Kerneis
Hi Pietro, > > On Wed, Feb 27, 2013 at 02:10:11PM +0100, Pietro Braione wrote: > >> ocamlutil/Makefile.ocaml:276: *** Recursive variable `CAMLDEP' references > >> itself (eventually). Stop. > >> make[1]: Leaving directory `/cygdrive/e/Pietro/arc/cil' > >> Makefile:11: recipe for target `cil' fai

[CIL users] [ cil-Bugs-3604915 ] Legal, but large, static arrays can fail.

2013-03-21 Thread SourceForge . net
Bugs item #3604915, was opened at 2013-02-15 13:29 Message generated for change (Comment added) made by kerneis You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=742140&aid=3604915&group_id=138953 Please note that this message will contain a full copy of the comment t