Commit 50132a9c authored by Allan Blanchard's avatar Allan Blanchard
Browse files

Add plugin priorities, use them for kernel-plugins

parent b879d7d6
......@@ -44,9 +44,6 @@ exclude: ['download',_jobs/skeleton.md]
collections:
fc-plugins:
output: true
order:
- eva.md
- wp.md
fc-publications:
output: false
# case_studies:
......
......@@ -3,6 +3,7 @@ layout: plugin
title: E-ACSL
description: Runtime Verification Tool
key: main
priority: 2
manual_pdf: /download/e-acsl/e-acsl-manual.pdf
additional:
- name: "E-ACSL language reference manual"
......
......@@ -5,6 +5,7 @@ short: Eva
description: Automatically computes variation domains for the variables of the program.
key: main
distrib_mode: main
priority: 0
manual_pdf: /download/frama-c-value-analysis.pdf
---
......
......@@ -4,6 +4,7 @@ title: WP
description: Deductive proofs of ACSL contracts.
key: main
distrib_mode: main
priority: 0
manual_pdf: /download/frama-c-wp-manual.pdf
additional:
- name: "ACSL by Example, by Fraunhofer FOKUS"
......
......@@ -63,8 +63,7 @@ description: Quick access to the documentation of Frama-C and the plugins develo
<li><a href="/download/frama-c-plugin-development-guide.pdf">Developer manual</a></li>
</ul>
</div>
{% assign sorted = site.fc-plugins | sort: 'title' %}
{% for plugin in sorted %}
{% for plugin in site.fc-plugins %}
<div class="tile">
<h4 class="tileTitle">
<span>
......
......@@ -13,14 +13,18 @@ active: "kernel-plugin"
<span>{{ category.name }}</span>
</div>
{% for distrib in site.data.plugins_distrib_mode %}
{% for plugin in site.fc-plugins %}
{% if plugin.key == category.key and plugin.distrib_mode == distrib.key %}
<a role="link" href="{{ plugin.url }}" class="tile">
<h4 class="tileTitle"><span>{% if plugin.short %}{{ plugin.short }}{% else %}{{ plugin.title }}{% endif %}</span></h4>
<p>{{ plugin.description }}</p>
<p>{{ distrib.name }}</p>
</a>
{% endif %}
{% assign priorities = site.fc-plugins | group_by: "priority" | sort: "name" %}
{% for prio in priorities %}
{% assign plugins = prio.items | sort: "title" %}
{% for plugin in plugins %}
{% if plugin.key == category.key and plugin.distrib_mode == distrib.key %}
<a role="link" href="{{ plugin.url }}" class="tile">
<h4 class="tileTitle"><span>{% if plugin.short %}{{ plugin.short }}{% else %}{{ plugin.title }}{% endif %}</span></h4>
<p>{{ plugin.description }}</p>
<p>{{ distrib.name }}</p>
</a>
{% endif %}
{% endfor %}
{% endfor %}
{% endfor %}
</div>
......
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