Skip to content
Snippets Groups Projects
Commit e9a15d20 authored by Andre Maroneze's avatar Andre Maroneze
Browse files

Merge branch 'blog-standalone' into 'master'

Temporarily remove links to website under construction

See merge request !39
parents 568d3395 5b7d29d6
No related branches found
No related tags found
1 merge request!39Temporarily remove links to website under construction
Pipeline #27145 passed
<footer id="footer" class="mainFooter">
<a rel="home" class="footLogo" title="Frama-C"><img src="/assets/img/framac.gif" alt=""></a>
<nav>
<a href="https://twitter.com/frama_c" target="_blank" class="twitterLink"><i class="icon icon-twitter"></i></a>
</nav>
<div class="copyright">
<span>Copyright © 2007-{{ 'now' | date: "%Y" }} Frama-C. All Rights Reserved.</span>
</div>
<div class="copyright" style="width: 300px;">
<ul id="menu-footer-menu" class="footer-list-menu">
<li id="menu-item-214" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-214">
<a href="/blog/terms-of-use.html">Terms Of Use</a>
</li>
<li id="menu-item-233" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-233">
<a href="/blog/authors.html">Authors</a>
</li>
<li id="menu-item-225" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-225">
<a href="/blog/acknowledgement.html">Acknowledgements</a>
</li>
</ul>
</div>
</footer>
<header class="siteHeader" id="site_header">
<div id="header_iv_point" class="inviewTop"></div>
<span class="brandLogo"><a rel="home" title="Frama-C">
<img src="/assets/img/framac.gif" alt="Frama-C logo"></a>
</header>
...@@ -6,12 +6,17 @@ css: blog ...@@ -6,12 +6,17 @@ css: blog
<div id="wrapper" class="hfeed"> <div id="wrapper" class="hfeed">
<!-- TODO after new website is online: uncomment below and comment after
{% include headers.html header=4 title=Blog %} {% include headers.html header=4 title=Blog %}
-->
{% include blog-headers-standalone.html %}
<div id="container" class="mainContainer"> <div id="container" class="mainContainer">
<div class="defaultPage blogsPage" id="content" role="main"> <div class="defaultPage blogsPage" id="content" role="main">
<div class="contentWrap"> <div class="contentWrap">
<h1><strong>Blog</strong></h1> <!-- TODO after new website is online: uncomment below and comment equivalent code -->
<!-- <h1><strong>Blog</strong></h1> -->
<h1><strong>Frama-C Blog</strong></h1>
<!-- <form class="searchForm mobileOnly" action="../index.html"> --> <!-- <form class="searchForm mobileOnly" action="../index.html"> -->
<!-- <button type="submit" class="submit searchLink pull-left disabled" title="Search"><i class= --> <!-- <button type="submit" class="submit searchLink pull-left disabled" title="Search"><i class= -->
...@@ -96,7 +101,10 @@ css: blog ...@@ -96,7 +101,10 @@ css: blog
</div> </div>
</div> </div>
</div> </div>
<!-- TODO after new website is online: uncomment below and comment after
{% include footer.html %} {% include footer.html %}
-->
{% include blog-footer-standalone.html %}
<div class="clear"></div> <div class="clear"></div>
</div> </div>
</div> </div>
......
...@@ -4,13 +4,15 @@ layout: default ...@@ -4,13 +4,15 @@ layout: default
<div id="wrapper" class="hfeed"> <div id="wrapper" class="hfeed">
<!-- TODO after new website is online: uncomment below
{% include headers.html header=4 title=Blog %} {% include headers.html header=4 title=Blog %}
-->
<div id="container" class="mainContainer"> <div id="container" class="mainContainer">
<div class="defaultPage blogsPage singleBlogPage" id="content" role="main"> <div class="defaultPage blogsPage singleBlogPage" id="content" role="main">
<div class="contentWrap"> <div class="contentWrap">
<div class="breadcrumb backNavigation"> <div class="breadcrumb backNavigation">
<a href="/blog/index.html" class="backLink2"><i class="icon icon-arrow-left"></i> Back to blogs</a> <a href="/blog/index.html" class="backLink2"><i class="icon icon-arrow-left"></i> Blog home</a>
</div> </div>
</div> </div>
...@@ -59,6 +61,8 @@ layout: default ...@@ -59,6 +61,8 @@ layout: default
</div> </div>
</div> </div>
</div> </div>
<!-- TODO after new website is online: uncomment below
{% include footer.html %} {% include footer.html %}
-->
</div> </div>
</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>
---
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