13:23 Wen Heping (wen) 

devel/isl: Update to 0.27

    204dd0f

09:42 Nuno Teixeira (eduardo) 

devel/isl: Adopt/Update to 0.26

ChangeLog:
https://repo.or.cz/isl.git/blob/e58af07f91c94db81627fb801fa6f52c3a7201a8:/ChangeLog

    e469188

17:44 Neel Chauhan (nc) 

devel/isl: Update to 0.25

    adb6da8

20:02 Danilo Egea Gondolfo (danilo) 

devel/isl: Update to 0.24

Drop maintainership.

    9cbf488

20:22 danilo 

devel/isl: Update to 0.23

PR:		251432

 

21:31 danilo 

- Update to 0.22.1

 

18:52 arrowd 

devel/isl: update to 0.22

PR:		242509
Submitted by:	thierry
Approved by:	danilo (maintainer timeout)

 

19:05 danilo 

math/cloog
 - Update to 0.19.0
 - Use github
 - Add ac_cv_prog_TEXI2DVI to avoid building docs for now

devel/isl
 - Update to 0.19

- Bump PORTREVISION of all dependencies

 

19:48 danilo 

- Update to 0.18

 

18:55 danilo 

- Update to 0.17.1

 

02:18 danilo 

- Update devel/isl to 0.16.1

PR:		207370
Submitted by:	tijl

 

19:18 danilo 

- Update to 0.15

 

14:46 danilo 

- Update to 0.14.1

 

18:51 danilo 

math/cloog
- Update to 0.18.3

devel/isl [1]
- Update isl to 0.14
- Take maintainership

Approved by:	delphij [1]

 

16:12 delphij 

 - Update to 0.13
 - Switch to use xz
 - Grab.

 

07:31 miwi 

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, computing the lexicographic
minimum using parametric integer programming, coalescing and parametric
vertex enumeration. It also includes an ILP solver based on generalized
basis reduction, transitive closures on maps (which may encode infinite
graphs), dependence analysis and bounds on piecewise step-polynomials.

WWW: http://isl.gforge.inria.fr/

PR:		ports/187143
Submitted by:	Gea-Suan Lin <gslin@gslin.org>