Mail Archives: djgpp-announce/2018/08/05/15:55:00
This is a port of isl library 0.20 to MSDOS/DJGPP.
isl is a thread-safe C library for manipulating sets and relations of
integer points bounded by affine constraints. The descriptions of the
sets and relations may involve both parameters and existentially
quantified variables.
All computations are performed in exact integer arithmetic using GMP.
DJGPP specific changes.
=======================
- There are no DJGPP specific changes. The sources compile out-of-the-box.
- The port has been configured and compiled on WinXP SP3 and Win98SE using
gcc346b and bnu2311b. There is no guarantee that this may be possible
with any other DOS-like OS. Due to the massive use of long file names
it will not be possible to configure and compile without LFN support.
- To configure, compile and to use this library you must install the GMP
library, available as:
ftp://ftp.delorie.com/pub/djgpp/current/v2gnu/gmp612b.zip
As usual, all djgpp specific files (diffs, README files, etc.) are stored
in the /djgpp directory. The sources have been configured to be build in
the "_build" directory. If for some reason it does not work for you,
delete its contents and configure from scratch again.
For further information about isl library please read the info docs and
NEWS file.
This is a verbatim extract of the ChnageLog file:
-------------------------------------------------------------------------------
version: 0.20
date: Sat Jul 21 18:10:08 CEST 2018
changes:
- keep track of domain in 0D isl_multi_pw_aff and isl_multi_union_pw_aff
- add isl_aff_eval and isl_pw_aff_eval
- add fixed-size rectangular box hull
---
version: 0.19
date: Sat Mar 3 10:44:49 CET 2018
changes:
- minor improvements to coalescing
- minor improvement to parametric integer programming
- try harder to avoid large coefficients in scheduler
- support kill accesses in dependence analysis
- drop deprecated isl_int
- drop deprecated band forests
- drop deprecated functions
---
-------------------------------------------------------------------------------
The port consists of the usual three packages that have been produced
using djdev205 and can be downloaded from ftp.delorie.com and mirrors
as (time stamp 2018-08-04):
isl 0.20 headers and library:
ftp://ftp.delorie.com/pub/djgpp/current/v2tk/isl020b.zip
isl 0.20 pdf format documentation:
ftp://ftp.delorie.com/pub/djgpp/current/v2tk/isl020d.zip
isl 0.20 source:
ftp://ftp.delorie.com/pub/djgpp/current/v2tk/isl020s.zip
Send isl specific bug reports to <http://groups.google.com/group/isl-development>.
Send suggestions and bug reports concerning the DJGPP port to
comp.os.msdos.djgpp or <djgpp AT delorie DOT com>.
If you are not sure if the failure is really a isl failure
or a djgpp specific failure, report it here and *not* to
<http://groups.google.com/group/isl-development>.
Enjoy.
Guerrero, Juan Manuel <juan DOT guerrero AT gmx DOT de>
- Raw text -