invalid links to "ACSL by Example"
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.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information