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