cil-users

Messages by Date

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