Toujours pertinent
-
get-frama-c @maroneze
-
Vérifier les instructions d'installations de Frama-C -
Linux -
Windows @allan -
macOS @lcorrenson !35 (merged)
-
-
-
ACSL @virgile-
Mettre à jour la page ACSL [ ] Reprendre le tutoriel: acsl_tutorial_index.html[ ] Ajouter un lien vers le tutoriel- See issue #17
-
-
Kernel @blanchard
-
Le texte est un copié-collé de la section 3 du papier "Frama-C: A Software Analysis Perspective" -
Les liens en bas sont cassés (et il manque des images)
-
-
Documentation
-
Le guide de bug report doit être mis à jour pour le gitlab public (!28 (merged))
-
-
Acknowledgements
-
J'ai ajouté un page d'acknowledgement, vérifier ce qu'il manque
-
-
Publications
-
Mettre à jour la liste des publications #5 (closed) !11 (merged)
-
Pour discussion et remplissage:
-
Case studies Une section était prévue pour mettre des études de cas utilisant Frama-C. Il faut voir si cette section reste pertinente et si oui la remplir.[ ] Remplir la section- See issue #9
-
Timeline
Une timeline d'évènements est présent en bas de l'index. Sa visibilité et sa lisibilité n'est peut être pas optimal. Feedback et idées sont les bienvenues. #2 (closed)
-
Repenser la timeline -
Remplir la timeline
-
-
Careers~~Une section avec des postes à pourvoir existe aussi. Est-ce qu'on souhaite la garder, qui peut la remplir sans trop d'overhead ? ~~[ ] Remplir la section- See issue #7 (closed)
- Documentation
Actuellement la documentation est copiée du dokuwiki qui existait auparavant, il faut peut être la repenser. Le site et son répo seront publiques donc des modifications pourront être faites sur le gitlab directement. Sa présentation ne m'a l'air ni esthétique ni pratique. #6 (closed)
-
Repenser la documentation et son utilisation -
(@maroneze) en travail ; génération automatique d'une partie des informations
-
- Changelog #14 (closed)
Général:
-
Vérification liens morts [ ] "each releases" est 404 dans l'onglet documentation
-
Vérification du CSS sur d'autres navigateurs et tailles d'écran -
affichage étrange du lien "Back" lorsqu'on est sur un plugin
-
-
Comment embellir le site ? -
Post de blog: entête centrée pas top, et plus de bouton retour.
-
-
Qu'est qu'il faut ajouter ? -
virgile a remarqué : "le footer a un problème au niveau du ©: il y a une entrée 2015-2018 qui est affichée, puis plus bas une entrée 2019 qui est invisible."