---
layout: default
title: Blog - Frama-C
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 %}

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

	  <!-- <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 %}
		  <div class="goBackBtn">
            <a class="goBack2" href="/blog/index.html"><i class="icon-arrow-left"></i>Back</a>
          </div>
          <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 tabindex="-1" href="{{ post.url }}" class="img" style=
				"background-image: url({% if post.image %}{{ post.image }}{% else %}/assets/img/default-blog.jpg{% endif %});"></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 %}
		  {% if page.category %}
			{% assign path = "/category/:cat/page:num.html" | replace: ":cat", page.category | downcase %}
			{% assign index = "/category/:cat/index.html" | replace: ":cat", page.category | downcase %}
		  {% else %}
			{% assign path = site.paginate_path %}
			{% assign index = "/blog/index.html"%}			
		  {% endif %}
		  
		  <div class="pagination clearfix">
			{% if paginator.previous_page %}
			    <a class="prev page-numbers" href="{{ paginator.previous_page_path }}">« Previous</a>
				{% if paginator.previous_page != 1 %}
					<a class='page-numbers' href="{{ index }}">{{ 1 }}</a>
					...
				{% endif %}				
				{% if paginator.previous_page == 1%}
					<a class='page-numbers' href="{{ index }}">{{ 1 }}</a>
				{% else %}
					<a class='page-numbers' href="{{ path | replace: ':num', paginator.previous_page }}">{{ paginator.previous_page }}</a>
				{% endif %}
			{% endif %}
			<span class='page-numbers current'>{{ paginator.page }}</span>
			{% if paginator.next_page %}
			    <a class='page-numbers' href="{{ path | replace: ':num', paginator.next_page }}">{{ paginator.next_page }}</a>
				{% if paginator.next_page != paginator.total_pages %}
					...
					<a class='page-numbers' href="{{ path | replace: ':num', paginator.total_pages }}">{{ paginator.total_pages }}</a>
				{% endif %}
			    <a class="next page-numbers" href="{{ paginator.next_page_path }}">Next »</a>
			{% endif %}
		  </div>
		  {% endif %}
		</div>

		
            {% include sidebar_blog.html %}
	  </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>