| non port: devel/isl/pkg-descr |
|
SVNWeb
|
Number of commits found: 3 |
|
Wed, 7 Sep 2022
|
[ 21:58 Stefan Eßer (se)  ]    fb16dfe (Only the first 10 of 27964 ports in this commit are shown above.  )
Remove WWW entries moved into port Makefiles
Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.
This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.
Approved by: portmgr (tcberner)
|
|
Thu, 14 Oct 2021
|
[ 10:23 Daniel Engberg (diizzy) ] 953bcf7
devel/isl: Update URLs, fix build and connect test suite
Update URLs (old main site dead)
Fix port to follow CFLAGS set by framework instead of hardsetting -O3 only
Rearrange Makefile
Reference: https://groups.google.com/g/isl-development/c/JGaMo2VUu_8
Approved by: arrowd (mentor)
Differential Revision: https://reviews.freebsd.org/D32494
|
|
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: 3 |
As an Amazon Associate I earn from qualifying purchases.