Statut : 1-À faire1
jessie.desktop possède 0/32 éléments traduits et son contenu est traduit3 à 0%
Adresses du projet : homepage bugtracker
Chaînes
| Champ | Anglais | Français |
|---|---|---|
| name | jessie | |
| summary | Interface between why and Frama-C | |
| description | Jessie is an interface between why and Frama-C.Why is a software verification platform that applies formal proving tools to annotated programs. The Jessie plugin provide the ability to analyze C programs by invoking Frama-C. |
Téléchargement du fichier XML source4 : jessie.desktop
-
déduit sommairement des traductions en cours, avec une priorité pour un logiciel traduit à plus de 80%. ↩
-
on ne s'intérresse ici qu'au nom, au sous-titre et à la description. ↩
-
basé sur appstream glib qui indique dans son fichier as-translation n'inclure que les fichiers gettext et QT. ↩
-
il s'agit d'un extrait de https://alt.fedoraproject.org/pub/alt/screenshots/f24/ ! ↩