Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002474Frama-CDocumentation > websitepublic2019-09-10 12:292019-09-18 15:21
Assigned Tobobot 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0002474: Can't view publications on the wiki
DescriptionClicking the link low down on to acess the wiki to see list of publications results in a "404 not found" error. That link is: The shorter link also fails with a 404
Steps To ReproduceTry to visit or
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
bobot (administrator)
2019-09-18 10:56

Thank you for the heads up, we migrated the Frama-C infrastructure and messed-up the wiki.
bobot (administrator)
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?
abutterfield (reporter)
2019-09-18 15:21

With link I see the publications, with some warnings in red at the top of the page With link 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”.

- Issue History
Date Modified Username Field Change
2019-09-10 12:29 abutterfield New Issue
2019-09-10 12:29 abutterfield Status new => assigned
2019-09-10 12:29 abutterfield Assigned To => bobot
2019-09-18 10:56 bobot Note Added: 0006870
2019-09-18 15:14 bobot Note Added: 0006871
2019-09-18 15:21 abutterfield Note Added: 0006872

Copyright © 2000 - 2020 MantisBT Team
Powered by Mantis Bugtracker