Commits · colibri · pub / Colibri WebSite

28 Sep, 2021 4 commits
- Merge branch 'colibri-doc' into 'colibri' · f6589085
  François Bobot authored Sep 28, 2021
```
Colibri doc, publication and posts

See merge request !2
```
  f6589085
- Remove Frama-C mention in pub · a76dc6ae
  François Bobot authored Sep 28, 2021
  
  a76dc6ae
- Remove Frama-C blog posts and add one welcome · 01979682
  François Bobot authored Sep 28, 2021
  
  01979682
- Remove Frama-C publications and add colibri one · 90c81a59
  François Bobot authored Sep 28, 2021
  
  90c81a59
19 Aug, 2021 5 commits
- Merge branch 'colibri-doc' into 'colibri' · 07316639
  François Bobot authored Aug 19, 2021
```
Colibri doc

See merge request !1
```
  07316639
- [Doc] plugin doc can be as html · 9faff560
  François Bobot authored Aug 19, 2021
  
  9faff560
- [Download] Add colibri2 nightly information · f66745b1
  François Bobot authored Aug 19, 2021
  
  f66745b1
- [COLIBRI] colibri is the default branch for colibri website · fd0580fb
  François Bobot authored Aug 19, 2021
  
  fd0580fb
- [Doc] add farith2 documentation · df458a55
  François Bobot authored Aug 19, 2021
  
  df458a55
30 Jul, 2021 3 commits
- Use nodejs 16 (15 not maintained) · 61a10f7b
  François Bobot authored Jul 30, 2021
  
  61a10f7b
- Only publish in master · 512695d4
  François Bobot authored Jul 30, 2021
  
  512695d4
- Add Farith as "plugins" · e5154847
  François Bobot authored Jul 30, 2021
  
  e5154847
22 Jul, 2021 5 commits
- [Colibri] Add the value obtained · 895c2501
  François Bobot authored Jul 22, 2021
  
  895c2501
- Add Katex in markdown · 79fb7b66
  François Bobot authored Jul 22, 2021
```
    Use $$2+2$$
```
  79fb7b66
- Real example in Colibri index · 5066947e
  François Bobot authored Jul 22, 2021
  
  5066947e
- Write a Katex formula · 22fdb978
  François Bobot authored Jul 22, 2021
  
  22fdb978
- Add Katex formula in html · 8ac2d05a
  François Bobot authored Jul 22, 2021
  
  8ac2d05a
20 Jul, 2021 2 commits
- Start conversion of Frama-C website · 348b4eb4
  François Bobot authored Jul 20, 2021
```
      half of the index done
```
  348b4eb4
- Remove frama-c specific ressources · 73d7084b
  François Bobot authored Jul 20, 2021
  
  73d7084b
15 Jul, 2021 1 commit
- Update get-frama-c.html · d58995e3
  Allan Blanchard authored Jul 15, 2021
  
  d58995e3
13 Jul, 2021 11 commits
- Merge branch 'frama-clang-announce' into 'master' · adbf6196
  Allan Blanchard authored Jul 13, 2021
```
Announcement of Frama-Clang 0.0.11

See merge request pub.frama-c.com!127
```
  adbf6196
- Announcement of Frama-Clang 0.0.11 · ec5a67a6
  Virgile Prevosto authored Jul 13, 2021
  
  ec5a67a6
- Merge branch 'frama-clang-0.11' into 'master' · b7059a6a
  Allan Blanchard authored Jul 13, 2021
```
Frama clang 0.11

See merge request pub.frama-c.com!126
```
  b7059a6a
- Merge branch 'feature/publis-e-acsl-vortex' into 'master' · 9747e560
  Allan Blanchard authored Jul 13, 2021
```
2 new E-ACSL publis

See merge request pub.frama-c.com!125
```
  9747e560
- [publis] http · 24906797
  Julien Signoles authored Jul 13, 2021
  
  24906797
- [fc-lang] introduce public git repo · 1269dd13
  Virgile Prevosto authored Jul 13, 2021
  
  1269dd13
- [fclang] don't forget link to older release · ff380dcd
  Virgile Prevosto authored Jul 13, 2021
  
  ff380dcd
- Prepare frama-clang release · 24842199
  Virgile Prevosto authored Jul 13, 2021
  
  24842199
- [publis] compliant filename · 412010f6
  Julien Signoles authored Jul 13, 2021
  
  412010f6
- [publis] 2 new E-ACSL publis · 5778ffb2
  Julien Signoles authored Jul 13, 2021
  
  5778ffb2
- Merge branch 'feature/jobs-in-events' into 'master' · 29605cac
  Allan Blanchard authored Jul 13, 2021
```
Better jobs handling

See merge request pub.frama-c.com!124
```
  29605cac
12 Jul, 2021 1 commit
- Add a filled field in jobs · 4eeb3760
  Allan Blanchard authored Jul 12, 2021
  
  4eeb3760
09 Jul, 2021 1 commit
- Improves timeline generation · 8bcd7e03
  Allan Blanchard authored Jul 09, 2021
  
  8bcd7e03
08 Jul, 2021 4 commits
- Accept longer event titles · 6d74d2c8
  Allan Blanchard authored Jul 08, 2021
  
  6d74d2c8
- List jobs in events · fd28725b
  Allan Blanchard authored Jul 08, 2021
  
  fd28725b
- Merge branch 'new-frama-c-postion' into 'master' · f70e12c3
  Allan Blanchard authored Jul 08, 2021
```
New Frama-C position

See merge request pub.frama-c.com!123
```
  f70e12c3
- New Frama-C position · dcbbb6d8
  Allan Blanchard authored Jul 08, 2021
  
  dcbbb6d8
06 Jul, 2021 3 commits
- Merge branch 'release/stable-23.0-vanadium' into 'master' · 28bec3c3
  Allan Blanchard authored Jul 06, 2021
```
23.0-Vanadium release [Fix OPAM file]

See merge request pub.frama-c.com!122
```
  28bec3c3
- 23.0-Vanadium release [Fix OPAM file] · 174cb7f0
  Allan Blanchard authored Jul 06, 2021
  
  174cb7f0
- Merge branch 'release/stable-23.0-vanadium' into 'master' · 64ded739
  Allan Blanchard authored Jul 06, 2021
```
Fix title style event Vanadium

See merge request pub.frama-c.com!121
```
  64ded739