Commits · 13e797957e03fedc1550a8f566a000e8a5631afc · pub / Colibri WebSite

23 Nov, 2020 10 commits
- Fix kernel-plugin redirection descriptions · 13e79795
  Allan Blanchard authored Nov 23, 2020
  
  13e79795
- Other top-level redirections · 3a130ae3
  Allan Blanchard authored Nov 23, 2020
  
  3a130ae3
- Redirect plugins · cfdbccb5
  Allan Blanchard authored Nov 23, 2020
  
  cfdbccb5
- More redirections + fix links name · 2fedea2d
  Allan Blanchard authored Nov 23, 2020
  
  2fedea2d
- Add redirections for old urls · 06f1b868
  Allan Blanchard authored Nov 23, 2020
  
  06f1b868
- Update _config.yml · 38dce83e
  Augustin Lemesle authored Nov 23, 2020
  
  38dce83e
- Merge branch 'features-plugins-and-downloads' into 'master' · 47d462b5
  Allan Blanchard authored Nov 23, 2020
```
Improves download and plugins pages

See merge request pub.frama-c.com!95
```
  47d462b5
- Removed E-ACSL implementation in Download page · 8885bd94
  Allan Blanchard authored Nov 23, 2020
  
  8885bd94
- Improves plugins pages · bcb5d408
  Allan Blanchard authored Nov 23, 2020
  
  bcb5d408
- Improves download page · 31f5a0a7
  Allan Blanchard authored Nov 23, 2020
  
  31f5a0a7
20 Nov, 2020 14 commits
- Update .gitlab-ci.yml · 41440d47
  Augustin Lemesle authored Nov 20, 2020
  
  41440d47
- Merge branch 'frama-c-22-0-release' into 'master' · e14a4c71
  Allan Blanchard authored Nov 20, 2020
```
Remove symbolic links for E-ACSL

See merge request pub.frama-c.com!94
```
  e14a4c71
- Remove symbolic links for E-ACSL · a6f32421
  Allan Blanchard authored Nov 20, 2020
  
  a6f32421
- Merge branch 'frama-c-22-0-release' into 'master' · aea07c71
  Allan Blanchard authored Nov 20, 2020
```
Remove symbolic links

See merge request pub.frama-c.com!93
```
  aea07c71
- Remove symbolic links · 1f130c28
  Allan Blanchard authored Nov 20, 2020
  
  1f130c28
- Merge branch 'frama-c-22-0-release' into 'master' · 49214cc7
  Allan Blanchard authored Nov 20, 2020
```
Frama-C 22 release

See merge request pub.frama-c.com!92
```
  49214cc7
- Merge branch 'fix/metacsl_descr' into 'master' · 22982d7a
  Allan Blanchard authored Nov 20, 2020
```
Update MetAcsl's description

See merge request pub.frama-c.com!90
```
  22982d7a
- Frama-C 22 release · feecc036
  Allan Blanchard authored Nov 20, 2020
  
  feecc036
- Merge branch 'feature/changelog-gitlab-sub-repos-issues' into 'master' · f007146a
  Allan Blanchard authored Nov 20, 2020
```
Support frama-c/<repo>#NN format

See merge request pub.frama-c.com!91
```
  f007146a
- generate exe · 3ca161be
  Augustin Lemesle authored Nov 20, 2020
  
  3ca161be
- Support ## format · 367bbd66
  Allan Blanchard authored Nov 20, 2020
  
  367bbd66
- Merge branch 'feature/acsl-manuals-list' into 'master' · e8715c03
  Allan Blanchard authored Nov 20, 2020
```
Automatically build ACSL manuals list from website data

See merge request pub.frama-c.com!88
```
  e8715c03
- Support frama-c/<repo>#NN format · 4872a979
  Allan Blanchard authored Nov 20, 2020
  
  4872a979
- Update MetAcsl's description · 4c6038c6
  Virgile Robles authored Nov 20, 2020
  
  4c6038c6
19 Nov, 2020 9 commits
- Merge branch 'blog-post-github-actions' into 'master' · f355596e
  Andre Maroneze authored Nov 19, 2020
```
new blog post: github actions

See merge request pub.frama-c.com!89
```
  f355596e
- new blog post: github actions · ca136280
  Andre Maroneze authored Nov 19, 2020
  
  ca136280
- Build automatically ACSL manuals list · 222a8469
  Allan Blanchard authored Nov 19, 2020
  
  222a8469
- Merge branch 'multiple-small-fixes' into 'master' · 1069326a
  Allan Blanchard authored Nov 19, 2020
```
Add plugin priorities, use them for kernel-plugins

See merge request pub.frama-c.com!87
```
  1069326a
- Change E-ACSL priority · d0c1f9ac
  Allan Blanchard authored Nov 19, 2020
  
  d0c1f9ac
- indent · c337df68
  Allan Blanchard authored Nov 19, 2020
  
  c337df68
- Add plugin priorities, use them for kernel-plugins · 50132a9c
  Allan Blanchard authored Nov 19, 2020
  
  50132a9c
- Merge branch 'multiple-small-fixes' into 'master' · a3b3f636
  Allan Blanchard authored Nov 19, 2020
```
Moves Specification before GUI

See merge request pub.frama-c.com!86
```
  a3b3f636
- Moves Specification before GUI · b879d7d6
  Allan Blanchard authored Nov 19, 2020
  
  b879d7d6
18 Nov, 2020 7 commits
- Merge branch 'multiple-small-fixes' into 'master' · 6698502a
  Allan Blanchard authored Nov 18, 2020
```
Multiple small fixes

See merge request !85
```
  6698502a
- Lower margin in portrait mode · d7a73759
  Allan Blanchard authored Nov 18, 2020
  
  d7a73759
- Adds an arrow on main page · fcafc46f
  Allan Blanchard authored Nov 18, 2020
  
  fcafc46f
- Sort doc and not kernel plugins page · aa7d4662
  Allan Blanchard authored Nov 18, 2020
  
  aa7d4662
- Merge branch 'multiple-small-fixes' of git.frama-c.com:pub/pub.frama-c.com... · 8c7f34b6
  Augustin Lemesle authored Nov 18, 2020
```
Merge branch 'multiple-small-fixes' of git.frama-c.com:pub/pub.frama-c.com into multiple-small-fixes
```
  8c7f34b6
- add local sorting for documentation · fee08776
  Augustin Lemesle authored Nov 18, 2020
  
  fee08776
- Main index section centered · 2769ea6f
  Allan Blanchard authored Nov 18, 2020
  
  2769ea6f