cil-users

Messages by Date

2013/08/06 Re: [CIL users] Global Initializers Gabriel Kerneis
2013/08/06 Re: [CIL users] Global Initializers Jonathan Kotker
2013/08/06 Re: [CIL users] Global Initializers Gabriel Kerneis
2013/08/06 [CIL users] Global Initializers Jonathan Kotker
2013/08/06 [CIL users] I just signed “Shri. Manmohan Singh, Prime Minister - Government of India : Save RTI Act from Amendments ” srikanth vaindam
2013/08/05 [CIL users] Help with formatparse.mly Alex Susu
2013/07/26 Re: [CIL users] A problem about 'queueInstr' Gabriel Kerneis
2013/07/26 Re: [CIL users] A problem about 'queueInstr' Gabriel Kerneis
2013/07/26 Re: [CIL users] A problem about 'queueInstr' Gabriel Kerneis
2013/07/26 Re: [CIL users] A problem about 'queueInstr' tsuletgo
2013/07/26 Re: [CIL users] A problem about 'queueInstr' Gabriel Kerneis
2013/07/26 Re: [CIL users] A problem about 'queueInstr' Gabriel Kerneis
2013/07/25 [CIL users] A problem about 'queueInstr' tsuletgo
2013/07/24 [CIL users] ANNOUNCE: CIL 1.7.3 Gabriel Kerneis
2013/07/17 Re: [CIL users] A Question about the usedef module in CIL Gabriel Kerneis
2013/07/17 [CIL users] A Question about the usedef module in CIL tsuletgo
2013/07/13 Re: [CIL users] cil array init. problem Gabriel Kerneis
2013/07/07 Re: [CIL users] How to use Reaching Defition module? Gabriel Kerneis
2013/07/07 [CIL users] How to use Reaching Defition module? Sahana V P
2013/07/03 Re: [CIL users] Access to Parent Structure Gabriel Kerneis
2013/07/03 Re: [CIL users] Access to Parent Structure Alex Susu
2013/06/27 Re: [CIL users] ANNOUNCE: CIL 1.7.2 Gabriel Kerneis
2013/06/27 [CIL users] ANNOUNCE: CIL 1.7.2 Gabriel Kerneis
2013/06/27 [CIL users] [cil:bugs] #138 Linking against the CIL package fails. Zachary Anderson
2013/06/18 Re: [CIL users] ANNOUNCE: CIL 1.7.1 Gabriel Kerneis
2013/06/18 [CIL users] ANNOUNCE: CIL 1.7.1 Gabriel Kerneis
2013/06/06 [CIL users] [cil:bugs] #137 dropping type declaration attributes TheBeaNerd
2013/06/03 Re: [CIL users] ANNOUNCE: CIL 1.7.0 Gabriel Kerneis
2013/06/03 [CIL users] ANNOUNCE: CIL 1.7.0 Gabriel Kerneis
2013/05/31 [CIL users] POLL: do you use bin/patcher? Gabriel Kerneis
2013/05/17 Re: [CIL users] Projects using CIL Gabriel Kerneis
2013/05/17 Re: [CIL users] Searching with CIL interpreted deconstructors Gabriel Kerneis
2013/05/17 [CIL users] Projects using CIL Alex Susu
2013/05/17 Re: [CIL users] Searching with CIL interpreted deconstructors Alex Susu
2013/05/16 [CIL users] type casting sonamt
2013/05/11 Re: [CIL users] Searching with CIL interpreted deconstructors Gabriel Kerneis
2013/05/10 [CIL users] Searching with CIL interpreted deconstructors Alex Susu
2013/04/07 Re: [CIL users] Regarding inserting printf function Gabriel Kerneis
2013/04/07 Re: [CIL users] Regarding inserting printf function sonamt
2013/04/07 Re: [CIL users] Regarding inserting printf function Gabriel Kerneis
2013/04/07 [CIL users] Regarding inserting printf function sonamt
2013/04/03 Re: [CIL users] builtin_types_compatible_p Gabriel Kerneis
2013/03/31 Re: [CIL users] Instrumenting a program with a call to function in external file Gabriel Kerneis
2013/03/31 Re: [CIL users] builtin_types_compatible_p Gabriel Kerneis
2013/03/31 Re: [CIL users] Instrumenting a program with a call to function in external file sonamt
2013/03/30 Re: [CIL users] builtin_types_compatible_p Gabriel Kerneis
2013/03/29 Re: [CIL users] reconstructing existing block Gabriel Kerneis
2013/03/29 [CIL users] builtin_types_compatible_p dagreve
2013/03/29 [CIL users] reconstructing existing block sonamt
2013/03/23 Re: [CIL users] Is there any API to transform the switch/case statements to if statements Gabriel Kerneis
2013/03/23 [CIL users] Is there any API to transform the switch/case statements to if statements Amin Alipour
2013/03/22 [CIL users] ANNOUNCE: CIL 1.6.0 Gabriel Kerneis
2013/03/22 Re: [CIL users] Translate CIL to C Gabriel Kerneis
2013/03/21 [CIL users] Translate CIL to C SHI, Yao
2013/03/21 Re: [CIL users] A CIL Tutorial & project template Gabriel Kerneis
2013/03/21 Re: [CIL users] Searching with CIL Interpreted deconstructors Gabriel Kerneis
2013/03/21 Re: [CIL users] failed configure on cygwin with Visual C++ Gabriel Kerneis
2013/03/21 [CIL users] [ cil-Bugs-3604915 ] Legal, but large, static arrays can fail. SourceForge . net
2013/03/15 Re: [CIL users] Initializing fundec type Gabriel Kerneis
2013/03/15 [CIL users] Initializing fundec type sonamt
2013/03/12 Re: [CIL users] Searching with CIL Interpreted deconstructors Alex Susu
2013/03/09 Re: [CIL users] Creation of Temporary Variables tsuletgo
2013/03/09 [CIL users] Creation of Temporary Variables प्रतीक स्कायवाल्कर
2013/03/08 Re: [CIL users] Problem on linking cil and ocaml-sqlite library Gabriel Kerneis
2013/03/07 Re: [CIL users] Parsing Statement Assignments Jonathan Kotker
2013/03/07 Re: [CIL users] Parsing Statement Assignments Gabriel Kerneis
2013/03/07 Re: [CIL users] Instrumenting a program with a call to function in external file Gabriel Kerneis
2013/03/07 Re: [CIL users] Parsing Statement Assignments Jonathan Kotker
2013/03/07 Re: [CIL users] Instrumenting a program with a call to function in external file sonamt
2013/03/04 Re: [CIL users] Instrumenting a program with a call to function in external file Gabriel Kerneis
2013/03/04 Re: [CIL users] Can the Reaching Definition Module handle interprocedural def-use analysis? Gabriel Kerneis
2013/03/03 Re: [CIL users] Can the Reaching Definition Module handle interprocedural def-use analysis? tsuletgo
2013/03/02 [CIL users] Parsing Statement Assignments Jonathan Kotker
2013/03/02 Re: [CIL users] Instrumenting a program with a call to function in external file sonamt
2013/03/02 Re: [CIL users] Instrumenting a program with a call to function in external file Gabriel Kerneis
2013/03/02 Re: [CIL users] Can the Reaching Definition Module handle interprocedural def-use analysis? Gabriel Kerneis
2013/03/01 [CIL users] Instrumenting a program with a call to function in external file sonamt
2013/03/01 [CIL users] Can the Reaching Definition Module handle interprocedural def-use analysis? tsuletgo
2013/03/01 [CIL users] Instr into block Mauro Baluda
2013/03/01 Re: [CIL users] interprocedural CFG Gabriel Kerneis
2013/03/01 [CIL users] interprocedural CFG Mauro Baluda
2013/02/28 Re: [CIL users] Converting Switch Statements to If Gabriel Kerneis
2013/02/28 Re: [CIL users] failed configure on cygwin with Visual C++ Gabriel Kerneis
2013/02/28 Re: [CIL users] Searching with CIL Interpreted deconstructors Gabriel Kerneis
2013/02/27 [CIL users] Searching with CIL Interpreted deconstructors Alex Susu
2013/02/27 [CIL users] failed configure on cygwin with Visual C++ Pietro Braione
2013/02/26 [CIL users] Converting Switch Statements to If प्रतीक स्कायवाल्कर
2013/02/21 Re: [CIL users] problem regarding C2Promela Gabriel Kerneis
2013/02/21 [CIL users] problem regarding C2Promela अपर्णा त्रिपाठी
2013/02/21 [CIL users] [ cil-Bugs-3604915 ] Legal, but large, static arrays can fail. SourceForge . net
2013/02/17 [CIL users] Eliminating while loops and applying all possible simplifications nkavv
2013/02/15 [CIL users] [ cil-Bugs-3604915 ] Legal, but large, static arrays can fail. SourceForge . net
2013/02/15 [CIL users] [ cil-Bugs-3604915 ] Legal, but large, static arrays can fail. SourceForge . net
2013/02/15 [CIL users] [ cil-Bugs-3604915 ] Legal, but large, static arrays can fail. SourceForge . net
2013/02/15 [CIL users] [ cil-Bugs-3604915 ] Legal, but large, static arrays can fail. SourceForge . net
2013/02/15 [CIL users] [ cil-Bugs-3604915 ] Legal, but large, static arrays can fail. SourceForge . net
2013/02/15 [CIL users] [ cil-Bugs-3604915 ] Legal, but large, static arrays can fail. SourceForge . net
2013/02/12 Re: [CIL users] -include Gabriel Kerneis
2013/02/11 Re: [CIL users] -include dagreve
2013/02/11 [CIL users] -include dagreve
2013/02/08 Re: [CIL users] cilly stdin option Gabriel Kerneis
2013/02/08 [CIL users] cilly stdin option dagreve
2013/02/07 Re: [CIL users] Is_char_unsigned = is_char_signed, a CIL bug or not? haihao shen
2013/02/07 Re: [CIL users] Is_char_unsigned = is_char_signed, a CIL bug or not? Gabriel Kerneis
2013/02/07 [CIL users] Is_char_unsigned = is_char_signed, a CIL bug or not? haihao shen
2013/01/23 Re: [CIL users] Representation for some operators Pietro Braione
2013/01/23 Re: [CIL users] Representation for some operators Gabriel Kerneis
2013/01/23 Re: [CIL users] Representation for some operators Pietro Braione
2013/01/22 Re: [CIL users] Representation for some operators Gabriel Kerneis
2013/01/22 [CIL users] Representation for some operators Pietro Braione
2013/01/12 Re: [CIL users] Distribution of CIL Jonathan Kotker
2013/01/12 Re: [CIL users] Distribution of CIL Gabriel Kerneis
2013/01/12 Re: [CIL users] Distribution of CIL Jonathan Kotker
2013/01/11 [CIL users] Distribution of CIL Jonathan Kotker
2013/01/11 Re: [CIL users] Fw:how_to_traverse_the_cfg Gabriel Kerneis
2013/01/08 Re: [CIL users] A CIL Tutorial & project template Zachary Anderson
2013/01/08 Re: [CIL users] A CIL Tutorial & project template Gabriel Kerneis
2013/01/08 [CIL users] A CIL Tutorial & project template Zachary Anderson
2013/01/06 [CIL users] Fw:how_to_traverse_the_cfg redder_0210
2013/01/04 Re: [CIL users] Cil output identification Gabriel Kerneis
2012/12/24 Re: [CIL users] (no subject) TheAnh Do
2012/12/24 [CIL users] Cil output identification TheAnh Do
2012/12/24 [CIL users] (no subject) TheAnh Do
2012/12/23 Re: [CIL users] Merging and Linking Jonathan Kotker
2012/12/20 Re: [CIL users] Transformation of If conditions Gabriel Kerneis
2012/12/19 [CIL users] Transformation of If conditions TheAnh Do
2012/12/04 Re: [CIL users] pseudo-SSA form? Mansour Moufid
2012/12/04 [CIL users] pseudo-SSA form? Mansour Moufid
2012/11/16 Re: [CIL users] "marking" statements Gabriel Kerneis
2012/11/16 Re: [CIL users] "marking" statements Virgile Prevosto
2012/11/16 Re: [CIL users] "marking" statements Pietro Braione
2012/11/16 Re: [CIL users] "marking" statements Gabriel Kerneis
2012/11/15 [CIL users] "marking" statements Pietro Braione
2012/11/14 Re: [CIL users] [ cil-Bugs-3586613 ] Cil Visitor vs Cabs2cil Visitor Gabriel Kerneis
2012/11/12 [CIL users] [ cil-Bugs-3586613 ] Cil Visitor vs Cabs2cil Visitor SourceForge . net
2012/10/26 [CIL users] Printing CFG information Alex Susu
2012/10/26 Re: [CIL users] Liveness module Alex Susu
2012/10/25 Re: [CIL users] Liveness module Jesse M Draper
2012/10/25 [CIL users] Liveness module Alex Susu
2012/09/30 Re: [CIL users] Merging and Linking Jonathan Kotker
2012/09/27 Re: [CIL users] Merging and Linking Oliver Schwahn
2012/09/25 Re: [CIL users] Merging and Linking Jonathan Kotker
2012/09/25 Re: [CIL users] How to properly handle new CIL + cilly command line arguments Alex Susu
2012/09/21 [CIL users] CIL destructors Alex Susu
2012/09/21 Re: [CIL users] Merging and Linking Oliver Schwahn
2012/09/21 Re: [CIL users] How to properly handle new CIL + cilly command line arguments Gabriel Kerneis
2012/09/20 Re: [CIL users] Merging and Linking Jonathan Kotker
2012/09/20 [CIL users] How to properly handle new CIL + cilly command line arguments Alex Susu
2012/09/18 Re: [CIL users] Merging and Linking Oliver Schwahn
2012/09/17 Re: [CIL users] static const Gabriel Kerneis
2012/09/17 [CIL users] ANNOUNCE: static local variables and computed gotos Gabriel Kerneis
2012/09/17 [CIL users] Merging and Linking Jonathan Kotker
2012/08/02 Re: [CIL users] Pretty.breakString eats memory Gabriel Kerneis
2012/08/02 Re: [CIL users] Pretty.breakString eats memory Gabriel Kerneis
2012/08/02 [CIL users] Pretty.breakString eats memory Christian Collberg
2012/07/24 Re: [CIL users] static const Jan Smets
2012/07/24 [CIL users] (no subject) Alberto Barbaro
2012/07/24 Re: [CIL users] static const Oliver Schwahn
2012/07/23 Re: [CIL users] static const Gabriel Kerneis
2012/07/23 [CIL users] static const Jan Smets
2012/07/19 Re: [CIL users] how to merge and compile a project which contains multiple source and head files using CIL? Oliver Schwahn
2012/07/19 Re: [CIL users] Native versions of OCaml tools Oliver Schwahn
2012/07/19 Re: [CIL users] Native versions of OCaml tools Gabriel Kerneis
2012/07/19 Re: [CIL users] Native versions of OCaml tools Oliver Schwahn
2012/07/18 [CIL users] how to merge and compile a project which contains multiple source and head files using CIL? Lipeng Wan
2012/07/15 [CIL users] [ cil-Bugs-3544467 ] Disparity between CIL and GCC in struct/union merging SourceForge . net
2012/07/14 Re: [CIL users] ANNOUNCE: CIL 1.5.1 林楠
2012/07/14 [CIL users] ANNOUNCE: CIL 1.5.1 Gabriel Kerneis
2012/07/13 Re: [CIL users] Native versions of OCaml tools Gabriel Kerneis
2012/07/13 [CIL users] Native versions of OCaml tools Oliver Schwahn
2012/07/12 Re: [CIL users] Merging a multi-directory project Jesse M Draper
2012/07/11 [CIL users] Merging a multi-directory project Eric Monzon
2012/07/03 [CIL users] [ cil-Bugs-3538514 ] Pointer difference operations have the wrong type. SourceForge . net
2012/07/03 Re: [CIL users] integer overflow in merger using cilly Gabriel Kerneis
2012/07/03 Re: [CIL users] integer overflow in merger using cilly Oliver Schwahn
2012/07/03 Re: [CIL users] integer overflow in merger using cilly Gabriel Kerneis
2012/07/03 Re: [CIL users] integer overflow in merger using cilly Oliver Schwahn
2012/07/03 Re: [CIL users] integer overflow in merger using cilly Gabriel Kerneis
2012/07/03 Re: [CIL users] integer overflow in merger using cilly Oliver Schwahn
2012/07/02 Re: [CIL users] integer overflow in merger using cilly Gabriel Kerneis
2012/07/02 [CIL users] integer overflow in merger using cilly Oliver Schwahn
2012/06/30 [CIL users] How to log variable information chenting19870201
2012/06/27 [CIL users] [ cil-Bugs-3538514 ] Pointer difference operations have the wrong type. SourceForge . net
2012/06/17 Re: [CIL users] Request for contribution: abstract syntax for labels-as-values ($s available) Gabriel Kerneis
2012/06/17 [CIL users] Request for contribution: abstract syntax for labels-as-values ($s available) Christian Collberg
2012/06/14 [CIL users] [ cil-Bugs-3534428 ] newTempVar called outside a function SourceForge . net
2012/06/14 [CIL users] ANNOUNCE: CIL 1.5.0 Gabriel Kerneis
2012/06/13 Re: [CIL users] [ cil-Bugs-3534428 ] newTempVar called outside a function Gabriel Kerneis
2012/06/13 Re: [CIL users] Unused __Cont label Gabriel Kerneis
2012/06/12 Re: [CIL users] [ cil-Bugs-3532983 ] Handling of array initialization is incorrect Gabriel Kerneis
2012/06/12 Re: [CIL users] [ cil-Bugs-3532983 ] Handling of array initialization is incorrect Marco Trudel
2012/06/12 [CIL users] [ cil-Bugs-3532983 ] Handling of array initialization is incorrect SourceForge . net
2012/06/12 Re: [CIL users] [ cil-Bugs-3534428 ] newTempVar called outside a function Marco Trudel
2012/06/12 [CIL users] [ cil-Bugs-3534428 ] newTempVar called outside a function SourceForge . net
2012/06/11 Re: [CIL users] [ cil-Bugs-3532983 ] Handling of array initialization is incorrect Gabriel Kerneis
2012/06/11 [CIL users] [ cil-Bugs-3532983 ] Handling of array initialization is incorrect SourceForge . net
2012/05/30 Re: [CIL users] Program annotations Gabriel Kerneis
2012/05/30 Re: [CIL users] Program annotations MONATE Benjamin 205998
2012/05/30 [CIL users] Program annotations Roberto Lublinerman
2012/05/25 Re: [CIL users] how to use CIL to add a global variable which is an array of a structure defined by me? Gabriel Kerneis