Anonymous Login Frama-C issues should now be submitted on Frama-C's GitLab
2021-03-06 03:09 CET

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0002474Frama-CDocumentation > websitepublic2019-09-18 15:21
Reporterabutterfield 
Assigned Tobobot 
PrioritynormalSeverityminorReproducibilityalways
StatusassignedResolutionopen 
Product Version 
Target VersionFixed in Version 
Summary0002474: Can't view publications on the wiki
DescriptionClicking 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
Steps To ReproduceTry to visit https://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:publications
or https://bts.frama-c.com/dokuwiki/
TagsNo tags attached.
Attached Files

-Relationships
+Relationships

-Notes

~0006870

bobot (administrator)

Thank you for the heads up, we migrated the Frama-C infrastructure and messed-up the wiki.

~0006871

bobot (administrator)

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 (reporter)

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”.
+Notes

-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
+Issue History