hide unfinished

_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

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">

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>