cil-users  

Messages by Thread

• [CIL users] Adding new features Adnan Maruf
• [CIL users] Looking for help maintaining CIL Gabriel Kerneis
• [CIL users] No obj subdirectory under CIL Kaidi Wang
• [CIL users] Unbound module Big_int Kaidi Wang
• [CIL users] [cil:bugs] #155 sy kurczaq
• [CIL users] Loop coalescing Alex Susu
• [CIL users] Boolean expressions are changed xueguang
• [CIL users] cilly merge file problem liaoyuehua
  • Re: [CIL users] cilly merge file problem Gabriel Kerneis
  • Re: [CIL users] cilly merge file problem liaoyuehua
• [CIL users] [cil:bugs] #154 save-temps next to the source file giksos
• [CIL users] Configuring CIL to compile for 64 bit targets on a 32 bit machine Prankur Chauhan
• [CIL users] Parsing coreutils ThanhVu (Vu) Nguyen
  • Re: [CIL users] Parsing coreutils ThanhVu (Vu) Nguyen
  • Re: [CIL users] Parsing coreutils Gabriel Kerneis
  • Re: [CIL users] Parsing coreutils ThanhVu (Vu) Nguyen
  • Re: [CIL users] Parsing coreutils ThanhVu (Vu) Nguyen
• [CIL users] deprecated functions vs. oldest supported OCaml version Ben Liblit
  • Re: [CIL users] deprecated functions vs. oldest supported OCaml version Gabriel Kerneis
• [CIL users] Is CIL a subset of C? Hayden Livingston
• [CIL users] CIL with SPEC CPU 2006 benchmark priyanka
  • Re: [CIL users] CIL with SPEC CPU 2006 benchmark Gabriel Kerneis
  • Re: [CIL users] CIL with SPEC CPU 2006 benchmark priyanka
  • Re: [CIL users] CIL with SPEC CPU 2006 benchmark priyanka
• [CIL users] About the Machine Model and cross compiler Rogério Paludo
• [CIL users] instruction location Mauro Baluda
• [CIL users] [cil:bugs] #153 Handle #define ABC_H "abc.h" / #include ABC_H Robert Massart
• [CIL users] CIL-OCaml Linux Driver testing - usbkbd.c and usbmouse.c Iyer,Naveen R
  • Re: [CIL users] CIL-OCaml Linux Driver testing - usbkbd.c and usbmouse.c Gabriel Kerneis
• [CIL users] [cil:bugs] #152 No EXTRAFEATURES in git? giksos
• [CIL users] tut2 interesting error Xiaoyang Zhong
  • Re: [CIL users] tut2 interesting error Gabriel Kerneis
  • Re: [CIL users] tut2 interesting error Xiaoyang Zhong
• [CIL users] configure --prefix? Benjamin Ylvisaker
  • [CIL users] __attribute__((__visibility__("default"))) ? Benjamin Ylvisaker
• [CIL users] [cil:bugs] #151 EXTRAFEATURES compile error David Greve
• [CIL users] Using monads in CIL? Alex Susu
  • Re: [CIL users] Using monads in CIL? Gabriel Kerneis
  • Re: [CIL users] Using monads in CIL? Shalini Sham
• [CIL users] [cil:bugs] #150 Using of unsafe function (Obj.magic) in module ocamlutil/pretty.ml Ta Quang Trung
• [CIL users] How to print line number in liveness module output Siddique
• [CIL users] bug fixed: added missing __atomic_* builtins Ben Liblit
  • Re: [CIL users] bug fixed: added missing __atomic_* builtins Oliver Schwahn
  • Re: [CIL users] bug fixed: added missing __atomic_* builtins Ben Liblit
  • Re: [CIL users] bug fixed: added missing __atomic_* builtins Ben Liblit
  • [CIL users] Short-term plans for CIL (was: bug fixed: added missing __atomic_* builtins) Gabriel Kerneis
  • [CIL users] copyFunction and slocals Benjamin Ylvisaker
  • [CIL users] copyFunction and slocals Benjamin Ylvisaker
  • Re: [CIL users] copyFunction and slocals Gabriel Kerneis
  • Re: [CIL users] copyFunction and slocals Benjamin Ylvisaker
  • Re: [CIL users] copyFunction and slocals Gabriel Kerneis
  • Re: [CIL users] copyFunction and slocals Benjamin Ylvisaker
• [CIL users] [cil:bugs] #149 missing prototypes for GCC __atomic_* builtins Ben Liblit
• [CIL users] Regarding inserting FILE pointer local variable in function Swapnil Mahajan
• [CIL users] Out of memory error when compiling linux 2.6 using CIL Ahmad Nouralizadeh
  • Re: [CIL users] Out of memory error when compiling linux 2.6 using CIL Gabriel Kerneis
  • Re: [CIL users] Out of memory error when compiling linux 2.6 using CIL Gabriel Kerneis
  • Re: [CIL users] Out of memory error when compiling linux 2.6 using CIL Ahmad Nouralizadeh
  • Re: [CIL users] Out of memory error when compiling linux 2.6 using CIL Ahmad Nouralizadeh
  • Re: [CIL users] Out of memory error when compiling linux 2.6 using CIL Ahmad Nouralizadeh
• [CIL users] Error compiling linux kernel 2.6 with cil Ahmad Nouralizadeh
• [CIL users] Compile a single file in kernel source Ahmad Nouralizadeh
  • Re: [CIL users] Compile a single file in kernel source Gabriel Kerneis
  • Re: [CIL users] Compile a single file in kernel source Ahmad Nouralizadeh
  • Re: [CIL users] Compile a single file in kernel source Gabriel Kerneis
  • Re: [CIL users] Compile a single file in kernel source Ahmad Nouralizadeh
  • [CIL users] Compile a single file in kernel source Ahmad Nouralizadeh
• [CIL users] ISO/ANSI C standard supported by CIL Alex Susu
  • Re: [CIL users] ISO/ANSI C standard supported by CIL Gabriel Kerneis
• [CIL users] [cil:bugs] #148 Wrong parameter name substitution Oliver Schwahn
• [CIL users] CIL issues with functions and prototypes Oliver Schwahn
  • Re: [CIL users] CIL issues with functions and prototypes Gabriel Kerneis
  • Re: [CIL users] CIL issues with functions and prototypes Gabriel Kerneis
  • Re: [CIL users] CIL issues with functions and prototypes Oliver Schwahn
• [CIL users] Passing parameters across modules Swapnil Mahajan
  • Re: [CIL users] Passing parameters across modules Gabriel Kerneis
• [CIL users] parser error for asm goto with CIL version 1.7.3 hitesh padekar
  • Re: [CIL users] parser error for asm goto with CIL version 1.7.3 Gabriel Kerneis
  • Re: [CIL users] parser error for asm goto with CIL version 1.7.3 hitesh padekar
• [CIL users] [cil:bugs] #147 Ptranal treatment of malloc, etc. az bro
• [CIL users] CIL for kernel compilation hitesh padekar
• [CIL users] [cil:bugs] #146 Olf vs. Golf in Ptranal az bro
• [CIL users] [cil:bugs] #145 Initialization of Pointer Analysis Module az bro
• [CIL users] ★ cil-users, Christian left a message for you Christian
• [CIL users] [cil:bugs] #144 C11 static union implicit initialization Gabriel Kerneis
• [CIL users] GCC __int128 type Jan Smets
  • Re: [CIL users] GCC __int128 type Gabriel Kerneis
• [CIL users] post dominator tree sonamt
• [CIL users] control dependency graph sonamt
• [CIL users] Breaking complicated expression ThanhVu (Vu) Nguyen
• [CIL users] Adding a directive to a cil file, getting vars in scope, and keep track of statement ThanhVu (Vu) Nguyen
  • Re: [CIL users] Adding a directive to a cil file, getting vars in scope, and keep track of statement Gabriel Kerneis
  • Re: [CIL users] Adding a directive to a cil file, getting vars in scope, and keep track of statement ThanhVu (Vu) Nguyen
• [CIL users] [cil:bugs] #143 CopyFunction changes SIDs. az bro
• [CIL users] [cil:bugs] #142 Problem with AddrOfLabel and CopyFunction az bro
• [CIL users] Saving modified C version ThanhVu (Vu) Nguyen
  • Re: [CIL users] Saving modified C version Gabriel Kerneis
• [CIL users] how to include indirect function calls into the call-graph Risto Minev
  • [CIL users] Ptranal.resolve_funptr [was: how to include indirect function calls into the call-graph] Christoph Spiel
• [CIL users] Loop Optimizations in CIL Alex Susu
• [CIL users] some problems about CIL 陈群辉
  • Re: [CIL users] some problems about CIL Gabriel Kerneis
  • Re: [CIL users] some problems about CIL David Yang
• [CIL users] OSX problem Christian Collberg
  • Re: [CIL users] OSX problem Gabriel Kerneis
• [CIL users] About CIL on Linux Kernel Compilation Qi Alfred Chen
  • Re: [CIL users] About CIL on Linux Kernel Compilation Gabriel Kerneis
  • Re: [CIL users] About CIL on Linux Kernel Compilation Qi Alfred Chen
  • [CIL users] sizeof evaluation dagreve
  • Re: [CIL users] sizeof evaluation Gabriel Kerneis
  • Re: [CIL users] sizeof evaluation dagreve
• [CIL users] About Static Taint Analysis on Linux Kernel Qi Alfred Chen
• [CIL users] How to change Binops to function calls? Mehrdad Abdi
  • Re: [CIL users] How to change Binops to function calls? Gabriel Kerneis
  • Re: [CIL users] How to change Binops to function calls? tsuletgo
  • Re: [CIL users] How to change Binops to function calls? Gabriel Kerneis
• [CIL users] A wish for 2.0 Pietro Braione
  • Re: [CIL users] A wish for 2.0 Gabriel Kerneis
• [CIL users] [cil:bugs] #141 Bug in pointer analysis or documentation Ed Schwartz
• [CIL users] CIL Semantics / etc. Edward Schwartz
  • Re: [CIL users] CIL Semantics / etc. Gabriel Kerneis
  • Re: [CIL users] CIL Semantics / etc. Edward Schwartz
  • Re: [CIL users] CIL Semantics / etc. Alex Susu
  • Re: [CIL users] CIL Semantics / etc. Gabriel Kerneis
• [CIL users] Dead code elimination Alex Susu
  • Re: [CIL users] Dead code elimination Christoph Spiel
  • Re: [CIL users] Dead code elimination Gabriel Kerneis
  • Re: [CIL users] Dead code elimination Christoph Spiel
  • Re: [CIL users] Dead code elimination Alex Susu
  • Re: [CIL users] Dead code elimination Christoph Spiel
  • Re: [CIL users] Dead code elimination Alex Susu
• [CIL users] The CCL module Alex Susu
• [CIL users] [cil:bugs] #140 C99 VLA in structures and initialisers Gabriel Kerneis
• [CIL users] CIL Debian and Ubuntu packages Gabriel Kerneis
  • [CIL users] CIL 1.7.3 Fedora, CentOS and openSUSE packages Gabriel Kerneis
  • Re: [CIL users] CIL 1.7.3 Fedora, CentOS and openSUSE packages Gabriel Kerneis
• [CIL users] New feature: CIL plugins Gabriel Kerneis
  • Re: [CIL users] New feature: CIL plugins Pietro Braione
  • Re: [CIL users] New feature: CIL plugins Gabriel Kerneis
  • Re: [CIL users] New feature: CIL plugins Gabriel Kerneis
  • Re: [CIL users] New feature: CIL plugins Gabriel Kerneis
  • Re: [CIL users] New feature: CIL plugins Gabriel Kerneis
  • Re: [CIL users] New feature: CIL plugins Jonathan Kotker
  • Re: [CIL users] New feature: CIL plugins Gabriel Kerneis
  • Re: [CIL users] New feature: CIL plugins Jonathan Kotker
  • Re: [CIL users] New feature: CIL plugins Gabriel Kerneis
  • Re: [CIL users] New feature: CIL plugins Jonathan Kotker
  • Re: [CIL users] New feature: CIL plugins Jonathan Kotker
  • Re: [CIL users] New feature: CIL plugins Jonathan Kotker
  • Re: [CIL users] New feature: CIL plugins Jonathan Kotker
  • Re: [CIL users] New feature: CIL plugins Gabriel Kerneis
  • Re: [CIL users] New feature: CIL plugins Jonathan Kotker
  • Re: [CIL users] New feature: CIL plugins Gabriel Kerneis
  • Re: [CIL users] New feature: CIL plugins Jonathan Kotker
  • Re: [CIL users] New feature: CIL plugins Gabriel Kerneis
  • Re: [CIL users] New feature: CIL plugins Jonathan Kotker
  • Re: [CIL users] New feature: CIL plugins Gabriel Kerneis
  • Re: [CIL users] New feature: CIL plugins Jonathan Kotker
  • Re: [CIL users] New feature: CIL plugins Alex Susu
  • Re: [CIL users] New feature: CIL plugins Jonathan Kotker
  • Re: [CIL users] New feature: CIL plugins Gabriel Kerneis
  • Re: [CIL users] New feature: CIL plugins Jonathan Kotker
  • Re: [CIL users] New feature: CIL plugins Alex Susu
  • Re: [CIL users] New feature: CIL plugins Jonathan Kotker
• [CIL users] [cil:bugs] #139 Makefile issues Chris Petrik
• [CIL users] Signal 127 Colin Adams
  • Re: [CIL users] Signal 127 Colin Adams
  • Re: [CIL users] Signal 127 Gabriel Kerneis
  • Re: [CIL users] Signal 127 Colin Adams
  • Re: [CIL users] Signal 127 Gabriel Kerneis
  • Re: [CIL users] Signal 127 Colin Adams
  • Re: [CIL users] Signal 127 Gabriel Kerneis
  • Re: [CIL users] Signal 127 Colin Adams
• [CIL users] Compilation error: Unbound value <Name>.feature from v1.7.1 up Mihai T. Lazarescu
  • Re: [CIL users] Compilation error: Unbound value <Name>.feature from v1.7.1 up Gabriel Kerneis
  • Re: [CIL users] Compilation error: Unbound value <Name>.feature from v1.7.1 up Mihai T. Lazarescu
• [CIL users] Make failing with unknown ocaml option Colin Adams
  • Re: [CIL users] Make failing with unknown ocaml option Gabriel Kerneis
  • Re: [CIL users] Make failing with unknown ocaml option Gabriel Kerneis
• [CIL users] Global Initializers Jonathan Kotker
  • Re: [CIL users] Global Initializers Gabriel Kerneis
  • Re: [CIL users] Global Initializers Jonathan Kotker
  • Re: [CIL users] Global Initializers Gabriel Kerneis
  • Re: [CIL users] Global Initializers Gabriel Kerneis
  • Re: [CIL users] Global Initializers Jonathan Kotker
  • Re: [CIL users] Global Initializers Jonathan Kotker
  • Re: [CIL users] Global Initializers Gabriel Kerneis
  • Re: [CIL users] Global Initializers Jonathan Kotker
  • [CIL users] Portability issues when folding floating-point constants [was: Global Initializers] Christoph Spiel
  • Re: [CIL users] Portability issues when folding floating-point constants [was: Global Initializers] Gabriel Kerneis
  • Re: [CIL users] Portability issues when folding floating-point constants [was: Global Initializers] Jonathan Kotker
• [CIL users] I just signed “Shri. Manmohan Singh, Prime Minister - Government of India : Save RTI Act from Amendments ” srikanth vaindam
• [CIL users] A problem about 'queueInstr' tsuletgo
  • Re: [CIL users] A problem about 'queueInstr' Gabriel Kerneis
  • Re: [CIL users] A problem about 'queueInstr' Gabriel Kerneis
  • Re: [CIL users] A problem about 'queueInstr' tsuletgo
  • Re: [CIL users] A problem about 'queueInstr' Gabriel Kerneis
  • Re: [CIL users] A problem about 'queueInstr' Gabriel Kerneis
  • Re: [CIL users] A problem about 'queueInstr' Gabriel Kerneis
• [CIL users] ANNOUNCE: CIL 1.7.3 Gabriel Kerneis

• Earlier messages