Tutorials
Frama-C Framework
{% include publication-entries.html
category="tutorials" plugin="general" %}
{% for category in site.data.publications %}
{% for plugin in category.plugins %}
{% assign publis = site.fc-publications | where:"plugin",plugin.id | where:"category","tutorials" %}
{% if 0 != publis.size %}
{{ plugin.name }}
{% include publication-entries.html
category="tutorials" plugin=plugin.id %}
{% endif %}
{% endfor %}
{% endfor %}