-release-1-3-5r8097
As you can see not all revisions were tagged. From looking at the
logs I see the following other releases:
1.3.2 r6554
1.3.4 r7596
1.3.6. r9211
George.
On Thu, Sep 8, 2011 at 3:54 AM, Gabriel Kerneis wrote:
> On Fri, Sep 02, 2011 at 07:31:14AM -0700, George Nec
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.
George.
On Fri, Sep 2, 2011 at 2:11 AM, Gabriel Kerneis wrote:
> On Thu, Sep 01, 2011 at 06:45
You are correct, this is a bug.
George.
On Thu, Oct 14, 2010 at 5:57 AM, Gabriel Kerneis wrote:
> Hello Pascal,
>
> On Wed, Sep 29, 2010 at 03:38:05PM +0200, Pascal Cuoq wrote:
>> I just noticed a bug in
>> http://www.eecs.berkeley.edu/~necula/cil/cil016.html#toc32
>
> This is now fixed in svn (
Hi,
I am in favor of moving the repository to sourceforge.
The current problem with the svn repository is that the different
people check out the repository with different kind of credentials
(some have an account on hal, others have an svnguest account on hal,
and others have neither). It see
