Frama-C v{{ page.number }} {{ page.name }}{% if page.beta %} [Beta] {% endif %}

{{ content }} {% for release in page.releases %} {% for categorie in release.categories %}

{{ categorie.name }} {% if forloop.index0 == 0 %} {% if release.changelog %} [Changelog] {% else %} [Changelog] {% endif %} {% endif %}

{% if categorie.sort %} {% assign files = categorie.files | sort: "name" %} {% else %} {% assign files = categorie.files %} {% endif %} {% for file in files %} {% endfor %}
{% endfor %} {% endfor %}