diff --git a/_includes/blog-footer-standalone.html b/_includes/blog-footer-standalone.html new file mode 100644 index 0000000000000000000000000000000000000000..fae2607ad5d0018b5e7f22c743cf9ee35e439187 --- /dev/null +++ b/_includes/blog-footer-standalone.html @@ -0,0 +1,28 @@ +<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> diff --git a/_includes/blog-headers-standalone.html b/_includes/blog-headers-standalone.html new file mode 100644 index 0000000000000000000000000000000000000000..721a2b7d8accacb6fb349199950bf13ca453d1fb --- /dev/null +++ b/_includes/blog-headers-standalone.html @@ -0,0 +1,5 @@ +<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> diff --git a/_layouts/blog.html b/_layouts/blog.html index f9b63d45f633bd23524a9f8f3f0c571ab369e55a..ce095326561ddf20d4576b66a91d00c468b3ab73 100644 --- a/_layouts/blog.html +++ b/_layouts/blog.html @@ -6,12 +6,17 @@ css: blog <div id="wrapper" class="hfeed"> + <!-- TODO after new website is online: uncomment below and comment after {% include headers.html header=4 title=Blog %} +--> + {% include blog-headers-standalone.html %} <div id="container" class="mainContainer"> <div class="defaultPage blogsPage" id="content" role="main"> <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"> --> <!-- <button type="submit" class="submit searchLink pull-left disabled" title="Search"><i class= --> @@ -96,7 +101,10 @@ css: blog </div> </div> </div> + <!-- TODO after new website is online: uncomment below and comment after {% include footer.html %} +--> +{% include blog-footer-standalone.html %} <div class="clear"></div> </div> </div> diff --git a/_layouts/post.html b/_layouts/post.html index 972719f9443a31ce666b0fc33df6a111aad7c552..b60dceee5c51191d33e79e4c4920c065bc3019c5 100644 --- a/_layouts/post.html +++ b/_layouts/post.html @@ -4,13 +4,15 @@ layout: default <div id="wrapper" class="hfeed"> + <!-- TODO after new website is online: uncomment below {% include headers.html header=4 title=Blog %} +--> <div id="container" class="mainContainer"> <div class="defaultPage blogsPage singleBlogPage" id="content" role="main"> <div class="contentWrap"> <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> @@ -59,6 +61,8 @@ layout: default </div> </div> </div> + <!-- TODO after new website is online: uncomment below {% include footer.html %} +--> </div> </div> diff --git a/blog/acknowledgement.html b/blog/acknowledgement.html new file mode 100644 index 0000000000000000000000000000000000000000..c2c805a7ff8cce3c50066a8b0f5abfdbd47e21cb --- /dev/null +++ b/blog/acknowledgement.html @@ -0,0 +1,38 @@ +--- +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> diff --git a/blog/authors.html b/blog/authors.html new file mode 100755 index 0000000000000000000000000000000000000000..1f2cd82317816404effacd18fc48b0d47e92a20a --- /dev/null +++ b/blog/authors.html @@ -0,0 +1,74 @@ +--- +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> diff --git a/blog/terms-of-use.html b/blog/terms-of-use.html new file mode 100755 index 0000000000000000000000000000000000000000..142ab1a494bb70baf8484a46d0b8497ff668ac35 --- /dev/null +++ b/blog/terms-of-use.html @@ -0,0 +1,64 @@ +--- +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>