From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 7682 invoked by alias); 21 Apr 2008 19:36:52 -0000 Received: (qmail 7672 invoked by uid 22791); 21 Apr 2008 19:36:51 -0000 X-Spam-Check-By: sourceware.org Received: from mx1.redhat.com (HELO mx1.redhat.com) (66.187.233.31) by sourceware.org (qpsmtpd/0.31) with ESMTP; Mon, 21 Apr 2008 19:36:34 +0000 Received: from int-mx1.corp.redhat.com (int-mx1.corp.redhat.com [172.16.52.254]) by mx1.redhat.com (8.13.8/8.13.8) with ESMTP id m3LJaW6w010597; Mon, 21 Apr 2008 15:36:32 -0400 Received: from pobox-3.corp.redhat.com (pobox-3.corp.redhat.com [10.11.255.67]) by int-mx1.corp.redhat.com (8.13.1/8.13.1) with ESMTP id m3LJaG7I006637; Mon, 21 Apr 2008 15:36:31 -0400 Received: from touchme.toronto.redhat.com (IDENT:postfix@touchme.yyz.redhat.com [10.15.16.9]) by pobox-3.corp.redhat.com (8.13.1/8.13.1) with ESMTP id m3LJZqh3003865; Mon, 21 Apr 2008 15:36:16 -0400 Received: from ton.toronto.redhat.com (ton.yyz.redhat.com [10.15.16.15]) by touchme.toronto.redhat.com (Postfix) with ESMTP id 67B728001FF; Mon, 21 Apr 2008 15:35:35 -0400 (EDT) Received: from ton.toronto.redhat.com (localhost.localdomain [127.0.0.1]) by ton.toronto.redhat.com (8.13.1/8.13.1) with ESMTP id m3LJZIMP028123; Mon, 21 Apr 2008 15:35:18 -0400 Received: (from fche@localhost) by ton.toronto.redhat.com (8.13.1/8.13.1/Submit) id m3LJZIDg028122; Mon, 21 Apr 2008 15:35:18 -0400 Date: Tue, 22 Apr 2008 17:18:00 -0000 From: "Frank Ch. Eigler" To: Kai Henningsen Cc: cgen@sources.redhat.com Subject: Re: Some CGEN problems Message-ID: <20080421193518.GA26670@redhat.com> References: <7af24c80804191023q318f850do9db5458352163d19@mail.gmail.com> <7af24c80804211206x6e0f505fo1748b3af85a6d397@mail.gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <7af24c80804211206x6e0f505fo1748b3af85a6d397@mail.gmail.com> User-Agent: Mutt/1.4.1i X-IsSubscribed: yes Mailing-List: contact cgen-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: cgen-owner@sourceware.org X-SW-Source: 2008-q2/txt/msg00009.txt.bz2 Hi - On Mon, Apr 21, 2008 at 09:06:08PM +0200, Kai Henningsen wrote: > [...] What it mainly is is wondering what I might have missed - > it's hard to believe these particular problems weren't apparent > pretty much from the start, and thus it's hard to believe nobody > tried to solve them a long time ago. [...] The architectures for which a cgen model had been built (and some of them are pretty "far out") must not have needed the logical completeness you envision. - FChE