Merge pull request #21 from RadioPotin/master

Fix YAML format, add english content and typographical details
Decysif · Sep 24, 2024 · 35d3973 · 35d3973
2 parents cb4b1c6 + f1aba3e
commit 35d3973
Show file tree

Hide file tree

Showing 3 changed files with 12 additions and 12 deletions.
diff --git a/content/en/deliverables.md b/content/en/deliverables.md
@@ -10,7 +10,7 @@ project_deliverables:
       papers:
         - id: "L1.1"
           name: "Constitution d’une base de fichiers d’entrée représentatifs des difficultés rencontrées pour générer des exploits."
-          synopsys: "Soon"
+          synopsys: "This deliverable consists of a test suite located in the 'benchmarks' repository of the Décysif project. The objectives of the deliverable are to identify weaknesses in the reconstruction of a counterexample by Why3 from SMT solver models, or in the procedures for verifying and categorizing counterexamples."
           leader: "TrustInSoft"
           authors:
             - "Guillaume Cluzel (TrustInSoft)"
@@ -20,7 +20,7 @@ project_deliverables:
           pdf_url: "/pdf/livrable_l1_1.pdf"
         - id: "L2.1"
           name: "Constitution d’une base de fichiers d’entrée représentatifs des difficultés rencontrées pour la preuve automatique."
-          synopsys: "Soon"
+          synopsys: "This deliverable consists of a test suite located in the 'benchmarks' repository of the Décysif project, with the objectives of identifying weaknesses in the Alt-Ergo solver, detecting translation issues (or identifying problems in the writing of theories, such as the memory model of J3) for all solvers: CVC5, CVC4, Z3, and Alt-Ergo."
           leader: "AdaCore"
           authors:
             - "Yannick Moy (AdaCore)"

diff --git a/content/fr/deliverables.md b/content/fr/deliverables.md
@@ -20,7 +20,7 @@ project_deliverables:
           pdf_url: "/pdf/livrable_l1_1.pdf"
         - id: "L2.1"
           name: "Constitution d’une base de fichiers d’entrée représentatifs des difficultés rencontrées pour la preuve automatique."
-          synopsys: "Ce livrable est constitué d’une base de tests qui se trouve dans le dépôt ’benchmarks’ du projet Décysif, dont les objectifs sont de repérer les faiblesses du prouveur Alt-Ergo, de repérer les problèmes de traduction (ou repérer des problèmes au niveau de l’écriture des théories, par exemple le modèle mémoire de J3) pour tous les prouveurs CVC5, CVC4, Z3, Alt-Ergo.
+          synopsys: "Ce livrable est constitué d’une base de tests qui se trouve dans le dépôt ’benchmarks’ du projet Décysif, dont les objectifs sont de repérer les faiblesses du prouveur Alt-Ergo, de repérer les problèmes de traduction (ou repérer des problèmes au niveau de l’écriture des théories, par exemple le modèle mémoire de J3) pour tous les prouveurs CVC5, CVC4, Z3, Alt-Ergo."
           leader: "AdaCore"
           authors:
             - "Yannick Moy (AdaCore)"

diff --git a/layouts/page/deliverables.html b/layouts/page/deliverables.html
@@ -33,19 +33,19 @@ <h4 class="f5 fw6 ttu dark-gray tc">{{ .lot }}</h4>
           {{ range .papers }}
             <div class="paper ba b--light-gray pa3 mb3 br2">
               <h5 class="f6 fw6 dark-blue">{{ .id }} - {{ .name }}</h5>
-              <p class="f6">Abstract: {{ .synopsys }}</p>
+              <p class="f6"><strong>Abstract:</strong> {{ .synopsys }}</p>
               <p class="f6 i">
                 {{ if eq $parent.Lang "fr" }} <!-- Use the parent context -->
-                  Dirigé par: {{ .leader }}
+                <strong>Dirigé par:</strong> {{ .leader }}
                 {{ else }}
-                  Led by: {{ .leader }}
+                <strong>Led by:</strong> {{ .leader }}
                 {{ end }}
               </p>
               <p class="f6">
                 {{ if eq $parent.Lang "fr" }} <!-- Use the parent context -->
-                  Auteurs:
+                <strong>Auteurs:</strong>
                 {{ else }}
-                  Authors:
+                <strong>Authors:</strong>
                 {{ end }}
               </p>
               <ul class="list pl0">
@@ -81,16 +81,16 @@ <h3 class="f4 fw6 ttu tracked dark-gray tc">
         <h4 class="f5 fw6 dark-blue">{{ .papername }}</h4>
         <p class="f6">
           {{ if eq $parent.Lang "fr" }}
-            Publié: {{ .date }}
+          <strong>Publié:</strong> {{ .date }}
           {{ else }}
-            Published: {{ .date }}
+          <strong>Published:</strong> {{ .date }}
           {{ end }}
         </p>
         <p class="f6">
           {{ if eq $parent.Lang "fr" }}
-            Auteurs:
+          <strong>Auteurs:</strong>
           {{ else }}
-            Authors:
+          <strong>Authors:</strong>
           {{ end }}
         </p>
         <ul class="list pl0">