Newer
Older
---
layout: default
title: Blog - Frama-C
css: blog
---
<div id="wrapper" class="hfeed">
<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="goBack" href="/html/blog.html"><i class="icon-arrow-left"></i>Back</a>
</div>
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
<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>
{% for category in site.categories %}
{% if page.paginator and page.title == category[0] %}
<a href="/category/{{ category[0] }}/index.html" class="btn btnCancel active"><span>{{ category[0] }}</span></a>
{% else %}
<a href="/category/{{ category[0] }}/index.html" class="btn btnCancel"><span>{{ category[0] }}</span></a>
{% endif %}
{% endfor %}