Compare commits
2 Commits
| Author | SHA256 | Date | |
|---|---|---|---|
| c801d8390a | |||
| a8da723a62 |
BIN
isl-0.26.tar.xz
LFS
BIN
isl-0.26.tar.xz
LFS
Binary file not shown.
BIN
isl-0.27.tar.xz
LFS
Normal file
BIN
isl-0.27.tar.xz
LFS
Normal file
Binary file not shown.
11
isl.changes
11
isl.changes
@@ -1,3 +1,14 @@
|
|||||||
|
-------------------------------------------------------------------
|
||||||
|
Mon Feb 10 14:22:27 UTC 2025 - Dirk Müller <dmueller@suse.com>
|
||||||
|
|
||||||
|
- 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 <dmueller@suse.com>
|
Mon Apr 3 18:52:21 UTC 2023 - Dirk Müller <dmueller@suse.com>
|
||||||
|
|
||||||
|
|||||||
4
isl.spec
4
isl.spec
@@ -1,7 +1,7 @@
|
|||||||
#
|
#
|
||||||
# spec file for package isl
|
# spec file for package isl
|
||||||
#
|
#
|
||||||
# Copyright (c) 2023 SUSE LLC
|
# Copyright (c) 2025 SUSE LLC
|
||||||
#
|
#
|
||||||
# All modifications and additions to the file contributed by third parties
|
# All modifications and additions to the file contributed by third parties
|
||||||
# remain the property of their copyright owners, unless otherwise agreed
|
# remain the property of their copyright owners, unless otherwise agreed
|
||||||
@@ -18,7 +18,7 @@
|
|||||||
|
|
||||||
%define islsover 23
|
%define islsover 23
|
||||||
Name: isl
|
Name: isl
|
||||||
Version: 0.26
|
Version: 0.27
|
||||||
Release: 0
|
Release: 0
|
||||||
Summary: Integer Set Library
|
Summary: Integer Set Library
|
||||||
License: MIT
|
License: MIT
|
||||||
|
|||||||
Reference in New Issue
Block a user