Re: [CIL users] Problem with MSVC mode in Windows

2011-07-22 Thread Feng Zhu
Sizeof(int)=4 Thanks, Feng Zhu 2011/7/22 Gabriel Kerneis > On Thu, Jul 21, 2011 at 06:41:53PM -0400, Feng Zhu wrote: > > To use cilly in MSVC mode, I: > > 1. set environment variables. > > 2. launch the Visual Studio Command Prompt (2010) > > 3

[CIL users] Problem with MSVC mode in Windows

2011-07-21 Thread Feng Zhu
Hi,all, I want to merge a Windows project so I install CIL in Cygwin(svn checkout, configure, make). And after configure finished, the CIL configuration shows: (optional) cl.exe found: HAS_MSVC yes. It seems that CIL has recognized cl compiler.

Re: [CIL users] Subtyping kinds in golf.ml

2011-04-27 Thread Feng Zhu
Yes. I have change module A = Olf to module A = Golf. And thanks very much for your suggestions! 2011/4/27 Christoph Spiel > On Tue, Apr 26, 2011 at 07:46:16PM -0400, Feng Zhu wrote: > > I am a new user of CIL and I try to use the pointer-analysis module. > > I hope you&#x

[CIL users] Subtyping kinds in golf.ml

2011-04-26 Thread Feng Zhu
Hi, everyone, I am a new user of CIL and I try to use the pointer-analysis module.When I read the source code of golf.ml, I found that there are 3 types of subtyping kind.But what is the difference? And what is the use of each one?If there is any relevent document, it will help much. Thanks,