barvinok.gforge.inria.fr is down

[Emil Vatai]

Not sure whom I should be contacting.

Best,

E

[Sven Verdoolaege]

On Tue, Jan 18, 2022 at 07:58:47PM -0800, Emil Vatai wrote:
> Not sure whom I should be contacting.

See below.

skimo

On Sun, Oct 17, 2021 at 06:53:35PM +0200, skim...@kotnet.org wrote:
> From: Sven Verdoolaege <sven.ver...@gmail.com>
>
> These links are now dead.
>
> Signed-off-by: Sven Verdoolaege <sven.ver...@gmail.com>
> ---
> doc/isl.bib | 4 ++--
> doc/user.pod | 2 +-
> 2 files changed, 3 insertions(+), 3 deletions(-)
>
> diff --git a/doc/isl.bib b/doc/isl.bib
> index 42074b2b7e..51fdcab21c 100644
> --- a/doc/isl.bib
> +++ b/doc/isl.bib
> @@ -198,7 +198,7 @@
> @misc{barvinok-0.22,
> author = {Sven Verdoolaege},
> title = {{\texttt{barvinok}}, version 0.22},
> - howpublished = {Available from \url{http://barvinok.gforge.inria.fr/}},
> + howpublished = {Available from \url{https://barvinok.sourceforge.io/}},
> year = 2006
> }
>
> @@ -437,7 +437,7 @@ their correctness.
> year = 2014,
> month = Jan,
> address = {Vienna, Austria},
> - url = {http://impact.gforge.inria.fr/impact2014/papers/impact2014-verdoolaege.pdf},
> + url = {https://acohen.gitlabpages.inria.fr/impact/impact2014/papers/impact2014-verdoolaege.pdf},
> abstract = {
> Schedules in the polyhedral model, both those that represent the original
> execution order and those produced by scheduling algorithms, naturally have the
> diff --git a/doc/user.pod b/doc/user.pod
> index 33c3f5bf9d..d60484e9e1 100644
> --- a/doc/user.pod
> +++ b/doc/user.pod
> @@ -343,7 +343,7 @@ under the MIT license.
>
> The source of C<isl> can be obtained either as a tarball
> or from the git repository. Both are available from
> -L<http://isl.gforge.inria.fr/>.
> +L<https://libisl.sourceforge.io/>.
> The installation process depends on how you obtained
> the source.
>
> --
> 2.25.1
>
> --