Re: [IDEA+RFC] Possible solution for min()/max() war

From: Roman Zippel (zippel@linux-m68k.org)
Date: Fri Aug 31 2001 - 13:52:51 EST

Next message: Daniel Phillips: "Re: Memory Problem in 2.4.10-pre2 / __alloc_pages failed"
Previous message: jlnance@intrex.net: "How to get time of last runqueue transition."
In reply to: Andy Chou: "Re: [IDEA+RFC] Possible solution for min()/max() war"
Next in thread: Ted Unangst: "Re: [IDEA+RFC] Possible solution for min()/max() war"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi,

Andy Chou wrote:

> SVC isn't the "Stanford Checker" that has been resulting in kernel
> patches. The name "Stanford Checker" was invented by people on LKML; the
> real name of the project is Meta-level compilation, and its URL is:
>
> http://hands.stanford.edu

Sorry, I should have checked it more carefully.
(bad google... :) )

bye, Roman
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/

Next message: Daniel Phillips: "Re: Memory Problem in 2.4.10-pre2 / __alloc_pages failed"
Previous message: jlnance@intrex.net: "How to get time of last runqueue transition."
In reply to: Andy Chou: "Re: [IDEA+RFC] Possible solution for min()/max() war"
Next in thread: Ted Unangst: "Re: [IDEA+RFC] Possible solution for min()/max() war"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b29 : Fri Aug 31 2001 - 21:00:35 EST