cil-users

Messages by Date

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