head 1.12; access; symbols pkgsrc-2023Q4:1.11.0.6 pkgsrc-2023Q4-base:1.11 pkgsrc-2023Q3:1.11.0.4 pkgsrc-2023Q3-base:1.11 pkgsrc-2023Q2:1.11.0.2 pkgsrc-2023Q2-base:1.11 pkgsrc-2023Q1:1.10.0.16 pkgsrc-2023Q1-base:1.10 pkgsrc-2022Q4:1.10.0.14 pkgsrc-2022Q4-base:1.10 pkgsrc-2022Q3:1.10.0.12 pkgsrc-2022Q3-base:1.10 pkgsrc-2022Q2:1.10.0.10 pkgsrc-2022Q2-base:1.10 pkgsrc-2022Q1:1.10.0.8 pkgsrc-2022Q1-base:1.10 pkgsrc-2021Q4:1.10.0.6 pkgsrc-2021Q4-base:1.10 pkgsrc-2021Q3:1.10.0.4 pkgsrc-2021Q3-base:1.10 pkgsrc-2021Q2:1.10.0.2 pkgsrc-2021Q2-base:1.10 pkgsrc-2021Q1:1.8.0.36 pkgsrc-2021Q1-base:1.8 pkgsrc-2020Q4:1.8.0.34 pkgsrc-2020Q4-base:1.8 pkgsrc-2020Q3:1.8.0.32 pkgsrc-2020Q3-base:1.8 pkgsrc-2020Q2:1.8.0.28 pkgsrc-2020Q2-base:1.8 pkgsrc-2020Q1:1.8.0.8 pkgsrc-2020Q1-base:1.8 pkgsrc-2019Q4:1.8.0.30 pkgsrc-2019Q4-base:1.8 pkgsrc-2019Q3:1.8.0.26 pkgsrc-2019Q3-base:1.8 pkgsrc-2019Q2:1.8.0.24 pkgsrc-2019Q2-base:1.8 pkgsrc-2019Q1:1.8.0.22 pkgsrc-2019Q1-base:1.8 pkgsrc-2018Q4:1.8.0.20 pkgsrc-2018Q4-base:1.8 pkgsrc-2018Q3:1.8.0.18 pkgsrc-2018Q3-base:1.8 pkgsrc-2018Q2:1.8.0.16 pkgsrc-2018Q2-base:1.8 pkgsrc-2018Q1:1.8.0.14 pkgsrc-2018Q1-base:1.8 pkgsrc-2017Q4:1.8.0.12 pkgsrc-2017Q4-base:1.8 pkgsrc-2017Q3:1.8.0.10 pkgsrc-2017Q3-base:1.8 pkgsrc-2017Q2:1.8.0.6 pkgsrc-2017Q2-base:1.8 pkgsrc-2017Q1:1.8.0.4 pkgsrc-2017Q1-base:1.8 pkgsrc-2016Q4:1.8.0.2 pkgsrc-2016Q4-base:1.8 pkgsrc-2016Q3:1.7.0.12 pkgsrc-2016Q3-base:1.7 pkgsrc-2016Q2:1.7.0.10 pkgsrc-2016Q2-base:1.7 pkgsrc-2016Q1:1.7.0.8 pkgsrc-2016Q1-base:1.7 pkgsrc-2015Q4:1.7.0.6 pkgsrc-2015Q4-base:1.7 pkgsrc-2015Q3:1.7.0.4 pkgsrc-2015Q3-base:1.7 pkgsrc-2015Q2:1.7.0.2 pkgsrc-2015Q2-base:1.7 pkgsrc-2015Q1:1.6.0.2 pkgsrc-2015Q1-base:1.6 pkgsrc-2014Q4:1.5.0.6 pkgsrc-2014Q4-base:1.5 pkgsrc-2014Q3:1.5.0.4 pkgsrc-2014Q3-base:1.5 pkgsrc-2014Q2:1.5.0.2 pkgsrc-2014Q2-base:1.5 pkgsrc-2014Q1:1.4.0.2 pkgsrc-2014Q1-base:1.4 pkgsrc-2013Q4:1.3.0.6 pkgsrc-2013Q4-base:1.3 pkgsrc-2013Q3:1.3.0.4 pkgsrc-2013Q3-base:1.3 pkgsrc-2013Q2:1.3.0.2 pkgsrc-2013Q2-base:1.3 pkgsrc-2013Q1:1.2.0.2 pkgsrc-2013Q1-base:1.2; locks; strict; comment @# @; 1.12 date 2023.12.31.09.51.42; author wiz; state Exp; branches; next 1.11; commitid n0DesmEYWF1ZkBSE; 1.11 date 2023.05.03.18.16.47; author wiz; state Exp; branches; next 1.10; commitid vfPjoKyUC58xUxnE; 1.10 date 2021.05.02.17.47.30; author adam; state Exp; branches; next 1.9; commitid Mw333kXDPi17fBRC; 1.9 date 2021.04.22.12.03.39; author adam; state Exp; branches; next 1.8; commitid RGtOHDc3A40fFhQC; 1.8 date 2016.10.06.22.03.56; author wiz; state Exp; branches; next 1.7; commitid cxq653ByL0nij8pz; 1.7 date 2015.04.10.01.54.45; author mef; state Exp; branches; next 1.6; commitid ECnJxe9UpbOE8Zgy; 1.6 date 2015.01.18.09.20.21; author mef; state Exp; branches; next 1.5; commitid FaAc1qw4SFTWeu6y; 1.5 date 2014.04.25.09.11.49; author wiz; state Exp; branches; next 1.4; commitid kOWv4KdA6ccdO2yx; 1.4 date 2014.02.25.09.18.25; author adam; state Exp; branches; next 1.3; commitid Ep7d189PYaj0Ksqx; 1.3 date 2013.04.16.06.47.15; author adam; state Exp; branches; next 1.2; 1.2 date 2013.02.19.19.45.44; author wiz; state Exp; branches; next 1.1; 1.1 date 2013.02.17.22.10.47; author wiz; state Exp; branches; next ; desc @@ 1.12 log @isl: update to 0.26. version: 0.26 date: Sat Apr 1 05:10:53 PM CEST 2023 changes: - fix inherited overloaded methods in Python bindings - decompose topological sort of clusters in incremental scheduler - improved isl_pw_aff_list_{min,max} - add some convenience functions - more exports to (templated C++) bindings - slightly improved conversion from binary relation to function --- version: 0.25 date: Sat 02 Jul 2022 11:14:57 AM CEST changes: - support (type safe) user object on id in bindings - more exports to (templated C++) bindings - add some convenience functions @ text @# $NetBSD: Makefile,v 1.11 2023/05/03 18:16:47 wiz Exp $ DISTNAME= isl-0.26 CATEGORIES= math MASTER_SITES= https://libisl.sourceforge.io/ EXTRACT_SUFX= .tar.xz MAINTAINER= pkgsrc-users@@NetBSD.org HOMEPAGE= https://libisl.sourceforge.io/ COMMENT= Integer set library required by gcc graphite LICENSE= mit USE_LANGUAGES= c c++ USE_LIBTOOL= yes GNU_CONFIGURE= yes TEST_TARGET= check .include "../../devel/gmp/buildlink3.mk" .include "../../mk/bsd.pkg.mk" @ 1.11 log @isl: update HOMEPAGE and MASTER_SITES @ text @d1 1 a1 1 # $NetBSD: Makefile,v 1.10 2021/05/02 17:47:30 adam Exp $ d3 1 a3 1 DISTNAME= isl-0.24 @ 1.10 log @isl: updated to 0.24 version: 0.24 - improved (C++) bindings (inherit methods, renamed exports) - initial templated C++ bindings - detect bounds on constant polynomials as tight @ text @d1 1 a1 1 # $NetBSD: Makefile,v 1.9 2021/04/22 12:03:39 adam Exp $ d5 1 a5 1 MASTER_SITES= http://isl.gforge.inria.fr/ d9 1 a9 1 HOMEPAGE= http://isl.gforge.inria.fr/ @ 1.9 log @isl: updated to 0.23 version: 0.23 date: Sun 01 Nov 2020 02:41:20 PM CET changes: - minor improvements to coalescing - use build compiler to build extract_interface - add some convenience functions - ignore parameters in isl_union_* hash tables --- version: 0.22.1 date: Sun Jan 12 10:48:18 CET 2020 changes: - fix error handling --- version: 0.22 date: Fri Nov 1 18:39:30 CET 2019 changes: - require C++11 to generate bindings - improved bindings - scheduler fix involving fixed dimensions - accept ranges in tuples during parsing - add some convenience functions --- version: 0.21 date: Sat Mar 9 15:25:29 CET 2019 changes: - preliminary C++ bindings - use incremental scheduler by default - introduce isl_size type - rename isl_ast_op_type to isl_ast_expr_op_type - fix coalescing bugs - use isl_bool to return extra boolean argument --- version: 0.20 date: Sat Jul 21 18:10:08 CEST 2018 changes: - keep track of domain in 0D isl_multi_pw_aff and isl_multi_union_pw_aff - add isl_aff_eval and isl_pw_aff_eval - add fixed-size rectangular box hull --- version: 0.19 date: Sat Mar 3 10:44:49 CET 2018 changes: - minor improvements to coalescing - minor improvement to parametric integer programming - try harder to avoid large coefficients in scheduler - support kill accesses in dependence analysis - drop deprecated isl_int - drop deprecated band forests - drop deprecated functions --- version: 0.18 date: Sun Dec 18 11:01:58 CET 2016 changes: - improve elimination of redundant existentially quantified variables - improve coalescing - improve parametric integer programming - preserve isolate option in isl_schedule_node_band_split - print AST nodes in YAML format - minor improvements to Python bindings @ text @d1 1 a1 1 # $NetBSD: Makefile,v 1.8 2016/10/06 22:03:56 wiz Exp $ d3 1 a3 1 DISTNAME= isl-0.23 @ 1.8 log @Updated isl to 0.17.1. Provided by Kai-Uwe Eckhardt in private mail. version: 0.17.1 date: Fri May 6 12:02:48 CEST 2016 changes: - fix bug in coalescing treatment --- version: 0.17 date: Tue May 3 14:26:43 CEST 2016 changes: - optionally combine SCCs incrementally in scheduler - optionally maximize coincidence in scheduler - optionally avoid loop coalescing in scheduler - fix handling of nested integer divisions - optionally detect min/max expressions during AST generation - minor AST generator improvements - simplify stride constraints - improve support for expansions in schedule trees --- version: 0.16.1 date: Thu Jan 14 18:08:06 CET 2016 changes: - fix bug in simplification --- version: 0.16 date: Tue Jan 12 09:56:16 CET 2016 changes: - add 32 bit integer optimization for IMath - minor AST generator improvements - add isl_union_flow_get_full_{may,must}_dependence - minor improvements to Python bindings - minor improvements to set and map printing --- version: 0.15 date: Thu Jun 11 12:45:33 CEST 2015 changes: - improve coalescing - add isl_union_access_info_compute_flow - add mark nodes in AST - add isl_union_pw_aff and isl_multi_union_pw_aff - add schedule trees - deprecate band forests - deprecate separation_class AST generation option - introduce isl_bool and isl_stat types @ text @d1 1 a1 1 # $NetBSD: Makefile,v 1.7 2015/04/10 01:54:45 mef Exp $ d3 1 a3 1 DISTNAME= isl-0.17.1 d6 1 a6 1 EXTRACT_SUFX= .tar.bz2 d13 3 a15 4 USE_LANGUAGES= c c++ USE_LIBTOOL= yes GNU_CONFIGURE= yes @ 1.7 log @Update 0.14 to 0.14.1 --------------------- version: 0.14.1 date: Thu Apr 9 12:57:23 CEST 2015 changes: - fix bug in affine expression normalization - fix handling of conditional validity constraints @ text @d1 1 a1 1 # $NetBSD: Makefile,v 1.6 2015/01/18 09:20:21 mef Exp $ d3 1 a3 1 DISTNAME= isl-0.14.1 @ 1.6 log @Update 0.13 to 0.14 version: 0.14 date: Sat Oct 25 16:08:47 CEST 2014 changes: - support IMath as an optional replacement for GMP - minor AST generator improvements @ text @d1 1 a1 1 # $NetBSD: Makefile,v 1.5 2014/04/25 09:11:49 wiz Exp $ d3 1 a3 1 DISTNAME= isl-0.14 @ 1.5 log @Update to 0.13: version: 0.13 date: Mon Apr 14 11:08:45 CEST 2014 changes: - deprecate isl_int - improved support for multi piecewise quasi-affine expressions - allow the user to impose a bound on the number of low-level operations - add isl_id_to_ast_expr and isl_id_to_pw_aff - add isl_schedule_constraints - hide internal structure of isl_vec - remove support for piplib @ text @d1 1 a1 1 # $NetBSD: Makefile,v 1.4 2014/02/25 09:18:25 adam Exp $ d3 1 a3 1 DISTNAME= isl-0.13 @ 1.4 log @Changes 0.12.2: - MinGW-w64 build fix - fix simplification bug @ text @d1 1 a1 1 # $NetBSD: Makefile,v 1.3 2013/04/16 06:47:15 adam Exp $ d3 1 a3 1 DISTNAME= isl-0.12.2 @ 1.3 log @Changes 0.11.2: * make code generation output the same on Solaris * fix some hard to trigger bugs @ text @d1 1 a1 1 # $NetBSD: Makefile,v 1.2 2013/02/19 19:45:44 wiz Exp $ d3 1 a3 1 DISTNAME= isl-0.11.2 d5 1 a5 2 MASTER_SITES= http://garage.kotnet.org/~skimo/isl/ \ ${MASTER_SITE_GNU:=gcc/infrastructure/} d9 1 a9 1 HOMEPAGE= http://garage.kotnet.org/~skimo/isl/ a15 1 CONFIGURE_ARGS+= --with-gmp=${BUILDLINK_PREFIX.gmpl} @ 1.2 log @Add TEST_TARGET. @ text @d1 1 a1 1 # $NetBSD: Makefile,v 1.1 2013/02/17 22:10:47 wiz Exp $ d3 1 a3 1 DISTNAME= isl-0.11.1 d5 2 a6 1 MASTER_SITES= ${MASTER_SITE_GNU:=gcc/infrastructure/} d10 1 a11 1 HOMEPAGE= http://repo.or.cz/w/isl.git d14 3 a16 4 GNU_CONFIGURE= yes USE_LANGUAGES= c c++ USE_LIBTOOL= yes @ 1.1 log @Import isl-0.11.1 as math/isl, packaged for wip by Kai-Uwe Eckhardt. 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. @ text @d1 1 a1 1 # $NetBSD$ d19 2 @