From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTP id 79ADB5D5 for ; Sat, 5 May 2018 06:50:49 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.49,365,1520895600"; d="scan'208";a="325854508" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 05 May 2018 08:50:35 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 8EA7E8244E; Sat, 5 May 2018 08:50:35 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 192D88240C for ; Sat, 5 May 2018 08:50:30 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=rich@annexia.org; spf=Pass smtp.mailfrom=rich@annexia.org; spf=Pass smtp.helo=postmaster@annexia.org IronPort-PHdr: =?us-ascii?q?9a23=3AOhLbyh2PZKGGKfXfsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?se0fI/ad9pjvdHbS+e9qxAeQG9mDsLQc06L/iOPJYSQ4+5GPsXQPItRndiQuro?= =?us-ascii?q?EopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZv?= =?us-ascii?q?JuTyB4Xek9m72/q99pHPbQhEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+?= =?us-ascii?q?VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfM?= =?us-ascii?q?QA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb5Sq06WSm576dzVhDnlD?= =?us-ascii?q?sHOTA+8GHSkMNwjaRbqw+lqxFwx4PYZYeYP+d8cKzAZ9MXXWRPUMZPWSJcAY2z?= =?us-ascii?q?YJcAAPcPMutDs4nxu0EDoQeiCQS2Gu/izCJDiH/s3a091uQsCQ/K0hAhH90SsH?= =?us-ascii?q?Tbts/1O7oPWu+11qXGyi/PZO5S1zf67ojHbAshrf+RVr93a8rRyFUgFwPeg1qK?= =?us-ascii?q?r4zlOS2a1+sMs2eB9eZgUvivi2E+pgx3vzOhyMAsiozTiYIUzFDJ7Sp5wIEyJd?= =?us-ascii?q?23TE50f8SoH4dXtyGfMYZ9X8AsQ3lwtSs51rEKo5+2cSsQxJkj2hLTceGLfoqJ?= =?us-ascii?q?7x/lSe2fOy13hGh/d7K6nxuy8Vavyun7VsSsyllKqCxFncfDt3AMzRPf8M+HSu?= =?us-ascii?q?Fy/ku52DaP0R7c6v1cLE03iabXMZ8sz70qmpcXrEjPBDL6lUf3gaOOc0Ur4Omo?= =?us-ascii?q?6+DpYrX8oZ+cMpd5ihv/MqsymsyyGv43Mg4IX2eF9uW81afs8Vf+QLVQgf06ir?= =?us-ascii?q?PZv4zCJcQHuq65BBdY3Zo55Ba6CzeqydAYnXgcLFJZYx+HlIjoO1TWIP/iF/u/?= =?us-ascii?q?glKskC1qx//cJLHhDI/NfTD/l+LqdLN5rkpd0xYbzNZF5psSBKtFaNTyUUj1Pc?= =?us-ascii?q?fvKR00PwWD6Wr9QIF714gZXWuURKibPa/b91WB/MorLvmNao5TszH4fasL/fnr?= =?us-ascii?q?2DUDmFQddLOllaRRTTbwPPNgLl7TKS72g9wBOW4MuAcuTeWsj0eNB20AL02uVr?= =?us-ascii?q?4xs2loQLmtCp3OE9z82e3T7GKABpRTI1t+JBWJGHbseZ+DXq5XOiuUJMJxkzVC?= =?us-ascii?q?UqKuGdZ4iUOe8TTiwr8iFdL6vzUCvMu4htFz4eDDlBh08iZ7XZzEjjO9Clpsl2?= =?us-ascii?q?ZNfAcYmaBypUskkQWK1651k/1RU9tJ6KEQXw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DKCQACVO1a/7BbRFBcHgEGDINEYXoom?= =?us-ascii?q?GNLBoI3lEIDUwslBgGGehoGAQQzFQECAQEBAQEBAQEBaxwMQhABgWIMgyh7EyE?= =?us-ascii?q?tIQGFGRELqn+EWINvgjMFiCURez5JgQ4Bgl2DPwIChzICmB4IAoE3hCyIXYEyA?= =?us-ascii?q?Ys1iUKHBoElMiIzgR99CIJ/hXuKUz4xAXYBhVaJYgEB?= X-IPAS-Result: =?us-ascii?q?A0DKCQACVO1a/7BbRFBcHgEGDINEYXoomGNLBoI3lEIDUws?= =?us-ascii?q?lBgGGehoGAQQzFQECAQEBAQEBAQEBaxwMQhABgWIMgyh7EyEtIQGFGRELqn+EW?= =?us-ascii?q?INvgjMFiCURez5JgQ4Bgl2DPwIChzICmB4IAoE3hCyIXYEyAYs1iUKHBoElMiI?= =?us-ascii?q?zgR99CIJ/hXuKUz4xAXYBhVaJYgEB?= X-IronPort-AV: E=Sophos;i="5.49,365,1520895600"; d="scan'208";a="264406917" Received: from annexia.org ([80.68.91.176]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 05 May 2018 08:50:29 +0200 Received: from rich by annexia.org with local (Exim 4.89) (envelope-from ) id 1fEr1W-0004VQ-K4; Sat, 05 May 2018 07:50:26 +0100 Date: Sat, 5 May 2018 07:50:26 +0100 From: "Richard W.M. Jones" To: caml-list@inria.fr, =?iso-8859-1?Q?Nicol=E1s_Ojeda_B=E4r?= Message-ID: <20180505065026.y7uf3pypmbht6bsc@annexia.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: NeoMutt/20170113 (1.7.2) Subject: [Caml-list] Instruction sequences, compressed instructions in the RISC-V port Reply-To: "Richard W.M. Jones" X-Loop: caml-list@inria.fr X-Sequence: 16875 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: This thread may be of interest: https://groups.google.com/a/groups.riscv.org/forum/#!topic/isa-dev/tbHF-lvV-oU Rich. -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs