summaryrefslogtreecommitdiff
path: root/math/isl
AgeCommit message (Collapse)AuthorFilesLines
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.