cil-users  

Messages by Thread

• • Re: [CIL users] Unused __Cont label Gabriel Kerneis
  • Re: [CIL users] Unused __Cont label Smets, Jan (Jan)
  • Re: [CIL users] Unused __Cont label Gabriel Kerneis
• [CIL users] fix for additional GCC function attributes Ben Liblit
  • Re: [CIL users] fix for additional GCC function attributes Gabriel Kerneis
  • Re: [CIL users] fix for additional GCC function attributes Ben Liblit
• Re: [CIL users] How to access file given to cilly in my CIL module Foivos S. Zakkak
• [CIL users] CIL1.4 and GCC46 -Wparentheses Smets, Jan (Jan)
  • Re: [CIL users] CIL1.4 and GCC46 -Wparentheses Gabriel Kerneis
• [CIL users] switch case with constant char values problem Dany Vereertbrugghen
  • Re: [CIL users] switch case with constant char values problem Jesse M Draper
• Re: [CIL users] How to see the output of my new feature Gabriel Kerneis
  • Re: [CIL users] How to see the output of my new feature srikanth vaindam
• [CIL users] Error: CIL_MACHINE environment variable is not set Lipeng Wan
  • Re: [CIL users] Error: CIL_MACHINE environment variable is not set Vinai Sundaram
• [CIL users] beginners questions srikanth vaindam
  • [CIL users] 回复: beginners questions 林楠
  • Re: [CIL users] beginners questions srikanth vaindam
  • Re: [CIL users] beginners questions srikanth vaindam
• [CIL users] CFP SCAM 2012 - submissions due May 4 (abstracts: April 29) Sonia Haiduc
• [CIL users] cil array init. problem Dany Vereertbrugghen
  • Re: [CIL users] cil array init. problem Gabriel Kerneis
  • Re: [CIL users] cil array init. problem Virgile Prevosto
  • Re: [CIL users] cil array init. problem Christoph Spiel
  • Re: [CIL users] cil array init. problem Gabriel Kerneis
• [CIL users] Can CIL perform slicing? Vijayaraghavan Murali
  • Re: [CIL users] Can CIL perform slicing? Gabriel Kerneis
  • [CIL users] Identify formal parameter from local variable Vijayaraghavan Murali
  • Re: [CIL users] Identify formal parameter from local variable Vijayaraghavan Murali
• [CIL users] merge and convert declarations to static Harald Gustafsson
  • [CIL users] 回复: merge and convert declarations to static 林楠
  • Re: [CIL users] 回复: merge and convert declarations to static Gabriel Kerneis
  • Re: [CIL users] 回复: merge and convert declarations to static Harald Gustafsson
• [CIL users] Const Function Parameters Oliver Schwahn
  • Re: [CIL users] Const Function Parameters Gabriel Kerneis
  • Re: [CIL users] Const Function Parameters Gabriel Kerneis
  • Re: [CIL users] Const Function Parameters Oliver Schwahn
• [CIL users] Bug of CIL 1.4.0 handling weak functions? 林楠
  • Re: [CIL users] Bug of CIL 1.4.0 handling weak functions? Gabriel Kerneis
• [CIL users] Makefile.in mod. for *BSD sed Philippe Strauss
  • Re: [CIL users] Makefile.in mod. for *BSD sed Gabriel Kerneis
  • Re: [CIL users] Makefile.in mod. for *BSD sed Lazaros Koromilas
• [CIL users] Is it possible to use comments to ``direct'' a CIL transformation? Dimiter Milushev
  • Re: [CIL users] Is it possible to use comments to ``direct'' a CIL transformation? Gabriel Kerneis
  • Re: [CIL users] Is it possible to use comments to ``direct'' a CIL transformation? Pascal Cuoq
• [CIL users] long double constants Ralf Vogler
  • Re: [CIL users] long double constants Gabriel Kerneis
• [CIL users] [CIL] Preventing CIL from compiling the result Jonathan Kotker
  • Re: [CIL users] Preventing CIL from compiling the result Gabriel Kerneis
  • Re: [CIL users] [CIL] Preventing CIL from compiling the result Pavel Shved
  • Re: [CIL users] [CIL] Preventing CIL from compiling the result Jonathan Kotker
  • Re: [CIL users] [CIL] Preventing CIL from compiling the result Marco Trudel
  • Re: [CIL users] [CIL] Preventing CIL from compiling the result Zakkak Foivos
• [CIL users] 回复: ANNOUNCE: CIL 1.4.0 林楠
• [CIL users] ANNOUNCE: CIL 1.4.0 Gabriel Kerneis
• [CIL users] Changes to cilly, please test! Gabriel Kerneis
• [CIL users] Simplifying --dosimplify, continued Pavel Shved
  • Re: [CIL users] Simplifying --dosimplify, continued Gabriel Kerneis
  • Re: [CIL users] Simplifying --dosimplify, continued Pavel Shved
  • Re: [CIL users] Simplifying --dosimplify, continued Mihai T. Lazarescu
  • Re: [CIL users] Simplifying --dosimplify, continued Pavel Shved
  • Re: [CIL users] Simplifying --dosimplify, continued (+updated patch) Pavel Shved
  • Re: [CIL users] Simplifying --dosimplify, continued (+updated patch) Gabriel Kerneis
  • Re: [CIL users] Simplifying --dosimplify, continued Pavel Shved
  • Re: [CIL users] Simplifying --dosimplify, continued Gabriel Kerneis
• [CIL users] Patch to help more precise #line information Piramanayagam Arumuga Nainar
  • Re: [CIL users] Patch to help more precise #line information Gabriel Kerneis
• [CIL users] new official release? Ben Liblit
  • Re: [CIL users] new official release? Gabriel Kerneis
• [CIL users] Data dependence graph? Christian Collberg
  • Re: [CIL users] Data dependence graph? CUOQ Pascal
• [CIL users] How can I avoid calls-by-pointer generated after --dosimplify? Pavel Shved
  • [CIL users] [PATCH] Add --no-convert-direct-calls option to Simplify Pavel Shved
  • Re: [CIL users] [PATCH] Add --no-convert-direct-calls option to Simplify Pavel Shved
  • Re: [CIL users] [PATCH] Add --no-convert-direct-calls option to Simplify Gabriel Kerneis
  • Re: [CIL users] [PATCH] Add --no-convert-direct-calls option to Simplify Pavel Shved
• [CIL users] how to add extra ocaml library to cil 823797879
• [CIL users] [ANNOUNCE] CIL moves to git Gabriel Kerneis
  • Re: [CIL users] [ANNOUNCE] CIL moves to git Gabriel Kerneis
• [CIL users] [PATCH] Treat explicit casts from union to union normally Pavel Shved
  • Re: [CIL users] [PATCH] Treat explicit casts from union to union normally Benjamin Monate
  • Re: [CIL users] [PATCH] Treat explicit casts from union to union normally Pavel Shved
  • Re: [CIL users] [PATCH] Treat explicit casts from union to union normally Gabriel Kerneis
• [CIL users] Can't download CIL from SVN Pavel Shved
  • Re: [CIL users] Can't download CIL from SVN Gabriel Kerneis
  • Re: [CIL users] Can't download CIL from SVN Pavel Shved
  • Re: [CIL users] Can't download CIL from SVN George Necula
  • Re: [CIL users] Can't download CIL from SVN Gabriel Kerneis
  • Re: [CIL users] Can't download CIL from SVN Gabriel Kerneis
  • Re: [CIL users] Can't download CIL from SVN George Necula
  • Re: [CIL users] Can't download CIL from SVN Gabriel Kerneis
• [CIL users] cil building errors with ocaml 3.11 and msvc on windows 823797879
• [CIL users] Git mirrors for CIL (and ocamlutil) Gabriel Kerneis
• [CIL users] CIL fails to compile complex.h Zakkak Foivos
  • Re: [CIL users] CIL fails to compile complex.h Jesse M Draper
• [CIL users] Problem with MSVC mode in Windows Feng Zhu
  • Re: [CIL users] Problem with MSVC mode in Windows Marco Trudel
  • Re: [CIL users] Problem with MSVC mode in Windows Gabriel Kerneis
  • Re: [CIL users] Problem with MSVC mode in Windows Feng Zhu
  • Re: [CIL users] Problem with MSVC mode in Windows Gabriel Kerneis
• [CIL users] warning in msvc mode Marco Trudel
• [CIL users] merging linux source Aaron Mills
• [CIL users] SVN access (Just checking) Aaron Mills
  • Re: [CIL users] SVN access (Just checking) Aaron Mills
• [CIL users] Exit value Zakkak Foivos
• [CIL users] one-off bug in truncate_signed_cilint Jesse M Draper
  • Re: [CIL users] one-off bug in truncate_signed_cilint Gabriel Kerneis
  • Re: [CIL users] one-off bug in truncate_signed_cilint Gabriel Kerneis
  • Re: [CIL users] one-off bug in truncate_signed_cilint Gabriel Kerneis
• [CIL users] A beginner question: How to get a value of a variable at runtime Amm
  • Re: [CIL users] A beginner question: How to get a value of a variableat runtime CUOQ Pascal
  • Re: [CIL users] A beginner question: How to get a value of a variableat runtime Amm
  • Re: [CIL users] A beginner question: How to get a value of a variableat runtime CUOQ Pascal
• [CIL users] CIL parsing error Jesse M Draper
  • Re: [CIL users] CIL parsing error Gabriel Kerneis
  • Re: [CIL users] CIL parsing error Gabriel Kerneis
  • Re: [CIL users] CIL parsing error Jesse M Draper
• [CIL users] Package `cil' not found haihao shen
  • Re: [CIL users] Package `cil' not found Gabriel Kerneis
  • Re: [CIL users] Package `cil' not found haihao shen
  • Re: [CIL users] Package `cil' not found Gabriel Kerneis
  • Re: [CIL users] Package `cil' not found haihao shen
  • Re: [CIL users] Package `cil' not found Gabriel Kerneis
  • Re: [CIL users] Package `cil' not found haihao shen
  • Re: [CIL users] Package `cil' not found Gabriel Kerneis
  • Re: [CIL users] Package `cil' not found haihao shen
  • Re: [CIL users] Package `cil' not found haihao shen
• [CIL users] CIL Visitor to print all executed statements Amm
• [CIL users] Labels-As-Values Christian Collberg
  • Re: [CIL users] Labels-As-Values Gabriel Kerneis
• [CIL users] Different CFG for similar test cases haihao shen
  • Re: [CIL users] Different CFG for similar test cases Christoph Spiel
• [CIL users] Subtyping kinds in golf.ml Feng Zhu
  • Re: [CIL users] Subtyping kinds in golf.ml Christoph Spiel
  • Re: [CIL users] Subtyping kinds in golf.ml Feng Zhu
  • [CIL users] Adding Comments to the CIL output Alexandros Tzannes
  • Re: [CIL users] Adding Comments to the CIL output Elnatan Reisner
  • Re: [CIL users] Adding Comments to the CIL output Gabriel Kerneis
• [CIL users] file not recognized when "make" using cilly Jiandong Wang
• [CIL users] Yet Another SVN Access Question Grundy, Jim D
  • Re: [CIL users] Yet Another SVN Access Question Gabriel Kerneis
• [CIL users] Passing information to the backend anirudh_s
  • Re: [CIL users] Passing information to the backend Gabriel Kerneis
• [CIL users] cil 1.3.7 build fail on OSX Philippe Strauss
  • Re: [CIL users] cil 1.3.7 build fail on OSX Gabriel Kerneis
• [CIL users] CIL SVN Broken and An CIL Issue haihao shen
  • Re: [CIL users] CIL SVN Broken and An CIL Issue Marco Trudel
• [CIL users] Need help with CIL constant propagation Vijayaraghavan Murali
  • Re: [CIL users] Need help with CIL constant propagation Vijayaraghavan Murali
  • Re: [CIL users] Need help with CIL constant propagation Christoph Spiel
• Re: [CIL users] CIL-users Digest, Vol 59, Issue 4 haihao shen
  • Re: [CIL users] CIL-users Digest, Vol 59, Issue 4 Gabriel Kerneis
  • Re: [CIL users] CIL-users Digest, Vol 59, Issue 4 haihao shen
• [CIL users] Cannot install CIL on Susie machine haihao shen
  • Re: [CIL users] Cannot install CIL on Susie machine Gabriel Kerneis
  • Re: [CIL users] Cannot install CIL on Susie machine haihao shen
  • Re: [CIL users] Cannot install CIL on Susie machine Jesse Draper
• [CIL users] Reporting of signals Jesse M Draper
  • Re: [CIL users] Reporting of signals Gabriel Kerneis
  • Re: [CIL users] Reporting of signals Jesse M Draper
  • Re: [CIL users] Reporting of signals Gabriel Kerneis
• [CIL users] [cil-users] Using CIL standalone Jonathan Kotker
  • Re: [CIL users] [cil-users] Using CIL standalone 林楠
  • Re: [CIL users] [cil-users] Using CIL standalone Jonathan Kotker
  • Re: [CIL users] [cil-users] Using CIL standalone Mihai T. Lazarescu
  • Re: [CIL users] [cil-users] Using CIL standalone Gabriel Kerneis
• [CIL users] rmtmps module bug? Foivos Zakkak
• [CIL users] Merging files? Justin
  • Re: [CIL users] Merging files? Marco Trudel
  • Re: [CIL users] Merging files? Justin
  • Re: [CIL users] Merging files? Marco Trudel
  • Re: [CIL users] Merging files? Justin
• [CIL users] [cil-users] Including functions from user-defined header files Jonathan Kotker
  • Re: [CIL users] [cil-users] Including functions from user-defined header files Zakkak Foivos
  • Re: [CIL users] [cil-users] Including functions from user-defined header files Jonathan Kotker
  • Re: [CIL users] [cil-users] Including functions from user-defined header files Gabriel Kerneis
  • Re: [CIL users] [cil-users] Including functions from user-defined header files Jonathan Kotker
• [CIL users] debugging Cil with ocamldebug and emacs Jesse M Draper
  • Re: [CIL users] debugging Cil with ocamldebug and emacs Gabriel Kerneis
• [CIL users] vglob does not catch static variable? Dazhi Zhang
  • Re: [CIL users] vglob does not catch static variable? Christoph Spiel
• [CIL users] CIL truncates negative literals on machines with 64-bit longs Jesse M Draper
  • Re: [CIL users] CIL truncates negative literals on machines with 64-bit longs Gabriel Kerneis
• [CIL users] CIL handles __builtin_object_size incorrectly Jesse M Draper
  • Re: [CIL users] CIL handles __builtin_object_size incorrectly Gabriel Kerneis
  • Re: [CIL users] CIL handles __builtin_object_size incorrectly Jesse M Draper
  • Re: [CIL users] CIL handles __builtin_object_size incorrectly Gabriel Kerneis
• [CIL users] Patch to consider Addrof/StartOf as a definition Piramanayagam Arumuga Nainar
  • Re: [CIL users] Patch to consider Addrof/StartOf as a definition Gabriel Kerneis
  • Re: [CIL users] Patch to consider Addrof/StartOf as a definition CUOQ Pascal
  • Re: [CIL users] Patch to consider Addrof/StartOf as a definition Piramanayagam Arumuga Nainar
  • Re: [CIL users] Patch to consider Addrof/StartOf as a definition Piramanayagam Arumuga Nainar
  • Re: [CIL users] Patch to consider Addrof/StartOf as a definition Pascal Cuoq
  • Re: [CIL users] Patch to consider Addrof/StartOf as a definition Gabriel Kerneis
• [CIL users] Keep typedefs in casts Elnatan Reisner
  • Re: [CIL users] Keep typedefs in casts Gabriel Kerneis
  • Re: [CIL users] Keep typedefs in casts Elnatan Reisner
  • Re: [CIL users] Keep typedefs in casts Gabriel Kerneis
• [CIL users] ?: with no side-effects Elnatan Reisner
  • Re: [CIL users] ?: with no side-effects Wei Hu

• Earlier messages
• Later messages