Commits · 5328bcb1cf19fcf7ef6455ed1d3da51e8b94d6d7 · pub / Colibri WebSite

30 Oct, 2020 1 commit
- remove extraneous accents · 5328bcb1
  Andre Maroneze authored Oct 30, 2020
  
  5328bcb1
29 Oct, 2020 2 commits
- Merge branch 'fix/main-page/displayed-version-names' into 'master' · ec3b9961
  Allan Blanchard authored Oct 29, 2020
```
Be sure that lastest version is the stable one

Closes #21

See merge request pub.frama-c.com!78
```
  ec3b9961
- Be sure that lastest version is the stable one · 81f360ff
  Allan Blanchard authored Oct 29, 2020
  
  81f360ff
28 Oct, 2020 31 commits
- Merge branch 'Harmonize-last-event' into 'master' · dd053d25
  Allan Blanchard authored Oct 28, 2020
```
Harmonize last event

See merge request pub.frama-c.com!77
```
  dd053d25
- Harmonize last event · bd71ede1
  Allan Blanchard authored Oct 28, 2020
  
  bd71ede1
- Merge branch 'new-mailing-list' into 'master' · 5b1f641b
  Allan Blanchard authored Oct 28, 2020
```
Update Frama-C Discuss link

See merge request pub.frama-c.com!76
```
  5b1f641b
- Update Frama-C Discuss link · bfdfcd9e
  Allan Blanchard authored Oct 28, 2020
  
  bfdfcd9e
- Merge branch 'release/22-titanium' into 'master' · a259a661
  Allan Blanchard authored Oct 28, 2020
```
Fixes E-ACSL manual location

See merge request pub.frama-c.com!75
```
  a259a661
- Fixes E-ACSL manual location · 0996c53d
  Allan Blanchard authored Oct 28, 2020
  
  0996c53d
- Merge branch 'release/22-titanium' into 'master' · 691a6110
  Allan Blanchard authored Oct 28, 2020
```
Fixes links and content for installation - 22 Titanium

See merge request pub.frama-c.com!74
```
  691a6110
- Fixes links and content for installation · 40ce1ec1
  Allan Blanchard authored Oct 28, 2020
  
  40ce1ec1
- Merge branch 'release/22-titanium' into 'master' · bb1f601a
  Allan Blanchard authored Oct 28, 2020
```
Release 22-beta: add installation and event

See merge request pub.frama-c.com!73
```
  bb1f601a
- Release 22-beta: add installation and event · c945e7c9
  Allan Blanchard authored Oct 28, 2020
  
  c945e7c9
- Merge branch 'release/22-titanium' into 'master' · cfebc7ea
  Allan Blanchard authored Oct 28, 2020
```
Release 22-Titanium

See merge request pub.frama-c.com!72
```
  cfebc7ea
- Release Titanium-22-beta · 2ec4f28d
  Allan Blanchard authored Oct 28, 2020
  
  2ec4f28d
- Merge branch 'bugfix/basile/20-manuals' into 'master' · 87426680
  Allan Blanchard authored Oct 28, 2020
```
Fix manuals links

Closes #20

See merge request pub.frama-c.com!70
```
  87426680
- Merge branch 'fix/404-links' into 'master' · 1943702c
  Allan Blanchard authored Oct 28, 2020
```
Fix 404 links

See merge request pub.frama-c.com!69
```
  1943702c
- Merge branch 'feature/basile/readme' into 'master' · 25cfae55
  Allan Blanchard authored Oct 28, 2020
```
Update README

See merge request pub.frama-c.com!71
```
  25cfae55
- Update README · a9280f99
  Basile Desloges authored Oct 28, 2020
  
  a9280f99
- Sort plug-in manuals in version page · ba85bf2a
  Basile Desloges authored Oct 28, 2020
  
  ba85bf2a
- Update download link for Frama-Clang manual to the last version · 0ab6db9b
  Basile Desloges authored Oct 28, 2020
  
  0ab6db9b
- Add RTE manual to the main download page · d7fda7b8
  Basile Desloges authored Oct 28, 2020
  
  d7fda7b8
- Add E-ACSL implementation manual to the main download page · 28444ad1
  Basile Desloges authored Oct 28, 2020
  
  28444ad1
- Update download links of E-ACSL to use local pdf files · 72263e07
  Basile Desloges authored Oct 28, 2020
  
  72263e07
- Update .gitignore to ignore generated files · 0f21fe09
  Basile Desloges authored Oct 28, 2020
  
  0f21fe09
- Fixes plugin development guide link · c191df53
  Allan Blanchard authored Oct 28, 2020
  
  c191df53
- Merge branch 'finalize-blog' into 'master' · be968473
  Allan Blanchard authored Oct 28, 2020
```
Finalize blog + a few fixes

See merge request pub.frama-c.com!68
```
  be968473
- Removed careers page · adc53932
  Allan Blanchard authored Oct 28, 2020
  
  adc53932
- Pages using _layout/default should not have a closing for body · a05eb36f
  Allan Blanchard authored Oct 28, 2020
  
  a05eb36f
- Blog: dos2unix · 4ee98fd5
  Allan Blanchard authored Oct 23, 2020
  
  4ee98fd5
- Fixes blog CSS · b2e2575f
  Allan Blanchard authored Sep 09, 2020
  
  b2e2575f
- Enable blog in website · 5d01c783
  Allan Blanchard authored Sep 03, 2020
  
  5d01c783
- Remove deploy from branches · 22c1381d
  Augustin Lemesle authored Oct 28, 2020
  
  22c1381d
- Merge branch 'positions' into 'master' · ffa38a31
  Allan Blanchard authored Oct 28, 2020
```
Positions are added to contact page when there are some

See merge request pub.frama-c.com!67
```
  ffa38a31
27 Oct, 2020 6 commits
- Removed old positions and added position skeleton · 954a8661
  Allan Blanchard authored Oct 27, 2020
  
  954a8661
- Removes bad characters · 682a6550
  Allan Blanchard authored Sep 08, 2020
  
  682a6550
- Add keywords to position summary · cd3434c6
  Allan Blanchard authored Sep 04, 2020
  
  cd3434c6
- Reactivate header in jobs pages · c7a35e8c
  Allan Blanchard authored Sep 04, 2020
  
  c7a35e8c
- Add positions to Contact page · e85a3364
  Allan Blanchard authored Sep 04, 2020
  
  e85a3364
- Merge branch 'feature/improved-versions' into 'master' · 906ead23
  Allan Blanchard authored Oct 27, 2020
```
Improved version pages

See merge request pub.frama-c.com!65
```
  906ead23