diff --git a/.gitattributes b/.gitattributes
new file mode 100644
index 0000000000000000000000000000000000000000..f5c4f9d5ca6bcd4ffab5e1d66470a59297ae8ebe
--- /dev/null
+++ b/.gitattributes
@@ -0,0 +1,6 @@
+*.pdf filter=lfs diff=lfs merge=lfs -text
+*.tgz filter=lfs diff=lfs merge=lfs -text
+*.exe filter=lfs diff=lfs merge=lfs -text
+*.tar.bz2 filter=lfs diff=lfs merge=lfs -text
+*.svg filter=lfs diff=lfs merge=lfs -text
+*.tar.gz filter=lfs diff=lfs merge=lfs -text
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 36eb44666f42fe6798acdebf39a8fc10ce3b5cee..363e8d38aac5581e3a0389f66b4a430dc162a26b 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -14,7 +14,7 @@ test:
stage: test
script:
- cd generator
- - ./generate ../assets/Changelog -o ../html/changelog.html
+ #- ./generate ../assets/Changelog -o ../html/changelog.html
- cd ..
- bundle exec jekyll build -d test
artifacts:
@@ -27,7 +27,9 @@ test:
pages:
stage: deploy
script:
- - cd generator; make html; make clean; cd ..
+ - cd generator
+ #- ./generate ../assets/Changelog -o ../html/changelog.html
+ - cd ..
- bundle exec jekyll build -d public
artifacts:
paths:
diff --git a/_site/feed.xml b/_site/feed.xml
index 449e592deb7efce408e0eb1d30fcc645330fedd7..6c40ee57b4dab6bed98b536755673f6f0c96a917 100644
--- a/_site/feed.xml
+++ b/_site/feed.xml
@@ -1,4 +1,8 @@
+<<<<<<< HEAD
+<?xml version="1.0" encoding="utf-8"?><feed xmlns="http://www.w3.org/2005/Atom" ><generator uri="https://jekyllrb.com/" version="4.0.0">Jekyll</generator><link href="http://localhost:4000/feed.xml" rel="self" type="application/atom+xml" /><link href="http://localhost:4000/" rel="alternate" type="text/html" /><updated>2019-09-06T09:12:47+02:00</updated><id>http://localhost:4000/feed.xml</id><title type="html">Your awesome title</title><subtitle>Write an awesome description for your new site here. You can edit this line in _config.yml. It will appear in your document head meta (for Google search results) and in your feed.xml site description.</subtitle><entry><title type="html">Welcome to Jekyll!</title><link href="http://localhost:4000/jekyll/update/2019/08/22/welcome-to-jekyll.html" rel="alternate" type="text/html" title="Welcome to Jekyll!" /><published>2019-08-22T13:59:15+02:00</published><updated>2019-08-22T13:59:15+02:00</updated><id>http://localhost:4000/jekyll/update/2019/08/22/welcome-to-jekyll</id><content type="html" xml:base="http://localhost:4000/jekyll/update/2019/08/22/welcome-to-jekyll.html"><p>You’ll find this post in your <code class="highlighter-rouge">_posts</code> directory. Go ahead and edit it and re-build the site to see your changes. You can rebuild the site in many different ways, but the most common way is to run <code class="highlighter-rouge">jekyll serve</code>, which launches a web server and auto-regenerates your site when a file is updated.</p>
+=======
<?xml version="1.0" encoding="utf-8"?><feed xmlns="http://www.w3.org/2005/Atom" ><generator uri="https://jekyllrb.com/" version="4.0.0">Jekyll</generator><link href="http://localhost:4000/feed.xml" rel="self" type="application/atom+xml" /><link href="http://localhost:4000/" rel="alternate" type="text/html" /><updated>2019-09-06T09:02:19+02:00</updated><id>http://localhost:4000/feed.xml</id><title type="html">Your awesome title</title><subtitle>Write an awesome description for your new site here. You can edit this line in _config.yml. It will appear in your document head meta (for Google search results) and in your feed.xml site description.</subtitle><entry><title type="html">Welcome to Jekyll!</title><link href="http://localhost:4000/jekyll/update/2019/08/22/welcome-to-jekyll.html" rel="alternate" type="text/html" title="Welcome to Jekyll!" /><published>2019-08-22T13:59:15+02:00</published><updated>2019-08-22T13:59:15+02:00</updated><id>http://localhost:4000/jekyll/update/2019/08/22/welcome-to-jekyll</id><content type="html" xml:base="http://localhost:4000/jekyll/update/2019/08/22/welcome-to-jekyll.html"><p>You’ll find this post in your <code class="highlighter-rouge">_posts</code> directory. Go ahead and edit it and re-build the site to see your changes. You can rebuild the site in many different ways, but the most common way is to run <code class="highlighter-rouge">jekyll serve</code>, which launches a web server and auto-regenerates your site when a file is updated.</p>
+>>>>>>> parent of e316d1c... lfs
<p>Jekyll requires blog post files to be named according to the following format:</p>
diff --git a/download/aorai-example-18.0-Argon.tgz b/download/aorai-example-18.0-Argon.tgz
index 37b975dba42caf284337ec68e71be3f6abc7ccb3..b7e7023b46e59fb9960d3b89c4fced4506241158 100644
Binary files a/download/aorai-example-18.0-Argon.tgz and b/download/aorai-example-18.0-Argon.tgz differ
diff --git a/download/aorai-example-19.0-Potassium.tgz b/download/aorai-example-19.0-Potassium.tgz
index e6dd9ef5f6f740bc2e37fe7562d274c6bb47202c..de14cfcb3c19d1d412d43e1936fd6405a3c681ac 100644
Binary files a/download/aorai-example-19.0-Potassium.tgz and b/download/aorai-example-19.0-Potassium.tgz differ
diff --git a/download/aorai-example-Chlorine-20180501.tgz b/download/aorai-example-Chlorine-20180501.tgz
index 2db6c85c2a1715d2c45d038a3b12b141496019ba..84a7c98c675c03247fb9ebacdd3024fa7a68185e 100644
Binary files a/download/aorai-example-Chlorine-20180501.tgz and b/download/aorai-example-Chlorine-20180501.tgz differ
diff --git a/download/aorai-example-Fluorine-20130401.tgz b/download/aorai-example-Fluorine-20130401.tgz
index 2708eab1af4bf9d132c78672544cfa09855271f0..c47094542d68a9d48d0d0148dda642ea4d9ec6bf 100644
Binary files a/download/aorai-example-Fluorine-20130401.tgz and b/download/aorai-example-Fluorine-20130401.tgz differ
diff --git a/download/aorai-example-Fluorine-20130501.tgz b/download/aorai-example-Fluorine-20130501.tgz
index ae93cda611b5e8261241d3fdb53f12f851fb1e24..2b9c637a8b17ac594f437f8bc3ff27bbddc32f90 100644
Binary files a/download/aorai-example-Fluorine-20130501.tgz and b/download/aorai-example-Fluorine-20130501.tgz differ
diff --git a/download/aorai-example-Fluorine-20130601.tgz b/download/aorai-example-Fluorine-20130601.tgz
index 8d1bb086767f4218f3fa8252ebab569dd865293e..dffd3047fdd8167ec25294f5c245d38c8e02ba06 100644
Binary files a/download/aorai-example-Fluorine-20130601.tgz and b/download/aorai-example-Fluorine-20130601.tgz differ
diff --git a/download/aorai-example-Nitrogen-20111001.tgz b/download/aorai-example-Nitrogen-20111001.tgz
index 603a1d1dc5f480705864ea0209fe23e683cf3f45..1c927d332099bb3679758d645130523323f10744 100644
Binary files a/download/aorai-example-Nitrogen-20111001.tgz and b/download/aorai-example-Nitrogen-20111001.tgz differ
diff --git a/download/aorai-example-Oxygen-20120901.tgz b/download/aorai-example-Oxygen-20120901.tgz
index e87fd00eef8a4bdf4c2ccdc608cd2294c1fcec95..7bd78d30222fd2e6b88f874032e2086f18416345 100644
Binary files a/download/aorai-example-Oxygen-20120901.tgz and b/download/aorai-example-Oxygen-20120901.tgz differ
diff --git a/download/aorai-example-Phosphorus-20170501.tgz b/download/aorai-example-Phosphorus-20170501.tgz
index a6e2fcd4c67ba6ef4e005b2650f488b8524d4654..184a0f11d058c03e7efc168bb69b09b485dd4120 100644
Binary files a/download/aorai-example-Phosphorus-20170501.tgz and b/download/aorai-example-Phosphorus-20170501.tgz differ
diff --git a/download/aorai-example-Sulfur-20171101.tgz b/download/aorai-example-Sulfur-20171101.tgz
index 10904f0eaab58c8195c620bc6730f3616a682c54..c6d8e5c328c01cd394b3550b75f3511541a13b67 100644
Binary files a/download/aorai-example-Sulfur-20171101.tgz and b/download/aorai-example-Sulfur-20171101.tgz differ
diff --git a/download/aorai/aorai-example-Beryllium.tgz b/download/aorai/aorai-example-Beryllium.tgz
index 10cecbc955e4f696a37644adb82a67b2ee5c583e..2981b82db2ada4d684e1d07f26cc7302e3e67f21 100644
Binary files a/download/aorai/aorai-example-Beryllium.tgz and b/download/aorai/aorai-example-Beryllium.tgz differ
diff --git a/download/aorai/aorai-example-Lithium.tgz b/download/aorai/aorai-example-Lithium.tgz
index f93d90d3f38297c256c4c64679e217157d079c44..b054e041f659a612bb8f3cceec8735511ddcd44f 100644
Binary files a/download/aorai/aorai-example-Lithium.tgz and b/download/aorai/aorai-example-Lithium.tgz differ
diff --git a/download/aorai/aorai-example.tgz b/download/aorai/aorai-example.tgz
index 2724eaec6f90d705e4287b926081b48691e385a6..00b8043e58f86b9a58e583351b7b1a1e32b40138 100644
Binary files a/download/aorai/aorai-example.tgz and b/download/aorai/aorai-example.tgz differ
diff --git a/download/frama-c-mthread-examples.tgz b/download/frama-c-mthread-examples.tgz
index 7ccb669f20331401bfb83748cceeca50829acf0d..7e96d90562277d6739a822ae1de43198c90bbe8f 100644
Binary files a/download/frama-c-mthread-examples.tgz and b/download/frama-c-mthread-examples.tgz differ
diff --git a/download/frama-c-mthread-graph.svg b/download/frama-c-mthread-graph.svg
index d14ad442cec3720a10a93b65034f1682f2338d16..74e9b4d2f09ce413c127e98d9749e16aac3820bb 100644
--- a/download/frama-c-mthread-graph.svg
+++ b/download/frama-c-mthread-graph.svg
@@ -1,265 +1,3 @@
-<?xml version="1.0" encoding="UTF-8" standalone="no"?>
-<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
- "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
-<!-- Generated by graphviz version 2.26.3 (20100126.1600)
- -->
-<!-- Title: G Pages: 1 -->
-<svg width="864pt" height="1100pt"
- viewBox="0.00 0.00 864.00 1100.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
-<g id="graph1" class="graph" transform="scale(1 1) rotate(0) translate(4 1096)">
-<title>G</title>
-<polygon fill="white" stroke="white" points="-4,5 -4,-1096 861,-1096 861,5 -4,5"/>
-<!-- v377 -->
-<g id="node1" class="node"><title>v377</title>
-<a xlink:href="#" xlink:title="Start: main">
-<polygon fill="none" stroke="#000000" points="698,-1092 604,-1092 604,-1056 698,-1056 698,-1092"/>
-<text text-anchor="middle" x="651" y="-1070.4" font-family="Times Roman,serif" font-size="14.00">Start: main</text>
-</a>
-</g>
-<!-- v360 -->
-<g id="node2" class="node"><title>v360</title>
-<a xlink:href="code.html#sid39" xlink:title="Call queuecreate((framac_mthread_name *)(& queue),5);">
-<polygon fill="#ffffff" stroke="#aaaaaa" points="856,-1018 446,-1018 446,-982 856,-982 856,-1018"/>
-<text text-anchor="middle" x="651" y="-996.4" font-family="Times Roman,serif" font-size="14.00">Call queuecreate((framac_mthread_name *)(& queue),5);</text>
-</a>
-</g>
-<!-- v377->v360 -->
-<g id="edge2" class="edge"><title>v377->v360</title>
-<path fill="none" stroke="black" d="M651,-1055.71C651,-1047.46 651,-1037.54 651,-1028.36"/>
-<polygon fill="black" stroke="black" points="654.5,-1028.08 651,-1018.08 647.5,-1028.08 654.5,-1028.08"/>
-</g>
-<!-- v375 -->
-<g id="node3" class="node"><title>v375</title>
-<a xlink:href="code.html#sid119" xlink:title="Creating queue &queue (size 5)">
-<polygon fill="#ffffff" stroke="#ff0000" points="769,-944 533,-944 533,-908 769,-908 769,-944"/>
-<text text-anchor="middle" x="651" y="-922.4" font-family="Times Roman,serif" font-size="14.00">Creating queue &queue (size 5)</text>
-</a>
-</g>
-<!-- v360->v375 -->
-<g id="edge4" class="edge"><title>v360->v375</title>
-<path fill="none" stroke="black" d="M651,-981.708C651,-973.464 651,-963.538 651,-954.362"/>
-<polygon fill="black" stroke="black" points="654.5,-954.082 651,-944.082 647.5,-954.082 654.5,-954.082"/>
-</g>
-<!-- v376 -->
-<g id="node4" class="node"><title>v376</title>
-<a xlink:href="code.html#sid157" xlink:title="return">
-<polygon fill="#ffffff" stroke="#aaaaaa" points="577,-870 517,-870 517,-834 577,-834 577,-870"/>
-<text text-anchor="middle" x="547" y="-848.4" font-family="Times Roman,serif" font-size="14.00">return</text>
-</a>
-</g>
-<!-- v360->v376 -->
-<g id="edge10" class="edge"><title>v360->v376</title>
-<path fill="none" stroke="black" stroke-dasharray="1,5" d="M573.003,-981.967C553.785,-973.655 535.449,-961.562 524,-944 509.254,-921.382 522.84,-889.986 534.51,-870.342"/>
-</g>
-<!-- v375->v376 -->
-<g id="edge6" class="edge"><title>v375->v376</title>
-<path fill="none" stroke="black" d="M625.559,-907.898C612.087,-898.312 595.363,-886.412 580.814,-876.06"/>
-<polygon fill="black" stroke="black" points="582.716,-873.118 572.539,-870.172 578.658,-878.821 582.716,-873.118"/>
-</g>
-<!-- v361 -->
-<g id="node5" class="node"><title>v361</title>
-<a xlink:href="code.html#sid41" xlink:title="while(1)">
-<polygon fill="#ffffff" stroke="#000000" points="584,-796 510,-796 510,-760 584,-760 584,-796"/>
-<text text-anchor="middle" x="547" y="-774.4" font-family="Times Roman,serif" font-size="14.00">while(1)</text>
-</a>
-</g>
-<!-- v376->v361 -->
-<g id="edge8" class="edge"><title>v376->v361</title>
-<path fill="none" stroke="black" d="M547,-833.708C547,-825.464 547,-815.538 547,-806.362"/>
-<polygon fill="black" stroke="black" points="550.5,-806.082 547,-796.082 543.5,-806.082 550.5,-806.082"/>
-</g>
-<!-- v362 -->
-<g id="node6" class="node"><title>v362</title>
-<a xlink:href="code.html#sid43" xlink:title="if (i < 5)">
-<polygon fill="#ffffff" stroke="#000000" points="377,-722 303,-722 303,-686 377,-686 377,-722"/>
-<text text-anchor="middle" x="340" y="-700.4" font-family="Times Roman,serif" font-size="14.00">if (i < 5)</text>
-</a>
-</g>
-<!-- v361->v362 -->
-<g id="edge12" class="edge"><title>v361->v362</title>
-<path fill="none" stroke="black" d="M509.993,-764.77C475.512,-752.444 423.958,-734.014 386.668,-720.683"/>
-<polygon fill="black" stroke="black" points="387.63,-717.31 377.035,-717.24 385.274,-723.902 387.63,-717.31"/>
-</g>
-<!-- v374 -->
-<g id="node10" class="node"><title>v374</title>
-<a xlink:href="code.html#sid137" xlink:title="return">
-<polygon fill="#ffffff" stroke="#aaaaaa" points="485,-246 425,-246 425,-210 485,-210 485,-246"/>
-<text text-anchor="middle" x="455" y="-224.4" font-family="Times Roman,serif" font-size="14.00">return</text>
-</a>
-</g>
-<!-- v361->v374 -->
-<g id="edge24" class="edge"><title>v361->v374</title>
-<path fill="none" stroke="black" d="M586.753,-753.754C602.085,-741.174 616,-724.194 616,-704 616,-704 616,-704 616,-349 616,-284.314 531.921,-249.93 485.283,-235.832"/>
-<polygon fill="black" stroke="black" points="584.496,-751.074 578.673,-759.925 588.744,-756.637 584.496,-751.074"/>
-</g>
-<!-- v370 -->
-<g id="node7" class="node"><title>v370</title>
-<a xlink:href="code.html#sid45" xlink:title="Call pthread_create(& jobs[i],(pthread_attr_t const *)((void *)0),& job,\n                    (void *)i);">
-<polygon fill="#ffffff" stroke="#aaaaaa" points="588,-632 92,-632 92,-588 588,-588 588,-632"/>
-<text text-anchor="middle" x="340" y="-615.4" font-family="Times Roman,serif" font-size="14.00">Call pthread_create(& jobs[i],(pthread_attr_t const *)((void *)0),& job,</text>
-<text text-anchor="middle" x="340" y="-597.4" font-family="Times Roman,serif" font-size="14.00">                    (void *)i);</text>
-</a>
-</g>
-<!-- v362->v370 -->
-<g id="edge14" class="edge"><title>v362->v370</title>
-<path fill="none" stroke="black" d="M340,-685.876C340,-673.512 340,-656.795 340,-642.199"/>
-<polygon fill="black" stroke="black" points="343.5,-642.039 340,-632.039 336.5,-642.039 343.5,-642.039"/>
-<text text-anchor="middle" x="356.5" y="-655.4" font-family="Times Roman,serif" font-size="14.00">then</text>
-</g>
-<!-- v363 -->
-<g id="node11" class="node"><title>v363</title>
-<a xlink:href="code.html#sid47" xlink:title="while(1)">
-<polygon fill="#ffffff" stroke="#000000" points="74,-628 3.55271e-14,-628 0,-592 74,-592 74,-628"/>
-<text text-anchor="middle" x="37" y="-606.4" font-family="Times Roman,serif" font-size="14.00">while(1)</text>
-</a>
-</g>
-<!-- v362->v363 -->
-<g id="edge16" class="edge"><title>v362->v363</title>
-<path fill="none" stroke="black" d="M302.757,-695.709C252.182,-683.969 159.334,-660.7 83,-632 82.899,-631.962 82.7979,-631.924 82.6968,-631.886"/>
-<polygon fill="black" stroke="black" points="83.7383,-628.531 73.1566,-628.005 81.1006,-635.015 83.7383,-628.531"/>
-<text text-anchor="middle" x="209" y="-655.4" font-family="Times Roman,serif" font-size="14.00">else</text>
-</g>
-<!-- v371 -->
-<g id="node8" class="node"><title>v371</title>
-<a xlink:href="code.html#sid57" xlink:title="Create thread &jobs[0]\nCreate thread &jobs[1]\nCreate thread &jobs[2]\nCreate thread &jobs[3]\nCreate thread &jobs[4]">
-<polygon fill="#ffffff" stroke="#ff0000" points="427,-550 253,-550 253,-452 427,-452 427,-550"/>
-<text text-anchor="middle" x="340" y="-533.4" font-family="Times Roman,serif" font-size="14.00">Create thread &jobs[0]</text>
-<text text-anchor="middle" x="340" y="-515.4" font-family="Times Roman,serif" font-size="14.00">Create thread &jobs[1]</text>
-<text text-anchor="middle" x="340" y="-497.4" font-family="Times Roman,serif" font-size="14.00">Create thread &jobs[2]</text>
-<text text-anchor="middle" x="340" y="-479.4" font-family="Times Roman,serif" font-size="14.00">Create thread &jobs[3]</text>
-<text text-anchor="middle" x="340" y="-461.4" font-family="Times Roman,serif" font-size="14.00">Create thread &jobs[4]</text>
-</a>
-</g>
-<!-- v370->v371 -->
-<g id="edge18" class="edge"><title>v370->v371</title>
-<path fill="none" stroke="black" d="M340,-587.942C340,-579.816 340,-570.178 340,-560.327"/>
-<polygon fill="black" stroke="black" points="343.5,-560.039 340,-550.04 336.5,-560.04 343.5,-560.039"/>
-</g>
-<!-- v370->v374 -->
-<g id="edge26" class="edge"><title>v370->v374</title>
-<path fill="none" stroke="black" stroke-dasharray="1,5" d="M394.341,-587.999C410.464,-578.72 426.371,-566.226 436,-550 495.872,-449.107 470.475,-297.7 459.273,-246.026"/>
-</g>
-<!-- v373 -->
-<g id="node9" class="node"><title>v373</title>
-<a xlink:href="code.html#sid61" xlink:title="Start thread &jobs[0]\nStart thread &jobs[1]\nStart thread &jobs[2]\nStart thread &jobs[3]\nStart thread &jobs[4]">
-<polygon fill="#ffffff" stroke="#ff0000" points="426,-398 262,-398 262,-300 426,-300 426,-398"/>
-<text text-anchor="middle" x="344" y="-381.4" font-family="Times Roman,serif" font-size="14.00">Start thread &jobs[0]</text>
-<text text-anchor="middle" x="344" y="-363.4" font-family="Times Roman,serif" font-size="14.00">Start thread &jobs[1]</text>
-<text text-anchor="middle" x="344" y="-345.4" font-family="Times Roman,serif" font-size="14.00">Start thread &jobs[2]</text>
-<text text-anchor="middle" x="344" y="-327.4" font-family="Times Roman,serif" font-size="14.00">Start thread &jobs[3]</text>
-<text text-anchor="middle" x="344" y="-309.4" font-family="Times Roman,serif" font-size="14.00">Start thread &jobs[4]</text>
-</a>
-</g>
-<!-- v371->v373 -->
-<g id="edge20" class="edge"><title>v371->v373</title>
-<path fill="none" stroke="black" d="M341.299,-451.65C341.662,-437.839 342.061,-422.683 342.438,-408.356"/>
-<polygon fill="black" stroke="black" points="345.943,-408.191 342.708,-398.102 338.946,-408.007 345.943,-408.191"/>
-</g>
-<!-- v373->v374 -->
-<g id="edge22" class="edge"><title>v373->v374</title>
-<path fill="none" stroke="black" d="M389.148,-299.785C403.698,-283.923 419.233,-266.989 431.558,-253.554"/>
-<polygon fill="black" stroke="black" points="434.231,-255.817 438.412,-246.082 429.073,-251.085 434.231,-255.817"/>
-</g>
-<!-- v364 -->
-<g id="node12" class="node"><title>v364</title>
-<a xlink:href="code.html#sid49" xlink:title="if (end[0])">
-<polygon fill="#ffffff" stroke="#000000" points="148,-519 64,-519 64,-483 148,-483 148,-519"/>
-<text text-anchor="middle" x="106" y="-497.4" font-family="Times Roman,serif" font-size="14.00">if (end[0])</text>
-</a>
-</g>
-<!-- v363->v364 -->
-<g id="edge28" class="edge"><title>v363->v364</title>
-<path fill="none" stroke="black" d="M48.7049,-591.51C59.7747,-574.023 76.5117,-547.583 89.0422,-527.788"/>
-<polygon fill="black" stroke="black" points="92.0765,-529.539 94.468,-519.217 86.1619,-525.795 92.0765,-529.539"/>
-</g>
-<!-- v367 -->
-<g id="node18" class="node"><title>v367</title>
-<a xlink:href="code.html#sid127" xlink:title="return">
-<polygon fill="#ffffff" stroke="#aaaaaa" points="187,-36 127,-36 127,-1.77636e-14 187,-3.55271e-15 187,-36"/>
-<text text-anchor="middle" x="157" y="-14.4" font-family="Times Roman,serif" font-size="14.00">return</text>
-</a>
-</g>
-<!-- v363->v367 -->
-<g id="edge44" class="edge"><title>v363->v367</title>
-<path fill="none" stroke="black" d="M34.6022,-581.9C32.9311,-559.901 31,-528.525 31,-501 31,-501 31,-501 31,-123 31,-73.3114 89.5439,-42.5757 126.82,-28.0419"/>
-<polygon fill="black" stroke="black" points="31.1145,-582.195 35.3921,-591.888 38.0928,-581.643 31.1145,-582.195"/>
-</g>
-<!-- v368 -->
-<g id="node13" class="node"><title>v368</title>
-<a xlink:href="code.html#sid52" xlink:title="if (end2)\nread end2">
-<polygon fill="#ccccff" stroke="#000000" points="238,-371 152,-371 152,-327 238,-327 238,-371"/>
-<text text-anchor="middle" x="195" y="-354.4" font-family="Times Roman,serif" font-size="14.00">if (end2)</text>
-<text text-anchor="middle" x="195" y="-336.4" font-family="Times Roman,serif" font-size="14.00">read end2</text>
-</a>
-</g>
-<!-- v364->v368 -->
-<g id="edge30" class="edge"><title>v364->v368</title>
-<path fill="none" stroke="black" d="M116.559,-482.967C131.436,-457.558 158.775,-410.867 176.923,-379.874"/>
-<polygon fill="black" stroke="black" points="179.975,-381.588 182.007,-371.19 173.934,-378.051 179.975,-381.588"/>
-<text text-anchor="middle" x="170.5" y="-421.4" font-family="Times Roman,serif" font-size="14.00">then</text>
-</g>
-<!-- v365 -->
-<g id="node16" class="node"><title>v365</title>
-<a xlink:href="code.html#sid54" xlink:title="Call msgrcv(queue,2,end);">
-<polygon fill="#ffffff" stroke="#aaaaaa" points="255,-246 59,-246 59,-210 255,-210 255,-246"/>
-<text text-anchor="middle" x="157" y="-224.4" font-family="Times Roman,serif" font-size="14.00">Call msgrcv(queue,2,end);</text>
-</a>
-</g>
-<!-- v364->v365 -->
-<g id="edge32" class="edge"><title>v364->v365</title>
-<path fill="none" stroke="black" d="M103.959,-482.78C100.558,-446.917 95.8555,-365.005 115,-300 119.75,-283.871 128.84,-267.552 137.352,-254.537"/>
-<polygon fill="black" stroke="black" points="140.362,-256.335 143.092,-246.098 134.574,-252.398 140.362,-256.335"/>
-<text text-anchor="middle" x="129" y="-345.4" font-family="Times Roman,serif" font-size="14.00">else</text>
-</g>
-<!-- v369 -->
-<g id="node14" class="node"><title>v369</title>
-<a xlink:href="code.html#sid133" xlink:title="exit">
-<polygon fill="#ffffff" stroke="#000000" points="328,-246 274,-246 274,-210 328,-210 328,-246"/>
-<text text-anchor="middle" x="301" y="-224.4" font-family="Times Roman,serif" font-size="14.00">exit</text>
-</a>
-</g>
-<!-- v368->v369 -->
-<g id="edge34" class="edge"><title>v368->v369</title>
-<path fill="none" stroke="black" d="M214.442,-326.807C232.541,-306.147 259.508,-275.363 278.523,-253.657"/>
-<polygon fill="black" stroke="black" points="281.181,-255.935 285.138,-246.107 275.916,-251.322 281.181,-255.935"/>
-<text text-anchor="middle" x="283.5" y="-269.4" font-family="Times Roman,serif" font-size="14.00">then</text>
-</g>
-<!-- v368->v365 -->
-<g id="edge36" class="edge"><title>v368->v365</title>
-<path fill="none" stroke="black" d="M188.03,-326.807C181.741,-306.781 172.465,-277.244 165.693,-255.682"/>
-<polygon fill="black" stroke="black" points="169.022,-254.599 162.686,-246.107 162.343,-256.696 169.022,-254.599"/>
-<text text-anchor="middle" x="188" y="-269.4" font-family="Times Roman,serif" font-size="14.00">else</text>
-</g>
-<!-- v357 -->
-<!-- v369->v357 -->
-<g id="edge38" class="edge"><title>v369->v357</title>
-<path fill="none" stroke="black" d="M301,-209.71C301,-193.6 301,-169.878 301,-151.316"/>
-<polygon fill="black" stroke="black" points="304.5,-151.08 301,-141.08 297.5,-151.08 304.5,-151.08"/>
-</g>
-<!-- v366 -->
-<g id="node17" class="node"><title>v366</title>
-<a xlink:href="code.html#sid126" xlink:title="Receiving\nmessage\non &queue,\nmax size 2,\nstored in &end.">
-<polygon fill="#ffffff" stroke="#ff0000" points="218,-172 96,-172 96,-74 218,-74 218,-172"/>
-<text text-anchor="middle" x="157" y="-155.4" font-family="Times Roman,serif" font-size="14.00">Receiving</text>
-<text text-anchor="middle" x="157" y="-137.4" font-family="Times Roman,serif" font-size="14.00">message</text>
-<text text-anchor="middle" x="157" y="-119.4" font-family="Times Roman,serif" font-size="14.00">on &queue,</text>
-<text text-anchor="middle" x="157" y="-101.4" font-family="Times Roman,serif" font-size="14.00">max size 2,</text>
-<text text-anchor="middle" x="157" y="-83.4" font-family="Times Roman,serif" font-size="14.00">stored in &end.</text>
-</a>
-</g>
-<!-- v365->v366 -->
-<g id="edge40" class="edge"><title>v365->v366</title>
-<path fill="none" stroke="black" d="M157,-209.71C157,-201.866 157,-192.218 157,-182.239"/>
-<polygon fill="black" stroke="black" points="160.5,-182.205 157,-172.205 153.5,-182.205 160.5,-182.205"/>
-</g>
-<!-- v365->v367 -->
-<g id="edge46" class="edge"><title>v365->v367</title>
-<path fill="none" stroke="black" stroke-dasharray="1,5" d="M190.993,-209.938C204.85,-200.619 219.382,-187.851 227,-172 245.868,-132.743 245.868,-113.257 227,-74 218.708,-56.7466 202.224,-43.1451 187.335,-33.6691"/>
-</g>
-<!-- v366->v367 -->
-<g id="edge42" class="edge"><title>v366->v367</title>
-<path fill="none" stroke="black" d="M157,-73.8817C157,-64.4245 157,-54.8204 157,-46.3037"/>
-<polygon fill="black" stroke="black" points="160.5,-46.1903 157,-36.1903 153.5,-46.1903 160.5,-46.1903"/>
-</g>
-</g>
-</svg>
+version https://git-lfs.github.com/spec/v1
+oid sha256:7c857df217dae94b6f61930cd7345f42ae04cb30950174bb07263694dda870fc
+size 16781
diff --git a/download/frama-c-wp-tutorial.tgz b/download/frama-c-wp-tutorial.tgz
index bf00b348e88f6bc8497de300e92730eadfe1de1e..0bf36b4d80eeaaed9d86a25c7a2001802635d8b1 100644
Binary files a/download/frama-c-wp-tutorial.tgz and b/download/frama-c-wp-tutorial.tgz differ
diff --git a/download/mthread-examples-Oxygen-20120901.tgz b/download/mthread-examples-Oxygen-20120901.tgz
index 7ccb669f20331401bfb83748cceeca50829acf0d..7e96d90562277d6739a822ae1de43198c90bbe8f 100644
Binary files a/download/mthread-examples-Oxygen-20120901.tgz and b/download/mthread-examples-Oxygen-20120901.tgz differ
diff --git a/download/nitrogen/tutorial-wp-0.5-Nitrogen-20111001.tgz b/download/nitrogen/tutorial-wp-0.5-Nitrogen-20111001.tgz
index 966b0bcbb8395fee6a0f2dba7d9008e4743802fa..39a8eb80be24b267ab03f7f89b1c1bebe884dbe8 100644
Binary files a/download/nitrogen/tutorial-wp-0.5-Nitrogen-20111001.tgz and b/download/nitrogen/tutorial-wp-0.5-Nitrogen-20111001.tgz differ
diff --git a/download/wp-tutorial-Oxygen-20120901.tgz b/download/wp-tutorial-Oxygen-20120901.tgz
index bf00b348e88f6bc8497de300e92730eadfe1de1e..0bf36b4d80eeaaed9d86a25c7a2001802635d8b1 100644
Binary files a/download/wp-tutorial-Oxygen-20120901.tgz and b/download/wp-tutorial-Oxygen-20120901.tgz differ