| non port: devel/isl/distinfo |
|
SVNWeb
|
Number of commits found: 14 |
|
Wed, 31 Aug 2022
|
[ 17:44 Neel Chauhan (nc)  ]    adb6da8
devel/isl: Update to 0.25
|
|
Tue, 21 Sep 2021
|
[ 20:02 Danilo Egea Gondolfo (danilo) ] 9cbf488
devel/isl: Update to 0.24
Drop maintainership.
|
|
Thu, 3 Dec 2020
|
[ 20:22 danilo ]  
devel/isl: Update to 0.23
PR: 251432
|
|
Thu, 6 Aug 2020
|
[ 21:31 danilo ]
- Update to 0.22.1
|
|
Fri, 5 Jun 2020
|
[ 18:52 arrowd ]
devel/isl: update to 0.22
PR: 242509
Submitted by: thierry
Approved by: danilo (maintainer timeout)
|
|
Sun, 8 Apr 2018
|
[ 19:05 danilo ] (Only the first 10 of 12 ports in this commit are shown above.  )
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
|
|
Sat, 28 Jan 2017
|
[ 19:48 danilo ]
- Update to 0.18
|
|
Fri, 10 Jun 2016
|
[ 18:55 danilo ]
- Update to 0.17.1
|
|
Tue, 23 Feb 2016
|
[ 02:18 danilo ]
- Update devel/isl to 0.16.1
PR: 207370
Submitted by: tijl
|
|
Mon, 3 Aug 2015
|
[ 19:18 danilo ]
- Update to 0.15
|
|
Thu, 23 Apr 2015
|
[ 14:46 danilo ]
- Update to 0.14.1
|
|
Thu, 5 Feb 2015
|
[ 18:51 danilo ]
math/cloog
- Update to 0.18.3
devel/isl [1]
- Update isl to 0.14
- Take maintainership
Approved by: delphij [1]
|
|
Mon, 30 Jun 2014
|
[ 16:12 delphij ]
- Update to 0.13
- Switch to use xz
- Grab.
|
|
Sun, 25 May 2014
|
[ 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>
|
Number of commits found: 14 |
As an Amazon Associate I earn from qualifying purchases.