Frama-C Bug Tracking System - Frama-C | |||||
| View Issue Details | |||||
| 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 | ||
| Platform | OS | OS Version | |||
| 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. | ||||
| Relationships | |||||
| Attached Files | |||||
| Notes | |||||
|
|
|||||
|
|
||||
| Issue History | |||||
| 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 | |||