cil-users  

Messages by Thread

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

• Earlier messages
• Later messages