Commit e1410de6 authored by Augustin Lemesle's avatar Augustin Lemesle
Browse files

Added blog and pagination

parent 731065ca
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" <p>This is the base Jekyll theme. You can find out more info about customizing your Jekyll theme, as well as basic Jekyll usage documentation at <a href="https://jekyllrb.com/">jekyllrb.com</a></p>
<p>You can find the source code for Minima at GitHub:
<a href="https://github.com/jekyll">jekyll</a> /
<a href="https://github.com/jekyll/minima">minima</a></p>
<p>You can find the source code for Jekyll at GitHub:
<a href="https://github.com/jekyll">jekyll</a> /
<a href="https://github.com/jekyll/jekyll">jekyll</a></p>
:ET
\ No newline at end of file
I"{<p>You’ll find this post in your <code class="highlighter-rouge">_posts</code> 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 <code class="highlighter-rouge">jekyll serve</code>, which launches a web server and auto-regenerates your site when a file is updated.</p>
:ET
\ No newline at end of file
I"´<p>You’ll find this post in your <code class="highlighter-rouge">_posts</code> 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 <code class="highlighter-rouge">jekyll serve</code>, which launches a web server and auto-regenerates your site when a file is updated.</p>
<p>Jekyll requires blog post files to be named according to the following format:</p>
<p><code class="highlighter-rouge">YEAR-MONTH-DAY-title.MARKUP</code></p>
<p>Where <code class="highlighter-rouge">YEAR</code> is a four-digit number, <code class="highlighter-rouge">MONTH</code> and <code class="highlighter-rouge">DAY</code> are both two-digit numbers, and <code class="highlighter-rouge">MARKUP</code> is the file extension representing the format used in the file. After that, include the necessary front matter. Take a look at the source for this post to get an idea about how it works.</p>
<p>Jekyll also offers powerful support for code snippets:</p>
<figure class="highlight"><pre><code class="language-ruby" data-lang="ruby"><span class="k">def</span> <span class="nf">print_hi</span><span class="p">(</span><span class="nb">name</span><span class="p">)</span>
<span class="nb">puts</span> <span class="s2">"Hi, </span><span class="si">#{</span><span class="nb">name</span><span class="si">}</span><span class="s2">"</span>
<span class="k">end</span>
<span class="n">print_hi</span><span class="p">(</span><span class="s1">'Tom'</span><span class="p">)</span>
<span class="c1">#=&gt; prints 'Hi, Tom' to STDOUT.</span></code></pre></figure>
<p>Check out the <a href="https://jekyllrb.com/docs/home">Jekyll docs</a> for more info on how to get the most out of Jekyll. File all bugs/feature requests at <a href="https://github.com/jekyll/jekyll">Jekyll’s GitHub repo</a>. If you have questions, you can ask them on <a href="https://talk.jekyllrb.com/">Jekyll Talk</a>.</p>
:ET
\ No newline at end of file
......@@ -28,3 +28,4 @@ end
# Performance-booster for watching directories on Windows
gem "wdm", "~> 0.1.1", :install_if => Gem.win_platform?
gem 'jekyll-paginate', group: :jekyll_plugins
......@@ -31,6 +31,7 @@ GEM
terminal-table (~> 1.8)
jekyll-feed (0.12.1)
jekyll (>= 3.7, < 5.0)
jekyll-paginate (1.1.0)
jekyll-sass-converter (2.0.0)
sassc (> 2.0.1, < 3.0)
jekyll-seo-tag (2.6.1)
......@@ -77,6 +78,7 @@ PLATFORMS
DEPENDENCIES
jekyll (~> 4.0.0)
jekyll-feed (~> 0.12)
jekyll-paginate
minima (~> 2.5)
tzinfo (~> 1.2)
tzinfo-data
......
......@@ -31,13 +31,16 @@ github_username: jekyll
# Build settings
theme: minima
plugins:
- jekyll-feed
plugins: [jekyll-feed, jekyll-paginate]
include: ['html', '_plugins']
include: ['html']
collections:
- plugins
fc-plugins:
output: true
paginate: 5
paginate_path: "/blog/page:num/"
# Exclude from processing.
# The following items will not be processed, by default.
......
- name: Main analyzers
key: main
- name: For test-case generation
key: test
- name: For concurrent programs
key: concurrent
- name: For code transformation
key: code
- name: For browsing unfamiliar code
key: browsing
---
layout: default
css: plugin
title: E-ACSL - Frama-C
layout: plugin
title: E-ACSL
description: Runtime Verification Tool
key: main
swipper: yes
download: http://frama-c.com/download/e-acsl/e-acsl-manual-19.0-Potassium.pdf
---
<h2 class="subTitle">E-ACSL</h2>
<aside>
<p>Runtime Verification Tool</p>
</aside>
<dl class="defnitionList">
<dt class="subTitle">Overview</dt>
......
---
layout: default
css: plugin
title: Evolved Value Analysis (EVA) - Frama-C
layout: plugin
title: Evolved Value Analysis (EVA)
description: Automatically computes variation domains for the variables of the program.
key: main
swipper: yes
---
<h2 class="subTitle">Evolved Value Analysis (EVA)</h2>
<figure class="pluginDetailThumb">
<img src="/assets/img/plugins/eva.png" alt="">
</figure>
<aside>
<p>Automatically computes variation domains for the variables of the program.</p>
</aside>
<dl class="defnitionList">
<dt class="subTitle">Value analysis based on abstract interpretation</dt>
......
---
layout: default
css: plugin
title: Impact analysis - Frama-C
layout: plugin
title: Impact analysis
description: Highlights the locations in the source code that are impacted by a modification.
key: browsing
---
<h2 class="subTitle">Impact analysis</h2>
<aside>
<p>Highlights the locations in the source code that are impacted by a modification.</p>
</aside>
<dl class="defnitionList">
<dt class="subTitle">Overview</dt>
......
---
layout: default
css: plugin
title: Jessie - Frama-C
layout: plugin
title: Jessie
description: A deductive verification plug-in.
key: main
---
<h2 class="subTitle">Jessie</h2>
<aside>
<p>A deductive verification plug-in.</p>
</aside>
<dl class="defnitionList">
<dt class="subTitle">Overview</dt>
......
---
layout: default
css: plugin
title: Metrics calculation - Frama-C
layout: plugin
title: Metrics calculation
description: Allows the user to compute various metrics from the source code.
key: browsing
---
<h2 class="subTitle">Metrics calculation</h2>
......
---
layout: default
css: plugin
title: Mthread - Frama-C
layout: plugin
title: Mthread
description: Analyzes concurrent C programs, taking into account all possible thread interactions. Provides precise information
about shared variables, which mutex protects a part of the code, etc.
key: concurrent
---
<h2 class="subTitle">Mthread</h2>
<aside>
<p>Analyzes concurrent C programs, taking into account all possible thread interactions. Provides precise information
about shared variables, which mutex protects a part of the code, etc.</p>
</aside>
<dl class="defnitionList">
<dt class="subTitle">Overview</dt>
......
---
layout: default
css: plugin
title: PathCrawler - Frama-C
layout: plugin
title: PathCrawler
description: PathCrawler automatically finds test-case inputs to ensure coverage of a C function. It can be used for structural
unit testing, as a complement to static analysis or to study the feasible execution paths of the function.
key: test
---
<h2 class="subTitle">PathCrawler</h2>
<figure class="pluginDetailThumb">
<img src="https://framac.s3.amazonaws.com/production/uploads/2017/10/pconline_summary.png" alt="">
</figure>
<aside>
<p>PathCrawler automatically finds test-case inputs to ensure coverage of a C function. It can be used for structural
unit testing, as a complement to static analysis or to study the feasible execution paths of the function.</p>
</aside>
<dl class="defnitionList">
<dt class="subTitle">What's it for ?</dt>
......
---
layout: default
css: plugin
title: Scope &amp; Data-flow browsing - Frama-C
layout: plugin
title: Scope &amp; Data-flow browsing
description: Allows the user to navigate the dataflow of the program, from definition to use or from use to definition.
key: browsing
---
<h2 class="subTitle">Scope &amp; Data-flow browsing</h2>
<aside>
<p>Allows the user to navigate the dataflow of the program, from definition to use or from use to definition.</p>
</aside>
<dl class="defnitionList">
<dt class="subTitle">Scope plug-in</dt>
......
---
layout: default
css: plugin
title: Semantic constant folding - Frama-C
layout: plugin
title: Semantic constant folding
description: Makes use of the results of the EVA plug-in to replace, in the source code, the constant expressions by their
values.
key: code
---
<h2 class="subTitle">Semantic constant folding</h2>
<aside>
<p>Makes use of the results of the EVA plug-in to replace, in the source code, the constant expressions by their
values.</p>
</aside>
<dl class="defnitionList">
<dt class="subTitle">Overview</dt>
......
---
layout: default
css: plugin
title: Spare code - Frama-C
layout: plugin
title: Spare code
description: Removes "spare code", code that does not contribute to the final results of the program.
key: code
---
<h2 class="subTitle">Spare code</h2>
<aside>
<p>Removes "spare code", code that does not contribute to the final results of the program.</p>
</aside>
<dl class="defnitionList">
<dt class="subTitle">Usage</dt>
......
---
layout: default
css: plugin
title: Occurrence analysis plug-in - Frama-C
layout: plugin
title: Occurrence analysis plug-in
description: Also provided as a simple example for new plug-in development, this plug-in allows the user to reach the
statements where a given variable is used.
key: browsing
---
<h2 class="subTitle">Occurrence analysis plug-in</h2>
<aside>
<p>Also provided as a simple example for new plug-in development, this plug-in allows the user to reach the
statements where a given variable is used.</p>
</aside>
<dl class="defnitionList">
<dt class="subTitle">Overview</dt>
......
---
layout: default
css: plugin
title: Studia - Frama-C
layout: plugin
title: Studia
description: Studia helps with EVA case studies on the GUI.
key: browsing
---
<h2 class="subTitle">Studia</h2>
<aside>
<p>Studia helps with EVA case studies on the GUI.</p>
</aside>
<dl class="defnitionList">
<dt class="subTitle">Studia, for case studies</dt>
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment