From a8da723a62e8caf216eb10e4036e76b8e80edbc4949ebd71000d74318b873c4b Mon Sep 17 00:00:00 2001 From: Richard Biener Date: Tue, 11 Feb 2025 14:57:30 +0000 Subject: [PATCH] - update to 0.27: * improved modulo detection * remove all unused local variables from affine expressions * minor improvements to coalescing * minor improvements to lexicographic optimization * improved constraint simplification * fix handling of empty piecewise expressions - detect bounds on constant polynomials as tight - ignore parameters in isl_union_* hash tables - Update to ISL version 0.11 - Add baselibs.conf, needed by cloog-isl-32bit OBS-URL: https://build.opensuse.org/package/show/devel:libraries:c_c++/isl?expand=0&rev=52 --- .gitattributes | 23 +++++ .gitignore | 1 + baselibs.conf | 4 + isl-0.26.tar.xz | 3 + isl-0.27.tar.xz | 3 + isl.changes | 233 ++++++++++++++++++++++++++++++++++++++++++++++++ isl.spec | 82 +++++++++++++++++ 7 files changed, 349 insertions(+) create mode 100644 .gitattributes create mode 100644 .gitignore create mode 100644 baselibs.conf create mode 100644 isl-0.26.tar.xz create mode 100644 isl-0.27.tar.xz create mode 100644 isl.changes create mode 100644 isl.spec diff --git a/.gitattributes b/.gitattributes new file mode 100644 index 0000000..9b03811 --- /dev/null +++ b/.gitattributes @@ -0,0 +1,23 @@ +## Default LFS +*.7z filter=lfs diff=lfs merge=lfs -text +*.bsp filter=lfs diff=lfs merge=lfs -text +*.bz2 filter=lfs diff=lfs merge=lfs -text +*.gem filter=lfs diff=lfs merge=lfs -text +*.gz filter=lfs diff=lfs merge=lfs -text +*.jar filter=lfs diff=lfs merge=lfs -text +*.lz filter=lfs diff=lfs merge=lfs -text +*.lzma filter=lfs diff=lfs merge=lfs -text +*.obscpio filter=lfs diff=lfs merge=lfs -text +*.oxt filter=lfs diff=lfs merge=lfs -text +*.pdf filter=lfs diff=lfs merge=lfs -text +*.png filter=lfs diff=lfs merge=lfs -text +*.rpm filter=lfs diff=lfs merge=lfs -text +*.tbz filter=lfs diff=lfs merge=lfs -text +*.tbz2 filter=lfs diff=lfs merge=lfs -text +*.tgz filter=lfs diff=lfs merge=lfs -text +*.ttf filter=lfs diff=lfs merge=lfs -text +*.txz filter=lfs diff=lfs merge=lfs -text +*.whl filter=lfs diff=lfs merge=lfs -text +*.xz filter=lfs diff=lfs merge=lfs -text +*.zip filter=lfs diff=lfs merge=lfs -text +*.zst filter=lfs diff=lfs merge=lfs -text diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..57affb6 --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +.osc diff --git a/baselibs.conf b/baselibs.conf new file mode 100644 index 0000000..604004b --- /dev/null +++ b/baselibs.conf @@ -0,0 +1,4 @@ +libisl23 +isl-devel + requires -isl- + requires "libisl23- = " diff --git a/isl-0.26.tar.xz b/isl-0.26.tar.xz new file mode 100644 index 0000000..de4540b --- /dev/null +++ b/isl-0.26.tar.xz @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:a0b5cb06d24f9fa9e77b55fabbe9a3c94a336190345c2555f9915bb38e976504 +size 2035560 diff --git a/isl-0.27.tar.xz b/isl-0.27.tar.xz new file mode 100644 index 0000000..84e77af --- /dev/null +++ b/isl-0.27.tar.xz @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:6d8babb59e7b672e8cb7870e874f3f7b813b6e00e6af3f8b04f7579965643d5c +size 2056436 diff --git a/isl.changes b/isl.changes new file mode 100644 index 0000000..687957a --- /dev/null +++ b/isl.changes @@ -0,0 +1,233 @@ +------------------------------------------------------------------- +Mon Feb 10 14:22:27 UTC 2025 - Dirk Müller + +- update to 0.27: + * improved modulo detection + * remove all unused local variables from affine expressions + * minor improvements to coalescing + * minor improvements to lexicographic optimization + * improved constraint simplification + * fix handling of empty piecewise expressions + +------------------------------------------------------------------- +Mon Apr 3 18:52:21 UTC 2023 - Dirk Müller + +- update to 0.26: + * 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 + +------------------------------------------------------------------- +Mon Jul 18 20:16:49 UTC 2022 - Dirk Müller + +- update to 0.25: + * support (type safe) user object on id in bindings + * more exports to (templated C++) bindings + * add some convenience functions + +------------------------------------------------------------------- +Sun May 9 14:05:41 UTC 2021 - Dirk Müller + +- update to 0.24: + - improved (C++) bindings (inherit methods, renamed exports) + - initial templated C++ bindings + - detect bounds on constant polynomials as tight + +------------------------------------------------------------------- +Mon Jan 25 13:53:25 UTC 2021 - Andreas Schwab + +- Compile with %optflags + +------------------------------------------------------------------- +Tue Dec 29 17:29:04 UTC 2020 - Dirk Müller + +- update to 0.23: + - minor improvements to coalescing + - use build compiler to build extract_interface + - add some convenience functions + - ignore parameters in isl_union_* hash tables + +------------------------------------------------------------------- +Thu Feb 6 09:22:41 UTC 2020 - Martin Liška + +- Update to 0.22.1: + - fix error handling +- Remove isl_basic_map_underlying_set-fix.patch with is part + of the release. + +------------------------------------------------------------------- +Fri Jan 10 08:06:27 UTC 2020 - Martin Liška + +- Add isl_basic_map_underlying_set-fix.patch from upstream. + +------------------------------------------------------------------- +Fri Jan 3 10:57:47 UTC 2020 - Martin Liška + +- Update to 0.22: + * improved bindings + * scheduler fix involving fixed dimensions + * accept ranges in tuples during parsing + * add some convenience functions +- Update to 0.21: + * 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 + +------------------------------------------------------------------- +Thu Aug 9 22:28:01 UTC 2018 - rpm@fthiessen.de + +- Update to 0.20 + * 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 + +------------------------------------------------------------------- +Wed Mar 7 14:56:29 UTC 2018 - rguenther@suse.com + +- Update to 0.19 + * 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 + +------------------------------------------------------------------- +Wed Jan 31 12:50:45 UTC 2018 - jengelh@inai.de + +- Set shared library RPM group. Use %make_install. + +------------------------------------------------------------------- +Mon Jan 29 14:43:34 UTC 2018 - msrb@suse.com + +- Include pkgconfig files in isl-devel package. +- Do not build static libraries (instead of deleting them after). + +------------------------------------------------------------------- +Tue Jan 31 14:05:40 UTC 2017 - rguenther@suse.com + +- Update to 0.18 + * 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 +- Inherits update to 0.17.1 + * fix bug in coalescing treatment +- Inherits update to 0.17 + * 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 + +------------------------------------------------------------------- +Sun Feb 7 09:08:25 UTC 2016 - mpluskal@suse.com + +- Update to 0.16.1 + * fix bug in simplification +- Changes for 0.16 + * 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 + +------------------------------------------------------------------- +Sun Jan 31 20:54:43 UTC 2016 - mpluskal@suse.com + +- Use url for source +- Cleanup spec file with spec-cleaner +- Make building more verbose + +------------------------------------------------------------------- +Thu Dec 3 09:03:32 UTC 2015 - rguenther@suse.com + +- Update to ISL version 0.15 + * 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 +- Removes no longer needed isl-0.14-fixes.patch. + +------------------------------------------------------------------- +Thu Dec 4 09:23:01 UTC 2014 - rguenther@suse.com + +- Update to ISL version 0.14 + * support IMath as an optional replacement for GMP + * minor AST generator improvements +- Inherits changes from ISL version 0.13 + * 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 +- Add isl-0.14-fixes.patch to fix function returning without value. + +------------------------------------------------------------------- +Thu Feb 13 12:19:28 UTC 2014 - rguenther@suse.com + +- Update to ISL version 0.12.2 + * isl_int has been replaced by isl_val + * some of the old functions are still available in isl/deprecated/*.h + but they will be removed in the future + * The functions isl_pw_qpolynomial_eval, isl_union_pw_qpolynomial_eval, + isl_pw_qpolynomial_fold_eval and isl_union_pw_qpolynomial_fold_eval have + been changed to return an isl_val instead of an isl_qpolynomial +- Remove obsolete config-guess-sub-update.diff patch + +------------------------------------------------------------------- +Mon Jun 24 10:31:25 UTC 2013 - rguenther@suse.com + +- Update to ISL version 0.12 + * adds isl_val abstraction + +------------------------------------------------------------------- +Thu Feb 7 18:41:54 UTC 2013 - dmueller@suse.com + +- Add config-guess-sub-update.diff: + * Update config.guess/sub for aarch64 + +------------------------------------------------------------------- +Mon Dec 17 13:20:59 UTC 2012 - rguenther@suse.com + +- Update to ISL version 0.11.1 + * fixes endianess issue + * now comes with a LICENSE file + +------------------------------------------------------------------- +Tue Dec 4 15:37:14 UTC 2012 - rguenther@suse.com + +- Update to ISL version 0.11 + * license change to MIT + * add support for code generation + +------------------------------------------------------------------- +Thu Sep 27 09:13:25 UTC 2012 - idonmez@suse.com + +- Add baselibs.conf, needed by cloog-isl-32bit + +------------------------------------------------------------------- +Thu Jun 21 14:45:08 UTC 2012 - rguenther@suse.com + +- ISL 0.10 + diff --git a/isl.spec b/isl.spec new file mode 100644 index 0000000..af2abd4 --- /dev/null +++ b/isl.spec @@ -0,0 +1,82 @@ +# +# spec file for package isl +# +# Copyright (c) 2025 SUSE LLC +# +# All modifications and additions to the file contributed by third parties +# remain the property of their copyright owners, unless otherwise agreed +# upon. The license for this file, and modifications and additions to the +# file, is the same license as for the pristine package itself (unless the +# license for the pristine package is not an Open Source License, in which +# case the license is the MIT License). An "Open Source License" is a +# license that conforms to the Open Source Definition (Version 1.9) +# published by the Open Source Initiative. + +# Please submit bugfixes or comments via https://bugs.opensuse.org/ +# + + +%define islsover 23 +Name: isl +Version: 0.27 +Release: 0 +Summary: Integer Set Library +License: MIT +Group: Development/Languages/C and C++ +URL: https://libisl.sourceforge.io/ +Source: https://libisl.sourceforge.io/isl-%{version}.tar.xz +Source1: baselibs.conf +BuildRequires: gmp-devel +BuildRequires: pkgconfig + +%description +ISL is a library for manipulating sets and relations of integer points +bounded by linear constraints. +It is used by Cloog and the GCC Graphite optimization framework. + +%package devel +Summary: Development tools for ISL +Group: Development/Languages/C and C++ +Requires: libisl%{islsover} = %{version}-%{release} + +%description devel +Development tools and headers for the ISL. + +%package -n libisl%{islsover} +Summary: The ISL shared library +Group: System/Libraries + +%description -n libisl%{islsover} +The shared library for the ISL. + +ISL is a library for manipulating sets and relations of integer points +bounded by linear constraints. + +%prep +%setup -q + +%build +export CFLAGS_FOR_BUILD="%{optflags}" +%configure --disable-static +%make_build + +%check +%make_build check + +%install +%make_install +find %{buildroot} -type f -name "*.la" -delete -print +rm -f %{buildroot}%{_libdir}/libisl.so.*-gdb.py + +%post -n libisl%{islsover} -p /sbin/ldconfig +%postun -n libisl%{islsover} -p /sbin/ldconfig + +%files -n libisl%{islsover} +%{_libdir}/libisl.so.%{islsover}* + +%files devel +%{_includedir}/isl +%{_libdir}/libisl.so +%{_libdir}/pkgconfig/%{name}.pc + +%changelog -- 2.51.1