From b0060baf2e691aabe388fa5a3e3d4daa167b5b8a Mon Sep 17 00:00:00 2001
From: Augustin Lemesle <augustin.lemesle@cea.fr>
Date: Tue, 12 May 2020 11:36:14 +0200
Subject: [PATCH] hide unfinished
---
_data/nav.yml | 4 ++--
html/contact.html | 2 +-
html/using-frama-c.html | 24 ++----------------------
3 files changed, 5 insertions(+), 25 deletions(-)
diff --git a/_data/nav.yml b/_data/nav.yml
index 4c8c6365..3fb0ad73 100644
--- a/_data/nav.yml
+++ b/_data/nav.yml
@@ -6,7 +6,7 @@
link: /dokuwiki/start.html
- name: Blog
link: /blog/index.html
-- name: Careers
- link: /html/careers.html
+# - name: Careers
+ # link: /html/careers.html
- name: Contact
link: /html/contact.html
diff --git a/html/contact.html b/html/contact.html
index 9af4ba0f..de446905 100644
--- a/html/contact.html
+++ b/html/contact.html
@@ -69,7 +69,7 @@ function(err, data) {
<div id="wrapper" class="hfeed">
- {% include headers.html header=6 %}
+ {% include headers.html header=5 %}
<div id="container" class="mainContainer">
<div class="pageContact pages">
diff --git a/html/using-frama-c.html b/html/using-frama-c.html
index 8be03614..16a1abc7 100644
--- a/html/using-frama-c.html
+++ b/html/using-frama-c.html
@@ -74,37 +74,17 @@ css: plugin
<!-- <div id="group_code_standards">
<div class="paragraphGroup">
<h3>Enforce code standards</h3>
-
- <p>Frama-C allows to verify that the source code complies with a provided formal specification. Functional
- specifications can be written in a dedicated language, ACSL. The specifications can be partial, concentrating
- on one aspect of the analyzed program at a time.</p>
-
- <p>The most structured sections of your existing design documents can also be considered as formal
- specifications. For instance, the list of global variables that a function is supposed to read from or write to
- is a formal specification. Frama-C can compute this information automatically from the source code of the
- function, allowing you to verify that the code satisfies this part of the design document, faster and with less
- risks than a code review.</p>
</div>
</div>
<div id="group_security_defects">
<div class="paragraphGroup">
<h3>Detect security defects</h3>
-
- <p>Frama-C allows to verify that the source code complies with a provided formal specification. Functional
- specifications can be written in a dedicated language, ACSL. The specifications can be partial, concentrating
- on one aspect of the analyzed program at a time.</p>
-
- <p>The most structured sections of your existing design documents can also be considered as formal
- specifications. For instance, the list of global variables that a function is supposed to read from or write to
- is a formal specification. Frama-C can compute this information automatically from the source code of the
- function, allowing you to verify that the code satisfies this part of the design document, faster and with less
- risks than a code review.</p>
</div>
</div> -->
</div>
- <div class="contentFluid recommendBlock">
+ <!--<div class="contentFluid recommendBlock">
<div class="contentWrap">
<h3>Case Studies</h3>
@@ -128,7 +108,7 @@ css: plugin
<div class="swiper-button-next"></div>
</div>
</div>
- </div>
+ </div>-->
</div>
</section>
</article>
--
GitLab