cil-users  

Messages by Date

• 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
• 2009/12/22 Re: [CIL users] changing name of functions Gabriel Kerneis
• 2009/12/22 Re: [CIL users] changing name of functions ThanhVu (Vu) Nguyen
• 2009/12/21 Re: [CIL users] changing name of functions ThanhVu (Vu) Nguyen
• 2009/12/20 Re: [CIL users] changing name of functions ThanhVu (Vu) Nguyen
• 2009/12/20 Re: [CIL users] changing name of functions Gabriel Kerneis
• 2009/12/19 Re: [CIL users] changing name of functions ThanhVu (Vu) Nguyen
• 2009/12/17 Re: [CIL users] changing name of functions Gabriel Kerneis
• 2009/12/17 Re: [CIL users] changing name of functions ThanhVu (Vu) Nguyen
• 2009/12/17 Re: [CIL users] changing name of functions ThanhVu (Vu) Nguyen
• 2009/12/17 Re: [CIL users] changing name of functions Gabriel Kerneis
• 2009/12/16 [CIL users] changing name of functions ThanhVu (Vu) Nguyen
• 2009/12/16 Re: [CIL users] CIL label name conflict Gabriel Kerneis
• 2009/12/15 [CIL users] CIL label name conflict Elnatan Reisner
• 2009/12/10 Re: [CIL users] function inlining Gabriel Kerneis
• 2009/12/09 [CIL users] loop unrolling Rahul Garg
• 2009/12/09 [CIL users] function inlining Rahul Garg
• 2009/12/07 [CIL users] obtaining old version Matthew Simpson
• 2009/12/02 Re: [CIL users] gotos Gabriel Kerneis
• 2009/12/01 [CIL users] gotos Mauro Baluda
• 2009/12/01 [CIL users] bug in handling __builtin_constant_p? John Regehr
• 2009/12/01 [CIL users] Compiling on Windows Avishay Ben Shabtai
• 2009/11/27 Re: [CIL users] check whether inside a function body or not ? can't use queueInstr outside function body Steven Van Acker
• 2009/11/27 Re: [CIL users] check whether inside a function body or not ? can't use queueInstr outside function body Gabriel Kerneis
• 2009/11/27 Re: [CIL users] check whether inside a function body or not ? can't use queueInstr outside function body Steven Van Acker
• 2009/11/27 Re: [CIL users] check whether inside a function body or not ? can't use queueInstr outside function body Gabriel Kerneis
• 2009/11/27 [CIL users] check whether inside a function body or not ? can't use queueInstr outside function body Steven Van Acker
• 2009/11/24 [CIL users] question about --domakeCFG 赵磊
• 2009/11/23 [CIL users] about domakeCFG 赵磊
• 2009/11/19 Re: [CIL users] building CIL on windows Avishay Ben Shabtai
• 2009/11/19 [CIL users] building CIL on windows Avishay Ben Shabtai
• 2009/11/16 [CIL users] Is there an option to change arrays to pointers Yossi Levhari
• 2009/11/16 [CIL users] CIL for AIX5.3 강현구
• 2009/11/09 Re: [CIL users] block scope variable problem? Ben Liblit
• 2009/11/09 [CIL users] block scope variable problem? Dany Vereertbrugghen
• 2009/11/07 [CIL users] line numbers Olivier Crameri
• 2009/11/05 [CIL users] transitive points-to set from varinfo Ben Liblit
• 2009/11/02 [CIL users] changing constant in a statement ThanhVu (Vu) Nguyen
• 2009/10/29 Re: [CIL users] Strange behavior with Frontc.parse Divya Muthukumaran
• 2009/10/29 Re: [CIL users] vinst problem Mark Hills
• 2009/10/29 [CIL users] vinst problem Alberto Barbaro
• 2009/10/29 Re: [CIL users] Strange behavior with Frontc.parse Gabriel Kerneis
• 2009/10/28 [CIL users] Strange behavior with Frontc.parse Divya Muthukumaran
• 2009/10/28 [CIL users] A general question about compiler warnings Misha Aizatulin
• 2009/10/27 [CIL users] extern inline triggers missing prototype warning Misha Aizatulin
• 2009/10/26 Re: [CIL users] adding extra #include using CIL Misha Aizatulin
• 2009/10/26 Re: [CIL users] adding extra #include using CIL Benjamin Ylvisaker
• 2009/10/26 Re: [CIL users] adding extra #include using CIL Misha Aizatulin
• 2009/10/22 [CIL users] Cannot parse gcc.c Roberto Bagnara
• 2009/10/22 Re: [CIL users] CIL performs invalid tranformations Roberto Bagnara
• 2009/10/22 Re: [CIL users] adding extra #include using CIL Misha Aizatulin
• 2009/10/22 Re: [CIL users] adding extra #include using CIL Gabriel Kerneis
• 2009/10/22 [CIL users] adding extra #include using CIL Misha Aizatulin
• 2009/10/16 Re: [CIL users] CIL performs invalid tranformations Gabriel Kerneis
• 2009/09/29 Re: [CIL users] __builtin_va_arg problem Rekha Bachwani
• 2009/09/21 Re: [CIL users] Getting sizeof right on multiple architectures Benjamin Ylvisaker
• 2009/09/21 Re: [CIL users] Getting sizeof right on multiple architectures Gabriel Kerneis
• 2009/09/21 [CIL users] Getting sizeof right on multiple architectures Benjamin Ylvisaker
• 2009/09/09 [CIL users] Olf vs. Golf [was: optimizations with pointers] Christoph Spiel
• 2009/09/09 Re: [CIL users] optimizations with pointers John Regehr
• 2009/09/09 Re: [CIL users] optimizations with pointers Benjamin Ylvisaker
• 2009/09/09 Re: [CIL users] optimizations with pointers Gabriel Kerneis
• 2009/09/09 Re: [CIL users] optimizations with pointers Alastair Reid
• 2009/09/09 Re: [CIL users] optimizations with pointers Stephen Magill
• 2009/09/08 Re: [CIL users] optimizations with pointers Gabriel Kerneis
• 2009/09/08 Re: [CIL users] CIL and globals Gabriel Kerneis
• 2009/09/08 [CIL users] optimizations with pointers Benjamin Ylvisaker
• 2009/09/08 [CIL users] CIL and globals Jiří Šimša
• 2009/09/08 [CIL users] assignment of a predicate? Mauro Baluda
• 2009/09/07 Re: [CIL users] Questions related to && and || Benjamin Ylvisaker
• 2009/09/04 Re: [CIL users] Unimplemented: Cannot represent integer in 64 bits (signed) Misha Aizatulin
• 2009/09/02 Re: [CIL users] CIL performs invalid tranformations Enea Zaffanella
• 2009/09/01 Re: [CIL users] CIL performs invalid tranformations Gabriel Kerneis
• 2009/09/01 Re: [CIL users] CIL performs invalid tranformations Enea Zaffanella
• 2009/09/01 Re: [CIL users] Unimplemented: Cannot represent integer in 64 bits (signed) Kristis Makris
• 2009/09/01 [CIL users] Unimplemented: Cannot represent integer in 64 bits (signed) Misha Aizatulin
• 2009/08/28 Re: [CIL users] CIL performs invalid tranformations Enea Zaffanella
• 2009/08/28 Re: [CIL users] CIL performs invalid tranformations Elnatan Reisner
• 2009/08/28 Re: [CIL users] CIL performs invalid tranformations Benjamin Monate
• 2009/08/28 Re: [CIL users] CIL performs invalid tranformations Christoph Spiel
• 2009/08/27 Re: [CIL users] CIL performs invalid tranformations John Regehr
• 2009/08/27 Re: [CIL users] CIL performs invalid tranformations Gabriel Kerneis
• 2009/08/27 Re: [CIL users] CIL performs invalid tranformations Benjamin Monate
• 2009/08/27 Re: [CIL users] CIL performs invalid tranformations Roberto Bagnara
• 2009/08/26 [CIL users] CIL performs invalid tranformations Roberto Bagnara
• 2009/08/16 [CIL users] (no subject) James Yunker
• 2009/08/14 Re: [CIL users] Operands to && and || are incorrectly cast to int Elnatan Reisner
• 2009/08/14 [CIL users] CIL generates duplicate labels Roberto Bagnara
• 2009/08/13 Re: [CIL users] Operands to && and || are incorrectly cast to int Christoph Spiel
• 2009/08/13 [CIL users] Operands to && and || are incorrectly cast to int Elnatan Reisner
• 2009/08/10 Re: [CIL users] problem when compile apache using CIL Kristis Makris
• 2009/08/06 Re: [CIL users] Problems with gotos inserted by CIL Elnatan Reisner
• 2009/08/05 Re: [CIL users] Problems with gotos inserted by CIL Elnatan Reisner
• 2009/08/04 Re: [CIL users] -Wl,--export-dynamic problem in CIL 1.3.7 Kristis Makris
• 2009/08/03 [CIL users] -Wl,--export-dynamic problem in CIL 1.3.7 Kristis Makris
• 2009/08/03 [CIL users] Problems with gotos inserted by CIL Elnatan Reisner
• 2009/07/31 Re: [CIL users] Problems with the extern inline functions __signbitf, __signbit, etc. Kristis Makris
• 2009/07/31 [CIL users] Problems with the extern inline functions __signbitf, __signbit, etc. Kristis Makris
• 2009/07/30 [CIL users] __builtin_va_arg problem Dazhi Zhang
• 2009/07/29 Re: [CIL users] problem when compile apache using CIL Dazhi Zhang
• 2009/07/28 Re: [CIL users] problem when compile apache using CIL Kristis Makris
• 2009/07/28 [CIL users] cfg consistency georgebaah
• 2009/07/28 [CIL users] problem when compile apache using CIL Dazhi Zhang
• 2009/07/21 Re: [CIL users] computeCFGInfo Benjamin Ylvisaker
• 2009/07/20 Re: [CIL users] CIL inliner Mauro Baluda
• 2009/07/17 Re: [CIL users] CIL inliner John Regehr
• 2009/07/17 [CIL users] CIL inliner Mauro Baluda
• 2009/07/15 [CIL users] incomplete program analysis Mauro Baluda
• 2009/07/15 Re: [CIL users] CIL grammar Gabriel Kerneis
• 2009/07/15 Re: [CIL users] different kinds of statement from Cil.stmtkind Gabriel Kerneis
• 2009/07/14 [CIL users] CIL grammar Shrawan Kumar
• 2009/07/14 Re: [CIL users] different kinds of statement from Cil.stmtkind Stephen Magill
• 2009/07/14 Re: [CIL users] different kinds of statement from Cil.stmtkind ThanhVu (Vu) Nguyen
• 2009/07/08 Re: [CIL users] different kinds of statement from Cil.stmtkind ThanhVu (Vu) Nguyen
• 2009/07/08 Re: [CIL users] different kinds of statement from Cil.stmtkind Christoph Spiel
• 2009/07/07 [CIL users] different kinds of statement from Cil.stmtkind ThanhVu (Vu) Nguyen
• 2009/07/05 [CIL users] Sex Enhanacing Foods Atnd Aphrodisiacs Fearon Pietrzykowski
• 2009/07/04 [CIL users] Phheromones thhe Odourless Love Scent Moehlman Bilson
• 2009/07/03 [CIL users] French Kissing - Womeen Love It Learn Hmow To Do It Correctly! Roxann
• 2009/07/02 [CIL users] Transparent: Love, Family, and Lsiving the T with Transgendper Teenagers Shingleur
• 2009/06/26 [CIL users] [SPAM] Haziran Ayinda Yarisi Bedava D . C . Mailing
• 2009/06/26 [CIL users] Tips too Arouse Her Inyto Making Love Toman Heinzle
• 2009/06/21 Re: [CIL users] Identifying if a variable is initialized when it is declared Elnatan Reisner
• 2009/06/21 [CIL users] Identifying if a variable is initialized when it is declared Divya Krishnan
• 2009/06/21 [CIL users] A Chritsian sex Site For Beptter Christian sex Giesing Morquecho
• 2009/06/18 [CIL users] The Best Foreplay Ideas - Warningg! These Are Only For Mren Who Like a Wild Woman in Bed chromate
• 2009/06/17 Re: [CIL users] API to find size of a type Gabriel Kerneis
• 2009/06/17 [CIL users] API to find size of a type Divya Krishnan
• 2009/06/16 [CIL users] [SPAM] Recraeting Passion and Inntimacy Siptak Veninga
• 2009/06/16 [CIL users] ristrutturazione, imbiancatrure, controsoffittature, parquet... ristrutturazione
• 2009/06/14 [CIL users] How too Have aa Better sex Life Contrerras
• 2009/06/09 Re: [CIL users] How to build lcil library xunilwithkrow
• 2009/06/09 Re: [CIL users] How to build lcil library Gabriel Kerneis
• 2009/06/08 Re: [CIL users] "then" vs. "else" control flow edges Benjamin Ylvisaker
• 2009/06/08 Re: [CIL users] "then" vs. "else" control flow edges Roy Shea
• 2009/06/08 [CIL users] "then" vs. "else" control flow edges Benjamin Ylvisaker
• 2009/06/08 [CIL users] [patch] Minor enhancements Gabriel Kerneis
• 2009/06/08 Re: [CIL users] CIL perfomance issues Gabriel Kerneis
• 2009/06/08 Re: [CIL users] CIL perfomance issues Gabriel Kerneis
• 2009/06/08 Re: [CIL users] CIL perfomance issues Gabriel Kerneis
• 2009/06/07 [CIL users] How to build lcil library xunilwithkrow
• 2009/06/05 Re: [CIL users] darcs patch: [ocamlutil] Handle 64-bits in Stats.print (and 1 more) David Gay
• 2009/06/02 [CIL users] [patch] Remove obsolete global variables in cfg.ml Gabriel Kerneis
• 2009/05/30 [CIL users] [SPAM] Washington state woman who registered dog to vote pleads guilty, avoids jail itme Willmschen Madyun
• 2009/05/29 Re: [CIL users] Identifying malloc calls Olivier Crameri
• 2009/05/29 Re: [CIL users] Identifying malloc calls Mark Hills
• 2009/05/29 [CIL users] Bush flatters Sarkozy ass French Elvis Reddix Folkens
• 2009/05/29 [CIL users] Identifying malloc calls Divya Krishnan
• 2009/05/29 Re: [CIL users] compiling apache on cygwin Marco Trudel
• 2009/05/29 [CIL users] [patch] Improved ocamlbuild target Gabriel Kerneis
• 2009/05/29 [CIL users] compiling apache on cygwin Marco Trudel
• 2009/05/29 [CIL users] darcs patch: [ocamlutil] Handle 64-bits in Stats.print (and 1 more) kerneis
• 2009/05/29 [CIL users] darcs patch: [ocamlutil] Handle 64-bits in Stats.print (and 1 more) kerneis
• 2009/05/28 Re: [CIL users] vid discrepancy georgebaah
• 2009/05/28 Re: [CIL users] vid discrepancy David Gay
• 2009/05/28 [CIL users] vid discrepancy georgebaah
• 2009/05/28 Re: [CIL users] SSA extension David Gay
• 2009/05/28 Re: [CIL users] SSA extension David Gay
• 2009/05/28 Re: [CIL users] CIL perfomance issues Gabriel Kerneis
• 2009/05/28 [CIL users] [patch] 64bits support in ocamlutil/stats.ml Gabriel Kerneis
• 2009/05/28 Re: [CIL users] CIL perfomance issues Gabriel Kerneis
• 2009/05/28 Re: [CIL users] CIL perfomance issues Christoph Spiel
• 2009/05/28 Re: [CIL users] CIL perfomance issues Christoph Spiel
• 2009/05/27 [CIL users] 64-bit int constants in CIL (svn) David Gay
• 2009/05/26 Re: [CIL users] CIL perfomance issues Gabriel Kerneis
• 2009/05/26 Re: [CIL users] CIL perfomance issues Wei Hu
• 2009/05/26 [CIL users] CIL perfomance issues Gabriel Kerneis
• 2009/05/26 [CIL users] Toutes vos traductions-Any translation-Todas traducciones-Alles V ertalingen MisterBabel.com
• 2009/05/26 [CIL users] Funeral Home Owed $p70,000 For James Brown Funeral Hoff
• 2009/05/25 Re: [CIL users] C interface to CIL? David Gay
• 2009/05/25 [CIL users] C interface to CIL? Stephen Siegel
• 2009/05/25 [CIL users] S.Africa hunts foor loose crocodiles near J'burg paler
• 2009/05/25 [CIL users] [SPAM] Gas Station Lnie Jumper Caught With Drugs Reller
• 2009/05/25 [CIL users] Student spends sppring break at Wal-Mart introspect
• 2009/05/25 [CIL users] [SPAM] Urn with remains of woman wtho died in 2003 found in the back seat of a Buick in South Carolina albumen
• 2009/05/24 [CIL users] [SPAM] Disney givnig brides-to-be a chance to dress like princesses resisting
• 2009/05/24 [CIL users] Byrant Fades As Suns Take Down Lakers Toledano Donah
• 2009/05/24 [CIL users] [SPAM] Sports bra saves US hiker in Germman Alps Colker Buddenhagen
• 2009/05/23 [CIL users] Philip Morris Incensed Over 'Smoking Bkaby' Reitzes Manusyants
• 2009/05/23 [CIL users] rTain to the Brain hipsterism
• 2009/05/22 [CIL users] [SPAM] 7 Step Guide too Never Having sex in Your Marriage Pardun
• 2009/05/22 [CIL users] [SPAM] Tips on How to Have Gzreat sex incumber
• 2009/05/21 [CIL users] [SPAM] How You Can Spice Up Your sex Life, Ntaurally Conmy Udell
• 2009/05/21 [CIL users] How to Have Better sex With Your Lover by Using Dirty Talk -- An Easy Guide! Dworkin
• 2009/05/18 [CIL users] SSA extension Matthew Hammer
• 2009/04/28 [CIL users] Re : Adding stmts after a particular statement Matthieu Wipliez
• 2009/04/28 Re: [CIL users] Adding stmts after a particular statement Divya Krishnan
• 2009/04/27 [CIL users] ComputeCFGinfo help Tapsie Giridher
• 2009/04/27 Re: [CIL users] Adding stmts after a particular statement Gabriel Kerneis
• 2009/04/27 Re: [CIL users] Adding stmts after a particular statement Hills, Mark A
• 2009/04/27 Re: [CIL users] Adding stmts after a particular statement Asim
• 2009/04/27 Re: [CIL users] Adding stmts after a particular statement Elnatan Reisner
• 2009/04/27 [CIL users] Adding stmts after a particular statement Divya Krishnan
• 2009/04/24 [CIL users] CIL 1.3.7 released David Gay
• 2009/04/22 Re: [CIL users] creating variable of volatile type David Gay
• 2009/04/21 Re: [CIL users] creating variable of volatile type Christoph Spiel
• 2009/04/21 Re: [CIL users] creating variable of volatile type Divya Krishnan
• 2009/04/21 [CIL users] We can find anyone, anywhere! Notice
• 2009/04/21 [CIL users] We can find anyone, anywhere! Notice

• Earlier messages
• Later messages