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

2011-09-08 Thread George Necula
Gabriel, 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: cil-release-1-2-1r4645 cil-release-1-2-3r5132 cil-release-1-2-4r5237 cil-release-1-2-5r5708 cil-release-1-2-6r6118 cil-release-1-3-3r6555 cil-r

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

2011-09-08 Thread Gabriel Kerneis
On Thu, Sep 08, 2011 at 12:54:34PM +0200, Gabriel Kerneis wrote: > I only miss svn tags, that I unfortunately forgot to clone. Does anybody on > this list have a copy of the svn and could send me the commits corresponding > to > each tag? Please, ignore this request. I've been able to reconstru

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

2011-09-08 Thread Gabriel Kerneis
On Fri, Sep 02, 2011 at 07:31:14AM -0700, George Necula wrote: > A few days ago we had to take the hal.cs off the network. I have saved > the cil svn repository, and I was looking for another home for it. > Gabriel, I made you administrator for the sourceforge project. Many thanks. I am almost do