From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:34230) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cZGCK-00015y-MM for qemu-devel@nongnu.org; Thu, 02 Feb 2017 07:09:09 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cZGCG-0005oR-Jc for qemu-devel@nongnu.org; Thu, 02 Feb 2017 07:09:08 -0500 Received: from mx0.kent.ac.uk ([129.12.21.32]:60629) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1cZGCG-0005nU-DO for qemu-devel@nongnu.org; Thu, 02 Feb 2017 07:09:04 -0500 Received: from ex13-live-mbn2.kent.ac.uk ([129.12.20.195] helo=ex13-live-mbn2.ad.kent.ac.uk) by mx0.kent.ac.uk with esmtps (TLSv1.2:DHE-RSA-AES256-GCM-SHA384:256) (Exim 4.84_2) (envelope-from ) id 1cZGCE-0002b9-QJ for qemu-devel@nongnu.org; Thu, 02 Feb 2017 12:09:02 +0000 From: E.Robbins Date: Thu, 2 Feb 2017 12:09:02 +0000 Message-ID: <24f4e37d0c554e379d13a13026efb36f@ex13-live-mbn2.ad.kent.ac.uk> Content-Language: en-GB Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 Subject: [Qemu-devel] TCG semantics List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: "qemu-devel@nongnu.org" Hello, I having been looking for prior work on a formalised semantics for the TCG = language. I have seen passing references, and wondered if anyone can provid= e any pointers? If this is the wrong list for this question, apologies, please direct me el= sewhere. Best, Ed=