Skip to content
Snippets Groups Projects
Select Git revision
  • feature/bdesloges/rss-feed
  • feature/bdesloges/update-ivette-page
  • master default protected
  • improve-index-wip-proposal
  • fix/martin/fix-changelog-event-display
5 results
Blame Permalink
publications.html 3.19 KiB 
---
layout: default
title: Publications
css: publications
---

<body class="page nonTouch">
  <div class="sideMenu">
    <input class="nav-check" id="nav-check" type="checkbox">
    <nav class="navigation">
      <ul>
        <li><a href="#general">Frama-C Framework</a></li>
        {% for category in site.data.publications %}
          <li>
            <a class="nav-link" href="#{{ category.id }}">
              {% if category.short %}
                {{ category.short }}
              {% else %}
                {{ category.name }}
              {% endif %}
            </a><br/>
            <ul>
              {% for plugin in category.plugins %}
                <li>
                  <a class="nav-link" href="#{{ plugin.id }}">
                    {% if plugin.short %}
                      {{ plugin.short }}
                    {% else %}
                      {{ plugin.name }}
                    {% endif %}
                  </a>
                </li>
              {% endfor %}
            </ul>
          </li>
        {% endfor %}
      </ul>
    </nav>
    <label for="nav-check" class="menu-button"></label>
    <div class="nav-check-deactivator"></div>
  </div>

  <div id="wrapper" class="hfeed">
    {% include headers.html header="documentation" %}    

    <div id="container" class="mainContainer">
      <div class="pagePublications pages">
        <div class="wrap">
          <h1 class="pageTitle">Publications</h1>

          <h1 id="general" class="anchor"> Frama-C Framework </h1>
         
          {% include publication-entries.html
             title="Manuals" category="manuals" plugin="general" %}
          {% include publication-entries.html
             title="Foundational" category="foundational" plugin="general" %}
          {% include publication-entries.html
             title="About the Frama-C Kernel" category="kernel" plugin="general" %}
          {% include publication-entries.html
             title="Tutorials" category="tutorials" plugin="general" %}
          
          {% for category in site.data.publications %}
            <h1 id="{{ category.id }}" class="anchor"> {{ category.name }} </h1>
           
            {% for plugin in category.plugins %}
              <h3 id="{{ plugin.id }}" class="anchor"> {{ plugin.name }} </h3>
              {% include publication-entries.html 
                 title="Manuals" category="manuals" plugin=plugin.id %}
              {% include publication-entries.html
                 title="Theses" category="thesis" plugin=plugin.id %}
              {% include publication-entries.html
                 title="Foundational" category="foundational" plugin=plugin.id %}
              {% include publication-entries.html
                 title="Tutorials" category="tutorials" plugin=plugin.id %}
              {% include publication-entries.html
                 title="Others" category="other" plugin=plugin.id %}
            {% endfor %}

          {% endfor %}
        </div>
      </div>
    </div>
  </div>
</body>

<script>
  var links = document.getElementsByClassName("nav-link");
  var check = document.getElementById("nav-check");
  for (let link of links) {
    link.addEventListener("click", function() { check.checked = false; });
  }
</script>