View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||||||
ID | Project | Category | View Status | Date Submitted | Last Update | ||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
0002449 | Frama-C | Documentation > website | public | 2019-06-08 09:42 | 2019-06-10 18:55 | ||||||||
Reporter | jens | ||||||||||||
Assigned To | virgile | ||||||||||||
Priority | normal | Severity | trivial | Reproducibility | always | ||||||||
Status | confirmed | Resolution | open | ||||||||||
Product Version | |||||||||||||
Target Version | Fixed in Version | ||||||||||||
Summary | 0002449: invalid links to "ACSL by Example" | ||||||||||||
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. | ||||||||||||
Tags | No tags attached. | ||||||||||||
Attached Files |
|
![]() |
|
jens (reporter) 2019-06-10 18:55 |
I think it would be a good idea to add a link to Allan Blanchard's excellent tutorial. https://allan-blanchard.fr/publis/frama-c-wp-tutorial-en.pdf |
![]() |
|||
Date Modified | Username | Field | Change |
---|---|---|---|
2019-06-08 09:42 | jens | New Issue | |
2019-06-08 09:42 | jens | Status | new => assigned |
2019-06-08 09:42 | jens | Assigned To | => bobot |
2019-06-10 18:43 | virgile | Assigned To | bobot => virgile |
2019-06-10 18:43 | virgile | Status | assigned => confirmed |
2019-06-10 18:55 | jens | Note Added: 0006779 |