From mboxrd@z Thu Jan 1 00:00:00 1970 From: Luc Van Oostenryck Subject: Re: Sparse 0.5.1 RC5 released. Date: Mon, 14 Aug 2017 20:51:19 +0200 Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Return-path: Received: from mail-oi0-f67.google.com ([209.85.218.67]:34248 "EHLO mail-oi0-f67.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751603AbdHNSvU (ORCPT ); Mon, 14 Aug 2017 14:51:20 -0400 Received: by mail-oi0-f67.google.com with SMTP id v11so10109195oif.1 for ; Mon, 14 Aug 2017 11:51:20 -0700 (PDT) In-Reply-To: Sender: linux-sparse-owner@vger.kernel.org List-Id: linux-sparse@vger.kernel.org To: Dibyendu Majumdar Cc: Christopher Li , Linux-Sparse , Ramsay Jones , Lance Richardson , Michael Stefaniuc On Mon, Aug 14, 2017 at 6:54 PM, Dibyendu Majumdar wrote: > > I would rather just have the SSA construction bits first, without too > many other changes. I know and it's why I made the sssa-mini but it contains just that: only the minimal changes needed for the SSA construction on top of the current master. But at least you know what can be done with these fixes and where you can find them. -- Luc