./math/isl, Integer set library required by gcc graphite

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]


Branch: CURRENT, Version: 0.24, Package name: isl-0.24, Maintainer: pkgsrc-users

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.


Required to run:
[devel/gmp]

Required to build:
[pkgtools/cwrappers]

Master sites:

Filesize: 1885.699 KB

Version history: (Expand)


CVS history: (Expand)


   2021-10-26 12:56:13 by Nia Alarie | Files touched by this commit (458)
Log message:
math: Replace RMD160 checksums with BLAKE2s checksums

All checksums have been double-checked against existing RMD160 and
SHA512 hashes
   2021-10-07 16:28:36 by Nia Alarie | Files touched by this commit (458)
Log message:
math: Remove SHA1 hashes for distfiles
   2021-05-02 19:47:30 by Adam Ciarcinski | Files touched by this commit (3) | Package updated
Log message:
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
   2021-04-22 14:03:39 by Adam Ciarcinski | Files touched by this commit (5) | Package updated
Log message:
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
   2016-10-07 00:03:56 by Thomas Klausner | Files touched by this commit (5)
Log message:
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
   2015-11-04 00:33:46 by Alistair G. Crooks | Files touched by this commit (262)
Log message:
Add SHA512 digests for distfiles for math category

Problems found locating distfiles:
	Package dfftpack: missing distfile dfftpack-20001209.tar.gz
	Package eispack: missing distfile eispack-20001130.tar.gz
	Package fftpack: missing distfile fftpack-20001130.tar.gz
	Package linpack: missing distfile linpack-20010510.tar.gz
	Package minpack: missing distfile minpack-20001130.tar.gz
	Package odepack: missing distfile odepack-20001130.tar.gz
	Package py-networkx: missing distfile networkx-1.10.tar.gz
	Package py-sympy: missing distfile sympy-0.7.6.1.tar.gz
	Package quadpack: missing distfile quadpack-20001130.tar.gz

Otherwise, existing SHA1 digests verified and found to be the same on
the machine holding the existing distfiles (morden).  All existing
SHA1 digests retained for now as an audit trail.
   2015-04-10 03:54:45 by Makoto Fujiwara | Files touched by this commit (2)
Log message:
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
   2015-01-23 02:18:53 by Makoto Fujiwara | Files touched by this commit (1) | Package updated
Log message:
PLIST was not updated for 'Update 0.13 to 0.14', sorry. Thanks dbj