Skip to content
Snippets Groups Projects
Commit 5d01c783 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

Enable blog in website

parent 22c1381d
No related branches found
No related tags found
1 merge request!68Finalize blog + a few fixes
......@@ -6,17 +6,12 @@ css: blog
<div id="wrapper" class="hfeed">
<!-- TODO after new website is online: uncomment below and comment after
{% include headers.html header="blog" title=Blog %}
-->
{% include blog-headers-standalone.html %}
{% include headers.html header="blog" title=Blog %}
<div id="container" class="mainContainer">
<div class="defaultPage blogsPage" id="content" role="main">
<div class="contentWrap">
<!-- TODO after new website is online: uncomment below and comment equivalent code -->
<!-- <h1><strong>Blog</strong></h1> -->
<h1><strong>Frama-C Blog</strong></h1>
<h1><strong>Blog</strong></h1>
<!-- <form class="searchForm mobileOnly" action="../index.html"> -->
<!-- <button type="submit" class="submit searchLink pull-left disabled" title="Search"><i class= -->
......@@ -101,10 +96,7 @@ css: blog
</div>
</div>
</div>
<!-- TODO after new website is online: uncomment below and comment after
{% include footer.html %}
-->
{% include blog-footer-standalone.html %}
{% include footer.html %}
<div class="clear"></div>
</div>
</div>
......
......@@ -5,9 +5,7 @@ css: blog
<div id="wrapper" class="hfeed">
<!-- TODO after new website is online: uncomment below
{% include headers.html header="blog" title=Blog %}
-->
<div id="container" class="mainContainer">
<div class="defaultPage blogsPage singleBlogPage" id="content" role="main">
......@@ -62,8 +60,6 @@ css: blog
</div>
</div>
</div>
<!-- TODO after new website is online: uncomment below
{% include footer.html %}
-->
{% include footer.html %}
</div>
</div>
---
layout: default
title: Acknowledgements - Frama-C
---
<body class="page-template page-template-page-authors page-template-page-authors-php page page-id-231 nonTouch">
<div id="wrapper" class="hfeed">
{% include blog-headers-standalone.html %}
<div id="container" class="mainContainer">
<div class="defaultPage authorsPage" id="content" role="main">
<article id="post-231" class="post-231 page type-page status-publish hentry">
<h1 class="entry-title">Acknowledgements</h1>
<section class="articleContent">
<div class="authorPageContent pageWrapper">
<div class="contentInfoBox">
<ul>
<li>U3CAT - <a href="https://frama-c.com/u3cat">https://frama-c.com/u3cat</a></li>
<li>STANCE - <a href="https://cordis.europa.eu/project/id/317753">https://cordis.europa.eu/project/id/317753</a> - FP7-ICT - Grant agreement 317753</li>
<li>VESSEDIA - <a href="https://cordis.europa.eu/project/id/731453">https://cordis.europa.eu/project/id/731453</a> - H2020 - Grant agreement 731453</li>
<li>DECODER - <a href="https://cordis.europa.eu/project/id/824231">https://cordis.europa.eu/project/id/824231</a> - H2020 - Grant agreement 824231</li>
<li>SPARTA - <a href="https://cordis.europa.eu/project/id/830892">https://cordis.europa.eu/project/id/830892</a> - H2020 - Grant agreement 830892</li>
</ul></div>
</div>
</section>
</article>
</div>
{% include blog-footer-standalone.html %}
<div class="clear"></div>
</div>
</div>
---
layout: default
title: Authors - Frama-C
---
<body class="page-template page-template-page-authors page-template-page-authors-php page page-id-231 nonTouch">
<div id="wrapper" class="hfeed">
{% include blog-headers-standalone.html %}
<div id="container" class="mainContainer">
<div class="defaultPage authorsPage" id="content" role="main">
<article id="post-231" class="post-231 page type-page status-publish hentry">
<h1 class="entry-title">Authors</h1>
<section class="articleContent">
<div class="authorPageContent pageWrapper">
<div class="contentInfoBox">
<h5>The Frama-C platform is the creation of:</h5>
<nav>
<span>{{ site.data.authors | join: "</span> | <span>" }}</span>
</nav>
</div>
<div class="contentInfoBox">
<h5>The Frama-C platform is co-developed at two French public institutions:</h5>
<div class="authorList">
<div class="authorInfo">
<figure>
<img src="/assets/img/author/list-cea-tech.jpg">
</figure>
<p><span class="title">CEA LIST</span> Software Security Laboratory</p>
</div>
<div class="authorInfo">
<figure>
<img src="/assets/img/author/inria.png">
</figure>
<p><span class="title">Inria Saclay - Île-de-France</span> Toccata team, common with LRI-CNRS and
Université Paris-Sud 11</p>
</div>
</div>
</div>
<div class="entry-links hide"></div>
</div>
</section>
</article>
<section class="bgTitleBlk titleIn lightTxt">
<div class="upperBlk">
<div class="upperType">
Authors
</div>
</div>
<div class="lowerBlk">
<div class="lowerType">
Authors
</div>
</div>
</section>
<section id="comments" style="display: none;"></section>
</div>
{% include blog-footer-standalone.html %}
<div class="clear"></div>
</div>
</div>
---
title: Terms of Use
layout: default
css: terms
---
<div id="wrapper" class="hfeed">
{% include blog-headers-standalone.html %}
<div id="container" class="mainContainer">
<div class="pages pageTerms">
<dl class="defnitionList">
<dt class="subTitle">Legal information and diffusion rights</dt>
<dd>
<p>All materials and graphical elements contained on this site are protected by French and international copyright law
and intellectual property rights. Reproduction in part or in whole of materials and graphical elements of this site is
prohibited without the express permission of the Director of publication.</p>
</dd>
<dt class="subTitle">Contacts</dt>
<dd>
<p>For requests to use any of the contents of this site, please contact us:</p>
<div>
<h5>Director of publication</h5>
<p>C. Marché<br>
Inria - 4, rue Jacques Monod<br>
F-91893 Orsay cedex</p>
</div>
<div>
<h5>Webmaster</h5>
<p><a href="mailto:florent.kirchner@cea.fr">florent.kirchner(at)cea.fr</a><br>
F. Kirchner<br>
CEA Saclay<br>
F-91191 Gif sur Yvette cedex</p>
</div>
</dd>
<dt class="subTitle">Déclaration CNIL</dt>
<dd>
<p>Conformément à la loi n° 78-17 du 6 janvier 1978, relative à l'Informatique, aux Fichiers et aux Libertés, vous
disposez d'un droit d'accès et de rectification des informations nominatives vous concernant. Vous pouvez l'exercer en
vous adressant à :</p>
<div>
<a href="mailto:florent.kirchner@cea.fr">florent.kirchner(at)cea.fr</a><br>
F. Kirchner<br>
CEA Saclay<br>
F-91191 Gif sur Yvette cedex
</div>
</dd>
</dl>
</div>
{% include blog-footer-standalone.html %}
<div class="clear"></div>
</div>
</div>
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment