blog.html

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

		
            {% include sidebar_blog.html %}
	  </div>
	</div>
  </div>
</div>
</div>