Commit 3ec1fca2 authored by Augustin Lemesle's avatar Augustin Lemesle
Browse files

Add tag for blog

parent e1410de6
I",{"source"=>"/home/alemesle/website/jekyll-frama-c", "destination"=>"/home/alemesle/website/jekyll-frama-c/_site", "collections_dir"=>"", "cache_dir"=>".jekyll-cache", "plugins_dir"=>"_plugins", "layouts_dir"=>"_layouts", "data_dir"=>"_data", "includes_dir"=>"_includes", "collections"=>{"posts"=>{"output"=>true, "permalink"=>"/:categories/:year/:month/:day/:title:output_ext"}, "fc-plugins"=>{"output"=>true}}, "safe"=>false, "include"=>["html"], "exclude"=>[".sass-cache", ".jekyll-cache", "gemfiles", "Gemfile", "Gemfile.lock", "node_modules", "vendor/bundle/", "vendor/cache/", "vendor/gems/", "vendor/ruby/"], "keep_files"=>[".git", ".svn"], "encoding"=>"utf-8", "markdown_ext"=>"markdown,mkdown,mkdn,mkd,md", "strict_front_matter"=>false, "show_drafts"=>nil, "limit_posts"=>0, "future"=>false, "unpublished"=>false, "whitelist"=>[], "plugins"=>["jekyll-feed", "jekyll-paginate"], "markdown"=>"kramdown", "highlighter"=>"rouge", "lsi"=>false, "excerpt_separator"=>"\n\n", "incremental"=>false, "detach"=>false, "port"=>"4000", "host"=>"127.0.0.1", "baseurl"=>"", "show_dir_listing"=>false, "permalink"=>"date", "paginate_path"=>"/blog/page:num/", "timezone"=>nil, "quiet"=>false, "verbose"=>false, "defaults"=>[], "liquid"=>{"error_mode"=>"warn", "strict_filters"=>false, "strict_variables"=>false}, "kramdown"=>{"auto_ids"=>true, "toc_levels"=>"1..6", "entity_output"=>"as_char", "smart_quotes"=>"lsquo,rsquo,ldquo,rdquo", "input"=>"GFM", "hard_wrap"=>false, "guess_lang"=>true, "footnote_nr"=>1, "show_warnings"=>false, "syntax_highlighter"=>"rouge", "syntax_highlighter_opts"=>{"guess_lang"=>true}, "coderay"=>{}}, "title"=>"Your awesome title", "email"=>"your-email@example.com", "description"=>"Write an awesome description for your new site here. You can edit this line in _config.yml. It will appear in your document head meta (for Google search results) and in your feed.xml site description.", "url"=>"http://localhost:4000", "twitter_username"=>"jekyllrb", "github_username"=>"jekyll", "theme"=>"minima", "paginate"=>5, "livereload_port"=>35729, "serving"=>true, "watch"=>true}:ET
\ No newline at end of file
I"&{"source"=>"/home/alemesle/website/jekyll-frama-c", "destination"=>"/home/alemesle/website/jekyll-frama-c/_site", "collections_dir"=>"", "cache_dir"=>".jekyll-cache", "plugins_dir"=>"_plugins", "layouts_dir"=>"_layouts", "data_dir"=>"_data", "includes_dir"=>"_includes", "collections"=>{"posts"=>{"output"=>true, "permalink"=>"/:categories/:year/:month/:day/:title:output_ext"}, "fc-plugins"=>{"output"=>true}}, "safe"=>false, "include"=>["html"], "exclude"=>[".sass-cache", ".jekyll-cache", "gemfiles", "Gemfile", "Gemfile.lock", "node_modules", "vendor/bundle/", "vendor/cache/", "vendor/gems/", "vendor/ruby/"], "keep_files"=>[".git", ".svn"], "encoding"=>"utf-8", "markdown_ext"=>"markdown,mkdown,mkdn,mkd,md", "strict_front_matter"=>false, "show_drafts"=>nil, "limit_posts"=>0, "future"=>false, "unpublished"=>false, "whitelist"=>[], "plugins"=>["jekyll-feed", "jekyll-paginate", "jekyll-category-pages"], "markdown"=>"kramdown", "highlighter"=>"rouge", "lsi"=>false, "excerpt_separator"=>"\n\n", "incremental"=>false, "detach"=>false, "port"=>"4000", "host"=>"127.0.0.1", "baseurl"=>"", "show_dir_listing"=>false, "permalink"=>"date", "paginate_path"=>"/blog/page:num/", "timezone"=>nil, "quiet"=>false, "verbose"=>false, "defaults"=>[], "liquid"=>{"error_mode"=>"warn", "strict_filters"=>false, "strict_variables"=>false}, "kramdown"=>{"auto_ids"=>true, "toc_levels"=>"1..6", "entity_output"=>"as_char", "smart_quotes"=>"lsquo,rsquo,ldquo,rdquo", "input"=>"GFM", "hard_wrap"=>false, "guess_lang"=>true, "footnote_nr"=>1, "show_warnings"=>false}, "title"=>"Your awesome title", "email"=>"your-email@example.com", "description"=>"Write an awesome description for your new site here. You can edit this line in _config.yml. It will appear in your document head meta (for Google search results) and in your feed.xml site description.", "url"=>"http://localhost:4000", "twitter_username"=>"jekyllrb", "github_username"=>"jekyll", "theme"=>"minima", "paginate"=>5, "category_dir"=>"/categories/", "category_layout"=>"blog.html", "livereload_port"=>35729, "serving"=>true, "watch"=>true}:ET
\ No newline at end of file
......@@ -29,3 +29,4 @@ end
gem "wdm", "~> 0.1.1", :install_if => Gem.win_platform?
gem 'jekyll-paginate', group: :jekyll_plugins
gem 'jekyll-category-pages', group: :jekyll_plugins
......@@ -29,6 +29,9 @@ GEM
rouge (~> 3.0)
safe_yaml (~> 1.0)
terminal-table (~> 1.8)
jekyll-category-pages (1.1.0)
jekyll (~> 4.0)
jekyll-paginate (~> 1.1, >= 1.0.0)
jekyll-feed (0.12.1)
jekyll (>= 3.7, < 5.0)
jekyll-paginate (1.1.0)
......@@ -60,7 +63,7 @@ GEM
rouge (3.9.0)
ruby_dep (1.5.0)
safe_yaml (1.0.5)
sassc (2.1.0)
sassc (2.2.0)
ffi (~> 1.9)
terminal-table (1.8.0)
unicode-display_width (~> 1.1, >= 1.1.1)
......@@ -77,6 +80,7 @@ PLATFORMS
DEPENDENCIES
jekyll (~> 4.0.0)
jekyll-category-pages
jekyll-feed (~> 0.12)
jekyll-paginate
minima (~> 2.5)
......
......@@ -31,7 +31,7 @@ github_username: jekyll
# Build settings
theme: minima
plugins: [jekyll-feed, jekyll-paginate]
plugins: [jekyll-feed, jekyll-paginate, jekyll-category-pages]
include: ['html']
......@@ -42,6 +42,9 @@ collections:
paginate: 5
paginate_path: "/blog/page:num/"
category_dir: "/categories/"
category_layout: "blog.html"
# Exclude from processing.
# The following items will not be processed, by default.
# Any item listed under the `exclude:` key here will be automatically added to
......
---
layout: default
title: Blog - Frama-C
css: blog
---
<div id="wrapper" class="hfeed">
{% include headers.html header=5 title=Blog%}
<div id="container" class="mainContainer">
<div class="defaultPage blogsPage" id="content" role="main">
<div class="contentWrap">
<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=
"icon icon-search"></i></button><input type="text" name="s" value="" required="" placeholder=
"Search for the post here"><input type="hidden" name="post_type" value="post">
<div class="error" id="top_search_error" style="display: none;" role="alert">
Enter Search Term
</div>
</form>
</div>
<div class="contentWrap">
<div class="blogsSection">
<div class="blogsSectionContent">
{% if page.paginator %}
{% assign paginator = page.paginator %}
<h2 class="searchTitle"><span>Tag Archives:</span> <span class="search-terms">{{ page.title }}</span></h2>
{% endif %}
<div class="postLists">
{% for post in paginator.posts %}
<article>
<figure>
<a href="{{ post.url }}" class="img" style=
"background-image: url(/assets/img/default-blog.jpg);"></a>
</figure>
<div class="content">
<h3><a href="{{ post.url }}">{{ post.title }}</a>
<address>
{{ post.author }} on {{ post.date | date: "%-d %B %Y" }}
</address></h3>
<p>{{ post.content | strip_html | truncatewords: 50 }}</p><a href="{{ post.url }}">Read More</a>
</div>
</article>
{% endfor %}
</div>
{% if paginator.total_pages > 1 %}
<div class="pagination clearfix">
{% if paginator.previous_page %}
<a class="prev page-numbers" href="{{ paginator.previous_page_path }}">« Previous</a>
{% endif %}
{% for page in (1..paginator.total_pages) %}
{% if page == paginator.page %}
<span class='page-numbers current'>{{ page }}</span>
{% elsif page == 1%}
<a class='page-numbers' href="/blog/index.html">{{ page }}</a>
{% else %}
<a class='page-numbers' href="{{ site.paginate_path | replace: ':num', page }}">{{ page }}</a>
{% endif %}
{% endfor %}
{% if paginator.next_page %}
<a class="next page-numbers" href="{{ paginator.next_page_path }}">Next »</a>
{% endif %}
</div>
{% endif %}
</div>
<aside id="sidebar" role="complementary">
<div id="sidebar_iv_point" class="inviewTop"></div>
<div id="sidebar_wrap" class="sidebarWrap">
<form class="searchForm" action="../index.html" data-parsley-validate="">
<input type="text" name="s" required="" value="" placeholder="Search for the post here"> <input type="hidden"
name="post_type" value="post"> <button type="submit" class="submit searchLink pull-left disabled" title=
"Search"><i class="icon icon-search"></i></button>
<div class="error" id="top_search_error" style="display: none;" role="alert">
Enter Search Term
</div>
</form>
<div class="tagsList">
<h4>Popular tags</h4>
<nav>
<a href="../tag/des/index.html" class="btn btnCancel"><span>Blog Test</span></a> <a href=
"../tag/test/index.html" class="btn btnCancel"><span>C - Programming</span></a> <a href=
"../tag/demo/index.html" class="btn btnCancel"><span>demo</span></a> <a href="../tag/ipsum/index.html" class=
"btn btnCancel"><span>ipsum</span></a> <a href="../tag/lorem/index.html" class=
"btn btnCancel"><span>lorem</span></a> <a href="../tag/sample-test/index.html" class=
"btn btnCancel"><span>Sample Test</span></a> <a href="../tag/wirefra/index.html" class=
"btn btnCancel"><span>wire</span></a>
</nav>
</div>
<div class="feedsList">
<h4>Feed</h4><a href="/html/feed.html" target="_blank">Feed</a>
</div>
</div>
</aside>
</div>
</div>
</div>
</div>
</div>
......@@ -2,6 +2,7 @@
layout: post
author: Andre
title: Frama-C 15 (Phosphorus) released, and open source case studies
categories: pony
---
......
......@@ -14,14 +14,16 @@
<link rel="stylesheet" href="/assets/css/blog.css">
<link rel="stylesheet" href="/assets/css/documentation.css">
<link rel="stylesheet" href="/assets/css/blog.css">
<link rel="stylesheet" href="/assets/css/blog.css">
<link rel="shortcut icon" href="/assets/img/favicon.ico" type="image/x-icon">
</head>
<div id="wrapper" class="hfeed">
<div id="wrapper" class="hfeed">
<header class="siteHeader" id="site_header">
<div id="header_iv_point" class="inviewTop"></div><span class="brandLogo"><a href="../index.html" rel="home" title=
"Frama-C"><img src="/assets/img/framac.gif" alt=""><span>Frama-C</span></a></span><a role="button" id=
......@@ -64,174 +66,175 @@
</div><a role="button" href="/html/get-frama-c.html" id="header_download_link" class="btnDownload"><span><i class=
"icon icon-curly-left"></i><i class="icon icon-download-arrow"></i><i class="icon icon-curly-right"></i></span></a>
</nav>
</header>
<div id="container" class="mainContainer">
<div class="defaultPage blogsPage" id="content" role="main">
<div class="contentWrap">
<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=
"icon icon-search"></i></button><input type="text" name="s" value="" required="" placeholder=
"Search for the post here"><input type="hidden" name="post_type" value="post">
<div class="error" id="top_search_error" style="display: none;" role="alert">
Enter Search Term
</div>
</form>
</div>
<div class="contentWrap">
<div class="blogsSection">
<div class="blogsSectionContent">
<div class="postLists">
<article>
<figure>
<a href="/jekyll/update/2019/08/22/welcome-to-jekyll.html" class="img" style=
"background-image: url(/assets/img/default-blog.jpg);"></a>
</figure>
<div class="content">
<h3><a href="/jekyll/update/2019/08/22/welcome-to-jekyll.html">Welcome to Jekyll!</a>
<address>
on 22 August 2019
</address></h3>
<p>You’ll find this post in your _posts directory. Go ahead and edit it and re-build the site to see your changes. You can rebuild the site in many different ways, but the most common way is to run jekyll serve, which launches a web server and auto-regenerates your site when...</p><a href="/jekyll/update/2019/08/22/welcome-to-jekyll.html">Read More</a>
</div>
</article>
<article>
<figure>
<a href="/2019/06/22/jungle.html" class="img" style=
"background-image: url(/assets/img/default-blog.jpg);"></a>
</figure>
<div class="content">
<h3><a href="/2019/06/22/jungle.html">Frama-C 15 (Phosphorus) released, and open source case studies</a>
<address>
Andre on 22 June 2019
</address></h3>
<p>Frama-C 15 (Phosphorus) has been released, and the OPAM package is already available! A MinGW-based OPAM package, distributed by fdopens MinGW OPAM repository, is also available. In this post, we briefly highlight two new features in this release. We also announce the release of a new Github repository, open-source-case-studies, which...</p><a href="/2019/06/22/jungle.html">Read More</a>
</div>
</article>
<article>
<figure>
<a href="/2018/06/13/test.html" class="img" style=
"background-image: url(/assets/img/default-blog.jpg);"></a>
</figure>
<div class="content">
<h3><a href="/2018/06/13/test.html">Frama-C 15 (Phosphorus) released, and open source case studies</a>
<address>
Andre on 13 June 2018
</address></h3>
<p>Frama-C 15 (Phosphorus) has been released, and the OPAM package is already available! A MinGW-based OPAM package, distributed by fdopens MinGW OPAM repository, is also available. In this post, we briefly highlight two new features in this release. We also announce the release of a new Github repository, open-source-case-studies, which...</p><a href="/2018/06/13/test.html">Read More</a>
</div>
</article>
<article>
<figure>
<a href="/2018/06/13/pomm.html" class="img" style=
"background-image: url(/assets/img/default-blog.jpg);"></a>
</figure>
<div class="content">
<h3><a href="/2018/06/13/pomm.html">Frama-C 15 (Phosphorus) released, and open source case studies</a>
<address>
Andre on 13 June 2018
</address></h3>
<p>Frama-C 15 (Phosphorus) has been released, and the OPAM package is already available! A MinGW-based OPAM package, distributed by fdopens MinGW OPAM repository, is also available. In this post, we briefly highlight two new features in this release. We also announce the release of a new Github repository, open-source-case-studies, which...</p><a href="/2018/06/13/pomm.html">Read More</a>
</div>
</article>
<article>
<figure>
<a href="/2018/06/13/pla.html" class="img" style=
"background-image: url(/assets/img/default-blog.jpg);"></a>
</figure>
<div class="content">
<h3><a href="/2018/06/13/pla.html">Frama-C 15 (Phosphorus) released, and open source case studies</a>
<address>
Andre on 13 June 2018
</address></h3>
<p>Frama-C 15 (Phosphorus) has been released, and the OPAM package is already available! A MinGW-based OPAM package, distributed by fdopens MinGW OPAM repository, is also available. In this post, we briefly highlight two new features in this release. We also announce the release of a new Github repository, open-source-case-studies, which...</p><a href="/2018/06/13/pla.html">Read More</a>
</div>
</article>
</div>
<div class="pagination clearfix">
<span class='page-numbers current'>1</span>
<a class='page-numbers' href="/blog/page2/">2</a>
<a class="next page-numbers" href="/blog/page2/">Next »</a>
</div>
</div>
<aside id="sidebar" role="complementary">
<div id="sidebar_iv_point" class="inviewTop"></div>
<div id="sidebar_wrap" class="sidebarWrap">
<form class="searchForm" action="../index.html" data-parsley-validate="">
<input type="text" name="s" required="" value="" placeholder="Search for the post here"> <input type="hidden"
name="post_type" value="post"> <button type="submit" class="submit searchLink pull-left disabled" title=
"Search"><i class="icon icon-search"></i></button>
<div class="error" id="top_search_error" style="display: none;" role="alert">
Enter Search Term
</div>
</form>
<div class="tagsList">
<h4>Popular tags</h4>
<nav>
<a href="../tag/des/index.html" class="btn btnCancel"><span>Blog Test</span></a> <a href=
"../tag/test/index.html" class="btn btnCancel"><span>C - Programming</span></a> <a href=
"../tag/demo/index.html" class="btn btnCancel"><span>demo</span></a> <a href="../tag/ipsum/index.html" class=
"btn btnCancel"><span>ipsum</span></a> <a href="../tag/lorem/index.html" class=
"btn btnCancel"><span>lorem</span></a> <a href="../tag/sample-test/index.html" class=
"btn btnCancel"><span>Sample Test</span></a> <a href="../tag/wirefra/index.html" class=
"btn btnCancel"><span>wire</span></a>
</nav>
</div>
<div class="feedsList">
<h4>Feed</h4><a href="/html/feed.html" target="_blank">Feed</a>
</div>
</div>
</aside>
</div>
</div>
</div>
</div>
</div>
</header>
<div id="container" class="mainContainer">
<div class="defaultPage blogsPage" id="content" role="main">
<div class="contentWrap">
<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=
"icon icon-search"></i></button><input type="text" name="s" value="" required="" placeholder=
"Search for the post here"><input type="hidden" name="post_type" value="post">
<div class="error" id="top_search_error" style="display: none;" role="alert">
Enter Search Term
</div>
</form>
</div>
<div class="contentWrap">
<div class="blogsSection">
<div class="blogsSectionContent">
<div class="postLists">
<article>
<figure>
<a href="/jekyll/update/2019/08/22/welcome-to-jekyll.html" class="img" style=
"background-image: url(/assets/img/default-blog.jpg);"></a>
</figure>
<div class="content">
<h3><a href="/jekyll/update/2019/08/22/welcome-to-jekyll.html">Welcome to Jekyll!</a>
<address>
on 22 August 2019
</address></h3>
<p>You’ll find this post in your _posts directory. Go ahead and edit it and re-build the site to see your changes. You can rebuild the site in many different ways, but the most common way is to run jekyll serve, which launches a web server and auto-regenerates your site when...</p><a href="/jekyll/update/2019/08/22/welcome-to-jekyll.html">Read More</a>
</div>
</article>
<article>
<figure>
<a href="/pony/2019/06/22/jungle.html" class="img" style=
"background-image: url(/assets/img/default-blog.jpg);"></a>
</figure>
<div class="content">
<h3><a href="/pony/2019/06/22/jungle.html">Frama-C 15 (Phosphorus) released, and open source case studies</a>
<address>
Andre on 22 June 2019
</address></h3>
<p>Frama-C 15 (Phosphorus) has been released, and the OPAM package is already available! A MinGW-based OPAM package, distributed by fdopens MinGW OPAM repository, is also available. In this post, we briefly highlight two new features in this release. We also announce the release of a new Github repository, open-source-case-studies, which...</p><a href="/pony/2019/06/22/jungle.html">Read More</a>
</div>
</article>
<article>
<figure>
<a href="/2018/06/13/test.html" class="img" style=
"background-image: url(/assets/img/default-blog.jpg);"></a>
</figure>
<div class="content">
<h3><a href="/2018/06/13/test.html">Frama-C 15 (Phosphorus) released, and open source case studies</a>
<address>
Andre on 13 June 2018
</address></h3>
<p>Frama-C 15 (Phosphorus) has been released, and the OPAM package is already available! A MinGW-based OPAM package, distributed by fdopens MinGW OPAM repository, is also available. In this post, we briefly highlight two new features in this release. We also announce the release of a new Github repository, open-source-case-studies, which...</p><a href="/2018/06/13/test.html">Read More</a>
</div>
</article>
<article>
<figure>
<a href="/2018/06/13/pomm.html" class="img" style=
"background-image: url(/assets/img/default-blog.jpg);"></a>
</figure>
<div class="content">
<h3><a href="/2018/06/13/pomm.html">Frama-C 15 (Phosphorus) released, and open source case studies</a>
<address>
Andre on 13 June 2018
</address></h3>
<p>Frama-C 15 (Phosphorus) has been released, and the OPAM package is already available! A MinGW-based OPAM package, distributed by fdopens MinGW OPAM repository, is also available. In this post, we briefly highlight two new features in this release. We also announce the release of a new Github repository, open-source-case-studies, which...</p><a href="/2018/06/13/pomm.html">Read More</a>
</div>
</article>
<article>
<figure>
<a href="/2018/06/13/pla.html" class="img" style=
"background-image: url(/assets/img/default-blog.jpg);"></a>
</figure>
<div class="content">
<h3><a href="/2018/06/13/pla.html">Frama-C 15 (Phosphorus) released, and open source case studies</a>
<address>
Andre on 13 June 2018
</address></h3>
<p>Frama-C 15 (Phosphorus) has been released, and the OPAM package is already available! A MinGW-based OPAM package, distributed by fdopens MinGW OPAM repository, is also available. In this post, we briefly highlight two new features in this release. We also announce the release of a new Github repository, open-source-case-studies, which...</p><a href="/2018/06/13/pla.html">Read More</a>
</div>
</article>
</div>
<div class="pagination clearfix">
<span class='page-numbers current'>1</span>
<a class='page-numbers' href="/blog/page2/">2</a>
<a class="next page-numbers" href="/blog/page2/">Next »</a>
</div>
</div>
<aside id="sidebar" role="complementary">
<div id="sidebar_iv_point" class="inviewTop"></div>
<div id="sidebar_wrap" class="sidebarWrap">
<form class="searchForm" action="../index.html" data-parsley-validate="">
<input type="text" name="s" required="" value="" placeholder="Search for the post here"> <input type="hidden"
name="post_type" value="post"> <button type="submit" class="submit searchLink pull-left disabled" title=
"Search"><i class="icon icon-search"></i></button>
<div class="error" id="top_search_error" style="display: none;" role="alert">
Enter Search Term
</div>
</form>
<div class="tagsList">
<h4>Popular tags</h4>
<nav>
<a href="../tag/des/index.html" class="btn btnCancel"><span>Blog Test</span></a> <a href=
"../tag/test/index.html" class="btn btnCancel"><span>C - Programming</span></a> <a href=
"../tag/demo/index.html" class="btn btnCancel"><span>demo</span></a> <a href="../tag/ipsum/index.html" class=
"btn btnCancel"><span>ipsum</span></a> <a href="../tag/lorem/index.html" class=
"btn btnCancel"><span>lorem</span></a> <a href="../tag/sample-test/index.html" class=
"btn btnCancel"><span>Sample Test</span></a> <a href="../tag/wirefra/index.html" class=
"btn btnCancel"><span>wire</span></a>
</nav>
</div>
<div class="feedsList">
<h4>Feed</h4><a href="/html/feed.html" target="_blank">Feed</a>
</div>
</div>
</aside>
</div>
</div>
</div>
</div>
</div>
</div>
......
......@@ -14,14 +14,16 @@
<link rel="stylesheet" href="/assets/css/blog.css">
<link rel="stylesheet" href="/assets/css/documentation.css">
<link rel="stylesheet" href="/assets/css/blog.css">
<link rel="stylesheet" href="/assets/css/blog.css">
<link rel="shortcut icon" href="/assets/img/favicon.ico" type="image/x-icon">
</head>
<div id="wrapper" class="hfeed">
<div id="wrapper" class="hfeed">
<header class="siteHeader" id="site_header">
<div id="header_iv_point" class="inviewTop"></div><span class="brandLogo"><a href="../index.html" rel="home" title=
"Frama-C"><img src="/assets/img/framac.gif" alt=""><span>Frama-C</span></a></span><a role="button" id=
......@@ -64,106 +66,107 @@
</div><a role="button" href="/html/get-frama-c.html" id="header_download_link" class="btnDownload"><span><i class=
"icon icon-curly-left"></i><i class="icon icon-download-arrow"></i><i class="icon icon-curly-right"></i></span></a>
</nav>
</header>
<div id="container" class="mainContainer">
<div class="defaultPage blogsPage" id="content" role="main">
<div class="contentWrap">
<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=
"icon icon-search"></i></button><input type="text" name="s" value="" required="" placeholder=
"Search for the post here"><input type="hidden" name="post_type" value="post">
<div class="error" id="top_search_error" style="display: none;" role="alert">
Enter Search Term
</div>
</form>
</div>
<div class="contentWrap">
<div class="blogsSection">
<div class="blogsSectionContent">
<div class="postLists">
<article>
<figure>
<a href="/2018/06/13/arbre.html" class="img" style=
"background-image: url(/assets/img/default-blog.jpg);"></a>
</figure>
<div class="content">
<h3><a href="/2018/06/13/arbre.html">Frama-C 15 (Phosphorus) released, and open source case studies</a>
<address>
Andre on 13 June 2018
</address></h3>
<p>Frama-C 15 (Phosphorus) has been released, and the OPAM package is already available! A MinGW-based OPAM package, distributed by fdopens MinGW OPAM repository, is also available. In this post, we briefly highlight two new features in this release. We also announce the release of a new Github repository, open-source-case-studies, which...</p><a href="/2018/06/13/arbre.html">Read More</a>
</div>
</article>
</div>
<div class="pagination clearfix">
<a class="prev page-numbers" href="/blog/">« Previous</a>
<a class='page-numbers' href="/blog/index.html">1</a>
<span class='page-numbers current'>2</span>