Greetings, and thanks! This should be cleared now.
Take care,
Robert Boyer <[EMAIL PROTECTED]> writes:
> Here is a nonsuccinct but dumb bug report on the GCL
> compiler in today's GCL 2.7.0.
>
> Running the Gabriel benchmark named 'browse' at safety=3
> does not cause an error, but running it
Greetings, and thanks!
This is fixed here locally -- will let you know when a commit is in,
as it will likely also entail the faster mv stuff. Might want to do
another local save in case of temporary instability.
This stuff is tricky, but thus far we've cut the mv call time by about
half depend
Greetings, and thanks! This should be fixed now.
Take care,
Robert Boyer <[EMAIL PROTECTED]> writes:
> Below is essentially ANSI test MAX.5, which causes a segmentation violation.
> It is also the reason that "make test-compiled" won't complete.
>
> I do not know whether this might be a static
Greetings, and thanks! Believe this is fixed now.
Take care,
Robert Boyer <[EMAIL PROTECTED]> writes:
> I believe that the following transcript illustrates some sort of problem with
> the compiler in the current 2.7.0. There was no complaint from GCL 2.6.6 or
> Allegro.
>
> Bob
>
> -
Greetings! I believe this is fixed now in cvs head. Working on a t5
cleanup tag.
Take care,
Robert Boyer <[EMAIL PROTECTED]> writes:
> Just got t4 and tried to compile ACL2 but it quickly broke in the earliest
> part of compilation. Here is any easy demo of the problem.
>
> 1. Be connected t
Greetings, and thanks! I believe this is fixed in t4 -- please let me
know if not.
Take care,
Robert Boyer <[EMAIL PROTECTED]> writes:
> I believe that the following is a compiler bug in the newest 2.7.0.
>
> In the following, I define the function fiddle and call it; as a result "HI"
> is pri
