X-Recipient: archive-cygwin AT delorie DOT com DomainKey-Signature: a=rsa-sha1; c=nofws; d=sourceware.org; h=list-id :list-unsubscribe:list-subscribe:list-archive:list-post :list-help:sender:reply-to:from:to:subject:date:message-id :mime-version:content-type; q=dns; s=default; b=Py8cd+8390WiJLDD ViVU5Z72OWzopNUVyVnTrrq2RJw2SmQ0OxRrrBn92knwU79UCrYHuNfpF2xh8xTS Td0YLFAFyNXa5jVmK70L66lZdkMrXQOEwAjMum1gZa+WAcsxRvywtVnuIVkIqNRY STYEqRkGF0xKHnMaJiWw15wxd3s= DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=sourceware.org; h=list-id :list-unsubscribe:list-subscribe:list-archive:list-post :list-help:sender:reply-to:from:to:subject:date:message-id :mime-version:content-type; s=default; bh=eXO0hvxN4h2u8GgyfJiQco KlD6Q=; b=UW7M720jvCqKO+Vmd7ZgPTRlVIPn8TcgE8sxNfYW0OUyX5BwbEvhQW MmRwk/LA1VSaL/IhnVNwmXtsoBC1D6POWmVKoPmdnrCR2MUPFH40xxZO2C9Bd8NJ ui2hflR/NHGJAUc82XAHYuYU8yPMhwSgqRu2xD/XzB1cdwVDpjMYc= Mailing-List: contact cygwin-help AT cygwin DOT com; run by ezmlm List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: cygwin-owner AT cygwin DOT com Mail-Followup-To: cygwin AT cygwin DOT com Delivered-To: mailing list cygwin AT cygwin DOT com Authentication-Results: sourceware.org; auth=none X-Spam-SWARE-Status: No, score=0.5 required=5.0 tests=ALL_TRUSTED,AWL,BAYES_50,KAM_NUMSUBJECT,UNSUBSCRIBE_BODY autolearn=no version=3.3.1 spammy=INFO, cygwin-announce, CYGWIN-ANNOUNCE, CYGWINANNOUNCE X-HELO: localhost.localdomain Reply-To: cygwin AT cygwin DOT com Authentication-Results: sourceware.org; auth=none From: Achim Gratz To: cygwin AT cygwin DOT com Subject: [ANNOUNCEMENT] Re-Released: isl-0.22.1-2 Date: Mon, 02 Mar 2020 18:03:52 +0100 Message-Id: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain The current version of isl is re-released for Cygwin. This release is now compiled by gcc-9.2.0 and the "isl" package, which has been empty for some time, has been obsoleted. ISL is a library for manipulating sets and relations of integer points bounded by linear constraints. Supported operations on sets include intersection, union, set difference, emptiness check, convex hull, (integer) affine hull, integer projection, and computing the lexicographic minimum using parametric integer programming. It also includes an ILP solver based on generalized basis reduction and operations geared towards polyhedral compilation such as dependence analysis, scheduling, and AST generation. -- *** CYGWIN-ANNOUNCE UNSUBSCRIBE INFO *** If you want to unsubscribe from the cygwin-announce mailing list, look at the "List-Unsubscribe: " tag in the email header of this message. Send email to the address specified there. It will be in the format: cygwin-announce-unsubscribe-you=yourdomain DOT com AT cygwin DOT com If you need more information on unsubscribing, start reading here: http://sourceware.org/lists.html#unsubscribe-simple Please read *all* of the information on unsubscribing that is available starting at this URL. -- Problem reports: http://cygwin.com/problems.html FAQ: http://cygwin.com/faq/ Documentation: http://cygwin.com/docs.html Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple