Frama-C Bug Tracking System - Frama-C
View Issue Details
0002474Frama-CDocumentation > websitepublic2019-09-10 12:292019-09-18 15:21
abutterfield 
bobot 
normalminoralways
assignedopen 
 
 
0002474: Can't view publications on the wiki
Clicking the link low down on https://frama-c.com/support.html to acess the wiki to see list of publications results in a "404 not found" error. That link is: https://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:publications The shorter link https://bts.frama-c.com/dokuwiki/ also fails with a 404
Try to visit https://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:publications or https://bts.frama-c.com/dokuwiki/
No tags attached.
Issue History
2019-09-10 12:29abutterfieldNew Issue
2019-09-10 12:29abutterfieldStatusnew => assigned
2019-09-10 12:29abutterfieldAssigned To => bobot
2019-09-18 10:56bobotNote Added: 0006870
2019-09-18 15:14bobotNote Added: 0006871
2019-09-18 15:21abutterfieldNote Added: 0006872

Notes
(0006870)
bobot   
2019-09-18 10:56   
Thank you for the heads up, we migrated the Frama-C infrastructure and messed-up the wiki.
(0006871)
bobot   
2019-09-18 15:14   
It should be up again, remains some warnings. We are going to work on a new version. Is it okay also on your side?
(0006872)
abutterfield   
2019-09-18 15:21   
With link https://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:publications I see the publications, with some warnings in red at the top of the page With link https://bts.frama-c.com/dokuwiki/doku.php I get a page that says: This topic does not exist yet You've followed a link to a topic that doesn't exist yet. If permissions allow, you may create it by clicking on “Create this page”.