Skip to content
Snippets Groups Projects

Compare revisions

Changes are shown as if the source revision was being merged into the target revision. Learn more about comparing revisions.

Source

Select target project
No results found

Target

Select target project
  • pub/pub.frama-c.com
1 result
Show changes
......@@ -69,7 +69,7 @@ function(err, data) {
<div id="wrapper" class="hfeed">
{% include headers.html header=3 %}
{% include headers.html header=6 %}
<div id="container" class="mainContainer">
<div class="pageContact pages">
......
---
layout: default
layout: feature
css: plugin
title: Kernel & Plugins - Frama-C
active: 1
---
<body class="page-template page-template-page-kernel_plugins page-template-page-kernel_plugins-php page page-id-16 nonTouch">
<div id="wrapper" class="hfeed">
{% include headers.html header=2 %}
<div id="container" class="mainContainer">
<div class="tabs">
<div class="wrap">
<a class="active tabLink" href="kernel-plugin.html">Plugins</a> <em></em> <a class="tabLink" href=
"/html/kernel.html">Kernel</a> <em></em> <a class="tabLink" href="/html/acsl.html">ACSL</a>
<div class="tabOptions">
<div class="pluginSearch">
<!-- <form class="searchForm" method="get" action="kernel-plugin.html" data-parsley-validate=""> -->
<!-- <button type="submit" class="submit searchLink" title="Search"><i class="icon icon-search"></i></button> -->
<!-- <input type="text" name="plugin" placeholder="Search for the plugins here" data-parsley-required=""> -->
<!-- <div class="error" id="top_search_error" style="display: none;" role="alert"></div> -->
<!-- </form> -->
<!-- Documentation plugin -->
<a class="btn" target="_blank" href="frama-c-plugin-development-guide.pdf"><span>Write Your Own Plugin</span></a>
</div>
</div>
</div>
</div>
<div class="pagePlugin pages">
<div class="wrap">
<div class="docListwrap">
{% for category in site.data.plugins_categories %}
<section>
<div class="docListTitle">
<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="listItem">
<div>
<h4 class="listItemTitle"><span>{{ plugin.title }}</span></h4>
<p>{{ plugin.description }}</p>
<p>{{ distrib.name }}</p>
</div>
</a>
{% endif %}
{% endfor %}
{% endfor %}
</section>
{% endfor %}
</div>
</div>
</div>
{% include footer.html %}
<div class="clear"></div>
</div>
<div class="docListwrap">
{% for category in site.data.plugins_categories %}
<section>
<div class="docListTitle">
<span>{{ category.name }}</span>
</div>
</body>
{% 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="listItem">
<div>
<h4 class="listItemTitle"><span>{{ plugin.title }}</span></h4>
<p>{{ plugin.description }}</p>
<p>{{ distrib.name }}</p>
</div>
</a>
{% endif %}
{% endfor %}
{% endfor %}
</section>
{% endfor %}
</div>
This diff is collapsed.
......@@ -379,23 +379,41 @@ value analysis.</span></span></span></span></span>
<div id="about_iv_point" class="inviewCenter"></div>
</section>
<section id="latest_events" class="section calendarScreen fullScreen" data-title="FOLLOW">
<section id="latest_events" class="section calendarScreen fullScreen" data-title="TIMELINE">
<div class="sectionContent">
<h2>Frama-C Calendar</h2>
<h2>Frama-C Timeline</h2>
<div class="eventScaleBlock">
<div class="scaleBg">
<u></u>
</div>
<div id="event_calender_swiper" class="swiper-container">
<div class="swiper-wrapper">
{% for event in site.events %}
<div class="swiper-slide"
{% if forloop.last %}
data-eventdate="latest"
{% endif %}
>
<a role="button" class="eventLink"><time>{{ event.date | date: "<b>%Y</b>" }}</time><span>{{ event.event }}</span></a>
</div>
{% endfor %}
</div>
</div>
</div>
<div id="events_iv_point" class="inviewCenter"></div>
<div id="event_detail_swiper" class="eventDetailsBlock swiper-container">
<div class="swiper-wrapper">
{% for event in site.events %}
{% for event in site.events %}
<div class="swiper-slide">
<div class="eventDetail" id="post_details_486">
<figure>
<span class="img" style=
"background-image: url({{ event.image }})"></span>
</figure>
<div class="contentBlk">
<time>{{ event.date | date: "<b>%-d</b><b>%B</b><small>%Y</small>" }}</time>
<div>
<time>{{ event.date | date: "<b>%-d</b><b>%B</b><small>%Y</small>" }}</time>
<div>
<h3>{{ event.title }}</h3>
<p>{{ event.content }}</p>
......@@ -403,32 +421,10 @@ value analysis.</span></span></span></span></span>
</div>
</div>
</div>
{% endfor %}
{% endfor %}
</div>
</div>
</div>
<div class="eventScaleBlock">
<div class="scaleBg">
<u></u>
</div>
<div id="event_calender_swiper" class="swiper-container">
<div class="swiper-wrapper">
{% for event in site.events %}
<div class="swiper-slide"
{% if forloop.last %}
data-eventdate="latest"
{% endif %}
>
<a role="button" class="eventLink"><time>{{ event.date | date: "<b>%-d</b><small>%B</small>" }}</time><span>{{ event.title }}</span></a>
</div>
{% endfor %}
</div>
</div>
</div>
<div id="events_iv_point" class="inviewCenter"></div>
</section>
<section class="section downloadSection fullScreen verticalFlex" id="download_screen" data-title="DOWNLOAD">
......