Re: [CIL users] one-off bug in truncate_signed_cilint

2011-09-09 Thread Gabriel Kerneis
Dear Jesse, On Wed, Jun 08, 2011 at 04:47:23PM -0400, Jesse M Draper wrote: > Cil handles the constant 0x8000 incorrectly on my 64-bit machine, making > it a signed int instead of an unsigned int. This should be fixed in latest git. Could you check that it fixes your problem please? Best, -

Re: [CIL users] [ANNOUNCE] CIL moves to git

2011-09-09 Thread Gabriel Kerneis
On Fri, Sep 09, 2011 at 08:07:16AM -0700, Grundy, Jim D wrote: > Access is still going to be a bit tricky for folks like me who sit behind > overzealous firewalls (I can get out on http, https, ftp and ssh only). Can > git operate over http or https (like svn can) as well as via the git > protocol

[CIL users] [ANNOUNCE] CIL moves to git

2011-09-09 Thread Gabriel Kerneis
Dear CIL users, I have migrated CIL to git. You can get it at: git clone git://cil.git.sourceforge.net/gitroot/cil/cil This is the new official CIL repository. A github mirror is also available: git clone git://github.com/kerneis/cil Both repositories will be kept in sync (I feel une

Re: [CIL users] Can't download CIL from SVN

2011-09-09 Thread Gabriel Kerneis
On Thu, Sep 08, 2011 at 10:15:13AM -0700, George Necula wrote: > I have this information since I have a dump of the original svn repo. > Here are the tags that I see for the cil project: Thanks. I recovered the following versions, looking at how configure.in history: cil-1.0.0 cil-1.0.1 cil-1.0.