Where is the documentation?

[grymoire]

The links for the documentation - https://redmine.laas.fr/laas/mirage/docs.git http://homepages.laas.fr/rcayre/mirage-documentation/index.html https://redmine.laas.fr/projects/mirage-documentation do not seem to exist. They return a 404 error

[grymoire]

I think the project has moved on to https://github.com/whad-team/whad-client and the documentation is https://whad.readthedocs.io/en/latest/intro.html

[ikarus23]

You can find the documentation here: https://web.archive.org/web/20221001111937/https://homepages.laas.fr/rcayre/mirage-documentation/index.html