Skip to content
Snippets Groups Projects
documentation.html 2.42 KiB
---
css: documentation
layout: default
title: Documentation - Frama-C
---

<body class="page-template page-template-page-documentation page-template-page-documentation-php page page-id-20 nonTouch"> 

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

    <div id="container" class="mainContainer">
      <div class="pageDocumentation pages">
        <div class="bgTextbig">
          Documentation
        </div>

        <div class="wrap">
          <h1 class="pageTitle">Documentation</h1>

          <div class="pageBanner" style=
          "background-image:url('https://framac.s3.amazonaws.com/production/uploads/2017/07/banner.jpg');background-size:cover;">
            <p>All the documentation<br>
            you need !</p>
          </div>

          <div class="docListwrap">
            <section>
              <div class="docListTitle">
                <span>PLUG-INS</span>
              </div>

			  {% for plugin in site.fc-plugins %}
				  <div class="listItem">
					<div>
					  <h4 class="listItemTitle" data-bgtext="{{ plugin.title }}"><span>{{ plugin.title }}</span></h4>

					  <p>{{ plugin.description }}</p><span class="docReadMore">Read
					  More</span><a class="linkReadmore" href="{{ plugin.url }}"></a> <a class="btnPdfDownload" target="_blank"
					  href="{{ plugin.download }}"><i class="icon-download-arrow"></i></a>
					</div>
				  </div>
			  {% endfor %}
            </section>

            <section>
              <div class="docListTitle">
                <span>ACSL (ANSI/ISO-C Specification Language)</span>
              </div>

              <div class="listItem">
                <div>
                  <h4 class="listItemTitle" data-bgtext="ACSL Reference Manual"><span>ACSL Reference Manual</span></h4>

                  <p>Lorem Ipsum is simply dummy text of the printing and typesetting industry. Lorem Ipsum has been the industrys
                  standard dummy text ever since the 1500s, when an unknown printer took...</p><a class="btnPdfDownload" target=
                  "_blank" href="https://framac.s3.amazonaws.com/production/uploads/2017/08/download.pdf"><i class=
                  "icon-download-arrow"></i></a>
                </div>
              </div>
            </section>
          </div>
        </div>
      </div>

      {% include footer.html %}

      <div class="clear"></div>
    </div>
  </div>
</body>