summaryrefslogtreecommitdiff
path: root/math/isl
AgeCommit message (Collapse)AuthorFilesLines
2016-10-06Updated isl to 0.17.1.wiz5-14/+56
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-03Add SHA512 digests for distfiles for math categoryagc1-1/+2
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-10Update 0.14 to 0.14.1mef2-6/+6
--------------------- 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-23PLIST was not updated for 'Update 0.13 to 0.14', sorry. Thanks dbjmef1-2/+1
2015-01-18Update 0.13 to 0.14mef2-6/+6
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
2014-04-25Update to 0.13:wiz3-11/+25
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
2014-02-25Changes 0.12.2:adam4-14/+15
- MinGW-w64 build fix - fix simplification bug
2013-04-16Changes 0.11.2:adam4-14/+33
* make code generation output the same on Solaris * fix some hard to trigger bugs
2013-02-19Add TEST_TARGET.wiz1-1/+3
2013-02-17Import isl-0.11.1 as math/isl, packaged for wip by Kai-Uwe Eckhardt.wiz5-0/+91
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.