From 39c8de5984d068404f1a1bb8ff6e1b4fff6dc90f Mon Sep 17 00:00:00 2001 From: Andre Maroneze Date: Mon, 16 Nov 2020 08:38:21 +0100 Subject: [PATCH 1/3] add French documentation for Slicing and PDG --- _fc-plugins/slicing.md | 10 ++++++++++ download/frama-c-pdg-documentation-french.pdf | 3 +++ download/frama-c-slicing-documentation-french.pdf | 3 +++ 3 files changed, 16 insertions(+) create mode 100644 download/frama-c-pdg-documentation-french.pdf create mode 100644 download/frama-c-slicing-documentation-french.pdf diff --git a/_fc-plugins/slicing.md b/_fc-plugins/slicing.md index f91787fd..89f8a21e 100644 --- a/_fc-plugins/slicing.md +++ b/_fc-plugins/slicing.md @@ -93,3 +93,13 @@ following options: This plug-in uses the results of the [Eva](eva.html) plug-in and of the function dependencies computation (documented with Eva). + +## Further Reading + +- The **Slicing** plug-in has some + [documentation (in French only)](/download/frama-c-slicing-documentation-french.pdf) + based on a technical report, but no user manual _per se_. +- The **Slicing** plug-in is based on another plug-in, **PDG** + (for *Program Dependence Graph). It also has some + [documentation (in French only)](/download/frama-c-pdg-documentation-french.pdf) + based on a technical report. diff --git a/download/frama-c-pdg-documentation-french.pdf b/download/frama-c-pdg-documentation-french.pdf new file mode 100644 index 00000000..5b012ca1 --- /dev/null +++ b/download/frama-c-pdg-documentation-french.pdf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:30dc21eac8392293956bc130d203aea469c609a3297620e88dc00a4120c45c91 +size 889397 diff --git a/download/frama-c-slicing-documentation-french.pdf b/download/frama-c-slicing-documentation-french.pdf new file mode 100644 index 00000000..926fd9e4 --- /dev/null +++ b/download/frama-c-slicing-documentation-french.pdf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:2937e268f28107cbad68cfac5c26af2e2875ef4e82e81743eb26a6ba1fef5543 +size 1010890 -- GitLab From f7d51439f0b12355b71a42762de5dc92e4da0d43 Mon Sep 17 00:00:00 2001 From: Allan Blanchard Date: Mon, 16 Nov 2020 11:53:20 +0100 Subject: [PATCH 2/3] Adds slicing documentation in quick access --- _fc-plugins/slicing.md | 7 +++++++ assets/img/icons/france-flag-waving-icon-16.png | Bin 0 -> 1259 bytes html/documentation.html | 5 ++++- 3 files changed, 11 insertions(+), 1 deletion(-) create mode 100644 assets/img/icons/france-flag-waving-icon-16.png diff --git a/_fc-plugins/slicing.md b/_fc-plugins/slicing.md index 89f8a21e..8ff7df6c 100644 --- a/_fc-plugins/slicing.md +++ b/_fc-plugins/slicing.md @@ -3,6 +3,13 @@ layout: plugin title: Slicing description: Slices the code according to user-provided criteria. key: code +additional: + - name: "Documentation" + link: /download/frama-c-slicing-documentation-french.pdf + lang: FR + - name: "PDG Documentation" + link: /download/frama-c-pdg-documentation-french.pdf + lang: FR distrib_mode: main --- diff --git a/assets/img/icons/france-flag-waving-icon-16.png b/assets/img/icons/france-flag-waving-icon-16.png new file mode 100644 index 0000000000000000000000000000000000000000..511ceb669031436936e3473420aee8f9144102ce GIT binary patch literal 1259 zcmeAS@N?(olHy`uVBq!ia0vp^0zk~o!3HGD9`RZNDajJoh?3y^w370~qErUQl>DSr z1<%~X^wgl##FWaylc_cg49seoArU1JzCKpT`MG+DAT@dwxdlMo3=B5*6$OdO*{LN8 zNvY|XdA3ULckfqH$V{%1*XSQL?vFu&J;D8jzb> zlBiITo0C^;Rbi_HHrEQs1_|pcDS(xfWZNo192Makpx~Tel&WB=XQrEMXlSTlZmDNz zYGG_-s-s|JU}&muV5x6tple`gWoTe!WS{^ANh+i#(Mch>H3D2mX`VkM*2oZxQ#zd*s+860W~8sV9F zDf#8anqWP?zE+-j#U+V($*G<$wn{)#^fEJ3teh-eOiUe}TnwDe4Gaxk&77P~T-^*@ zEiIkQjEs%V4Pbg*@{>z*Q}aq-dQ%X3U2*CKC5PMspv^9+MVV!(DQ-pixe8!!TV>*Q zixW=spn6kqyTuu&UVWfr^g)q}6xlE#Ur&kABq7-+1V9@bUF#K#ZS5l&q@kqD9A#MXhR?!NE z06{_K)(OV*Yp2`4QuWhI|NZ$qUpL3n&8uyEe=a{^tku+`c>2D>3%)w*=KU(>v8F&R2Gs*k;MXk@w#7WGtAw=;3f3J=m(r3|KWz3iVyO|} zWw`jEKw-l!>8qwrwLY?pyqr4L0ve0AH-xF|(sZ=)w#eM`h2@Ci0hT$&IUg@=RbXby z_GdMV&RD+2IcGKdsd)!VjVJIjxh~$vI`IeluTRg)4e#8}|FUjAV{n@84uwk(+g~%^ z7U$Tn=9AxX&cPyo)-ox+!p0-jHyCxCKUoXSpYVg@zR)+wot%Ff(W|tXytB WY3(sk(c|gr=d#Wzp~=w5)D!>~&98(2 literal 0 HcmV?d00001 diff --git a/html/documentation.html b/html/documentation.html index a2ef3b2e..f09f6c6c 100755 --- a/html/documentation.html +++ b/html/documentation.html @@ -79,7 +79,10 @@ title: Documentation - Frama-C
  • User manual
    • {% endif %} {% for add in plugin.additional %} -
  • {% if add.short %}{{add.short}}{% else %}{{add.name}}{% endif %}
    • +
  • + {% if add.lang == "FR" %}InFrench{% endif %} + {% if add.short %}{{add.short}}{% else %}{{add.name}}{% endif %} +
    • {% endfor %} {% if plugin.repo_url %}
  • External repository
    • -- GitLab From f1065121e7f3b33c4803003f33b29ee395002f89 Mon Sep 17 00:00:00 2001 From: Allan Blanchard Date: Mon, 16 Nov 2020 12:00:13 +0100 Subject: [PATCH 3/3] Typo --- html/documentation.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/html/documentation.html b/html/documentation.html index f09f6c6c..064e5c9c 100755 --- a/html/documentation.html +++ b/html/documentation.html @@ -80,7 +80,7 @@ title: Documentation - Frama-C {% endif %} {% for add in plugin.additional %}
  • - {% if add.lang == "FR" %}InFrench{% endif %} + {% if add.lang == "FR" %}In French{% endif %} {% if add.short %}{{add.short}}{% else %}{{add.name}}{% endif %}
    • {% endfor %} -- GitLab