Access challenges might occur due to improper redirection between website versions. The following links may help by providing alternative routes to reach haltools-new.inria.org:

Or return to the current status page of haltools-new.inria.org.