ID0002449: **This issue was created automatically from Mantis Issue 2449. Further discussion may take place here.** --- | **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** | | --- | --- | --- | --- | --- | --- | | ID0002449 | Frama-C | Documentation > website | public | 2019-06-08 | 2019-06-10 | | | | | | | | | --- | --- | --- | --- | --- | --- | | **Reporter** | jens | **Assigned To** | virgile | **Resolution** | open | | **Priority** | normal | **Severity** | trivial | **Reproducibility** | always | | **Platform** | - | **OS** | - | **OS Version** | - | | **Product Version** | - | **Target Version** | - | **Fixed in Version** | - | ### Description : The WP webpage (https://frama-c.com/wp.html) uses old (abandoned) links to "ACSL by Example". I suggest to replace the link http://www.fokus.fraunhofer.de/download/acsl_by_example with https://github.com/fraunhoferfokus/acsl-by-example/blob/master/ACSL-by-Example.pdf and the link https://gitlab.fokus.fraunhofer.de/verification/open-acslbyexample.git with https://github.com/fraunhoferfokus/acsl-by-example ### Additional Information : The suggested links have been stable for a couple of years now.