cil-users  

Messages by Thread

• • Re: [CIL users] ?: with no side-effects Elnatan Reisner
  • Re: [CIL users] ?: with no side-effects Gabriel Kerneis
• [CIL users] Arrays with no constant dimensions as arguments Foivos Zakkak
  • Re: [CIL users] Arrays with no constant dimensions as arguments Foivos Zakkak
  • Re: [CIL users] Arrays with no constant dimensions as arguments Gabriel Kerneis
  • Re: [CIL users] Arrays with no constant dimensions as arguments Gabriel Kerneis
  • Re: [CIL users] Arrays with no constant dimensions as arguments Zakkak Foivos
  • Re: [CIL users] Arrays with no constant dimensions as arguments Zakkak Foivos
  • Re: [CIL users] Arrays with no constant dimensions as arguments Gabriel Kerneis
• [CIL users] Does "cilly --merge -c" only invoke cpp? Kin Ma
• [CIL users] doepicenter option not working Vijayaraghavan Murali
  • Re: [CIL users] doepicenter option not working Elnatan Reisner
  • Re: [CIL users] doepicenter option not working Vijayaraghavan Murali
• [CIL users] Compiling CIL on Debian, -lstr Guillaume Yziquel
  • Re: [CIL users] Compiling CIL on Debian, -lstr Gabriel Kerneis
  • Re: [CIL users] Compiling CIL on Debian, -lstr Gabriel Kerneis
  • Re: [CIL users] Compiling CIL on Debian, -lstr Gabriel Kerneis
  • Re: [CIL users] Compiling CIL on Debian, -lstr Guillaume Yziquel
  • Re: [CIL users] Compiling CIL on Debian, -lstr Guillaume Yziquel
  • Re: [CIL users] Compiling CIL on Debian, -lstr Gabriel Kerneis
  • Re: [CIL users] Compiling CIL on Debian, -lstr Guillaume Yziquel
  • Re: [CIL users] Compiling CIL on Debian, -lstr Gabriel Kerneis
  • Re: [CIL users] Compiling CIL on Debian, -lstr Guillaume Yziquel
• [CIL users] Cil's AR mode does not support the x operation Kin Ma
  • Re: [CIL users] Cil's AR mode does not support the x operation Marco Trudel
• [CIL users] Fwd: unable to install CIL on windows 7 using cygwin shalini s
  • Re: [CIL users] unable to install CIL on windows 7 using cygwin shalini s
  • Re: [CIL users] unable to install CIL on windows 7 using cygwin Jonathan Kotker
• Re: [CIL users] unable to install cygwin on windows 7 shalini s
• [CIL users] Switch statement transformation Elnatan Reisner
  • Re: [CIL users] Switch statement transformation Gabriel Kerneis
  • Re: [CIL users] Switch statement transformation Elnatan Reisner
  • Re: [CIL users] Switch statement transformation Elnatan Reisner
  • Re: [CIL users] Switch statement transformation Gabriel Kerneis
• [CIL users] Unable to Install CIL on Windows 7 Cygwin Jonathan Kotker
  • Re: [CIL users] Unable to Install CIL on Windows 7 Cygwin Gabriel Kerneis
  • Re: [CIL users] Unable to Install CIL on Windows 7 Cygwin Jonathan Kotker
  • Re: [CIL users] Unable to Install CIL on Windows 7 Cygwin Gabriel Kerneis
  • Re: [CIL users] Unable to Install CIL on Windows 7 Cygwin Jonathan Kotker
  • Re: [CIL users] Unable to Install CIL on Windows 7 Cygwin Gabriel Kerneis
  • Re: [CIL users] Unable to Install CIL on Windows 7 Cygwin Jonathan Kotker
  • Re: [CIL users] Unable to Install CIL on Windows 7 Cygwin Gabriel Kerneis
  • Re: [CIL users] Unable to Install CIL on Windows 7 Cygwin Gabriel Kerneis
  • Re: [CIL users] Unable to Install CIL on Windows 7 Cygwin Jonathan Kotker
• [CIL users] Problem in filling up statements in CFG produced by CIL Johnson Thomas
• [CIL users] Dumping the AST Alexander Bernauer
• [CIL users] cilly and archives Marco Trudel
  • Re: [CIL users] cilly and archives Elnatan Reisner
  • Re: [CIL users] cilly and archives Marco Trudel
• [CIL users] missing case in frontc parser Chucky Ellison
  • Re: [CIL users] missing case in frontc parser Gabriel Kerneis
• [CIL users] Using CIL to cross-compile MIPS(el) programs Gabriel Kerneis
  • Re: [CIL users] Using CIL to cross-compile MIPS(el) programs Gabriel Kerneis
• [CIL users] Compile CIL using ocamlmktop Andre Passos
• [CIL users] Strange comment in test/small1/array-size-trick.c Roberto Bagnara
  • Re: [CIL users] Strange comment in test/small1/array-size-trick.c Gabriel Kerneis
• [CIL users] Partial handling of GCC extensions. Gabriele Palma
  • Re: [CIL users] Partial handling of GCC extensions. Gabriel Kerneis
• [CIL users] Misleading example in CIL documentation at http://www.eecs.berkeley.edu/~necula/cil/ Pascal Cuoq
  • Re: [CIL users] Misleading example in CIL documentation at http://www.eecs.berkeley.edu/~necula/cil/ Gabriel Kerneis
  • Re: [CIL users] Misleading example in CIL documentation at http://www.eecs.berkeley.edu/~necula/cil/ George Necula
• [CIL users] Patch regarding logical operators Elnatan Reisner
  • Re: [CIL users] Patch regarding logical operators CUOQ Pascal
  • Re: [CIL users] Patch regarding logical operators Gabriel Kerneis
  • Re: [CIL users] Patch regarding logical operators Gabriel Kerneis
  • Re: [CIL users] Patch regarding logical operators Gabriel Kerneis
• Re: [CIL users] CIL for AVR Roy Shea
• [CIL users] compiling on RHL5 Barbara Shirtcliff
• [CIL users] Simple function to print a list of functions Andre Passos
  • Re: [CIL users] Simple function to print a list of functions Gabriel Kerneis
• [CIL users] installation problem George Baah
  • Re: [CIL users] installation problem Divya Muthukumaran
  • Re: [CIL users] installation problem georgebaah
• [CIL users] cil 1.3.7 vs unsigned long long constants William Mills
  • Re: [CIL users] cil 1.3.7 vs unsigned long long constants Gabriel Kerneis
  • Re: [CIL users] cil 1.3.7 vs unsigned long long constants William Mills
• [CIL users] Linking cilly with xml-light Divya Muthukumaran
• [CIL users] Error During Merging Divya Muthukumaran
• [CIL users] issues on modifying code in ext/cfg.ml in CIL haihao shen
  • Re: [CIL users] issues on modifying code in ext/cfg.ml in CIL Gabriel Kerneis
  • Re: [CIL users] issues on modifying code in ext/cfg.ml in CIL haihao shen
• [CIL users] points-to analysis performance Olivier Crameri
  • Re: [CIL users] points-to analysis performance Christoph Spiel
• [CIL users] Preprocessor directives Zakkak Foivos
  • Re: [CIL users] Preprocessor directives Christoph Spiel
• [CIL users] problem with parsing/interpretation of numerical literals Chucky Ellison
• [CIL users] cilly.as.exe option --dosimplemem fails Alexander Maringer
  • Re: [CIL users] cilly.as.exe option --dosimplemem fails Olivier Crameri
  • Re: [CIL users] cilly.as.exe option --dosimplemem fails Gabriel Kerneis
• [CIL users] missing implicit casts Marco Trudel
  • Re: [CIL users] missing implicit casts Pascal Cuoq
  • Re: [CIL users] missing implicit casts Marco Trudel
  • Re: [CIL users] missing implicit casts Gabriel Kerneis
• [CIL users] svn not working Marco Trudel
  • Re: [CIL users] svn not working Marco Trudel
  • Re: [CIL users] svn not working Gabriel Kerneis
  • Re: [CIL users] svn not working Praveen Venkatachari
  • Re: [CIL users] svn not working Olivier Crameri
  • Re: [CIL users] svn not working George Necula
• [CIL users] svn access problems Praveen Venkatachari
• [CIL users] variable renamings Chucky Ellison
  • Re: [CIL users] variable renamings Gabriel Kerneis
• [CIL users] about CIL merger and enum type jun shen
• [CIL users] error: redefinition of â__sign bitâ Axatha JJ
• [CIL users] argument promotions in calls to variadic functions Chucky Ellison
  • Re: [CIL users] argument promotions in calls to variadic functions Christoph Spiel
  • Re: [CIL users] argument promotions in calls to variadic functions Elnatan Reisner
  • Re: [CIL users] argument promotions in calls to variadic functions David Gay
  • Re: [CIL users] argument promotions in calls to variadic functions Elnatan Reisner
  • Re: [CIL users] argument promotions in calls to variadic functions Chucky Ellison
  • Re: [CIL users] argument promotions in calls to variadic functions Elnatan Reisner
  • Re: [CIL users] argument promotions in calls to variadic functions Gabriel Kerneis
• [CIL users] patch for visitCilType Virgile Prevosto
  • Re: [CIL users] patch for visitCilType Gabriel Kerneis
• [CIL users] Nested if conditions ThanhVu (Vu) Nguyen
• [CIL users] C99 complex support? Wei Hu
• [CIL users] Local typedef and old-style function argument declarations: error on name conflicts? Wei Hu
• [CIL users] "0xffffffffffffffffULL" problem Dany Vereertbrugghen
  • Re: [CIL users] "0xffffffffffffffffULL" problem Christoph Spiel
  • Re: [CIL users] "0xffffffffffffffffULL" problem Dany Vereertbrugghen
  • Re: [CIL users] "0xffffffffffffffffULL" problem Christoph Spiel
• [CIL users] svn problem Olivier Crameri
• [CIL users] How to create a va_arg call with a va_list and a type. 林楠
• [CIL users] Parse error Divya Muthukumaran
• [CIL users] Multiple conditions in an IF ThanhVu (Vu) Nguyen
  • Re: [CIL users] Multiple conditions in an IF ThanhVu (Vu) Nguyen
  • Re: [CIL users] Multiple conditions in an IF ThanhVu (Vu) Nguyen
• [CIL users] BUG in Cil with Switch/Case ? ThanhVu (Vu) Nguyen
  • Re: [CIL users] BUG in Cil with Switch/Case ? Gabriel Kerneis
  • Re: [CIL users] BUG in Cil with Switch/Case ? ThanhVu (Vu) Nguyen
  • Re: [CIL users] BUG in Cil with Switch/Case ? Gabriel Kerneis
  • Re: [CIL users] BUG in Cil with Switch/Case ? ThanhVu (Vu) Nguyen
  • Re: [CIL users] BUG in Cil with Switch/Case ? David Gay
  • Re: [CIL users] BUG in Cil with Switch/Case ? Elnatan Reisner
  • Re: [CIL users] BUG in Cil with Switch/Case ? ThanhVu (Vu) Nguyen
• [CIL users] removing the #line , clearer code output ThanhVu (Vu) Nguyen
  • Re: [CIL users] removing the #line , clearer code output Gabriel Kerneis
• [CIL users] Cillying the linux kernel Alexander Maringer
• [CIL users] Ptranal Heap Model Cole Schlesinger
  • Re: [CIL users] Ptranal Heap Model Christoph Spiel
• [CIL users] Linking more OCaml libraries into Cilly Jonathan Myers
  • Re: [CIL users] Linking more OCaml libraries into Cilly Jonathan Myers
• [CIL users] CIL homepage down? Vinai Sundaram
  • Re: [CIL users] CIL homepage down? Gabriel Kerneis
  • Re: [CIL users] CIL homepage down? Wei Hu
  • Re: [CIL users] CIL homepage down? Gabriel Kerneis
  • Re: [CIL users] CIL homepage down? Wei Hu
  • Re: [CIL users] CIL homepage down? Vinai Sundaram
• [CIL users] significance of typ variable in CompoundInit ? Steven Van Acker
• [CIL users] Modifying If-Then-Else code block ThanhVu (Vu) Nguyen
  • Re: [CIL users] Modifying If-Then-Else code block Gabriel Kerneis
• [CIL users] Error due CilConfig.pm in Axatha JJ
• [CIL users] GPragma attributes ? Steven Van Acker
  • Re: [CIL users] GPragma attributes ? Christoph Spiel
  • Re: [CIL users] GPragma attributes ? Steven Van Acker
• [CIL users] Error of _signbitf Axatha JJ
• [CIL users] creating function call georgebaah
  • Re: [CIL users] creating function call Elnatan Reisner
• [CIL users] Merging global variables Virgile Prevosto
• [CIL users] make function initializer muriel
• [CIL users] SCAM 2010 CFP CUOQ Pascal
• [CIL users] Variable usage tracing Thanhvu (Vu) Nguyen
• [CIL users] Atomic builtins and overloading Gabriel Kerneis
  • [CIL users] [PATCH] Atomic builtins support (__sync_*) Gabriel Kerneis
  • Re: [CIL users] [PATCH] Atomic builtins support (__sync_*) Olivier Crameri
  • Re: [CIL users] [PATCH] Atomic builtins support (__sync_*) Gabriel Kerneis
• [CIL users] Cil Visitor actions question ThanhVu (Vu) Nguyen
• [CIL users] Problem on GCC -D option (continue) pang long
• [CIL users] Problem on GCC -D option pang long
  • Re: [CIL users] Problem on GCC -D option David Gay
  • Re: [CIL users] Problem on GCC -D option pang long
  • Re: [CIL users] Problem on GCC -D option pang long
• [CIL users] changing name of functions ThanhVu (Vu) Nguyen
  • Re: [CIL users] changing name of functions Gabriel Kerneis
  • Re: [CIL users] changing name of functions ThanhVu (Vu) Nguyen
  • Re: [CIL users] changing name of functions ThanhVu (Vu) Nguyen
  • Re: [CIL users] changing name of functions Gabriel Kerneis
  • Re: [CIL users] changing name of functions ThanhVu (Vu) Nguyen
  • Re: [CIL users] changing name of functions Gabriel Kerneis
  • Re: [CIL users] changing name of functions ThanhVu (Vu) Nguyen
  • Re: [CIL users] changing name of functions ThanhVu (Vu) Nguyen
  • Re: [CIL users] changing name of functions Gabriel Kerneis
  • Re: [CIL users] changing name of functions ThanhVu (Vu) Nguyen
  • Re: [CIL users] changing name of functions Gabriel Kerneis
  • Re: [CIL users] changing name of functions ThanhVu (Vu) Nguyen
  • Re: [CIL users] changing name of functions Gabriel Kerneis
  • Re: [CIL users] changing name of functions ThanhVu (Vu) Nguyen
  • [CIL users] CIL Visitor (was: Re: changing name of functions) Gabriel Kerneis
• [CIL users] CIL label name conflict Elnatan Reisner
  • Re: [CIL users] CIL label name conflict Gabriel Kerneis
  • [CIL users] CIL patches (was: Re: CIL label name conflict) Gabriel Kerneis
  • [CIL users] turn an instruction in a statement ROGER Muriel
  • Re: [CIL users] turn an instruction in a statement Gabriel Kerneis
  • [CIL users] RE : turn an instruction in a sta tement ROGER Muriel
  • Re: [CIL users] RE : turn an instruction in a sta tement Gabriel Kerneis
  • Re: [CIL users] RE : turn an instruction in a statement muriel
  • Re: [CIL users] RE : turn an instruction in a statement Gabriel Kerneis
  • Re: [CIL users] CIL label name conflict Gabriel Kerneis
• [CIL users] loop unrolling Rahul Garg
  • [CIL users] loop unrolling sonamt

• Earlier messages
• Later messages