Commits · 0996c53d799aefe8fe119d70100e593c4c26a854 · pub / Colibri WebSite

28 Oct, 2020 23 commits
- Fixes E-ACSL manual location · 0996c53d
  Allan Blanchard authored Oct 28, 2020
  
  0996c53d
- Fixes links and content for installation · 40ce1ec1
  Allan Blanchard authored Oct 28, 2020
  
  40ce1ec1
- Release 22-beta: add installation and event · c945e7c9
  Allan Blanchard authored Oct 28, 2020
  
  c945e7c9
- 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 11 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
- Fixes link for Scandium · 6cf89dbb
  Allan Blanchard authored Oct 27, 2020
  
  6cf89dbb
- Better attachment (not perfect though) · a508bc33
  Allan Blanchard authored Oct 27, 2020
  
  a508bc33
- Publication CSS now checks Nav presence · fdf0ab7c
  Allan Blanchard authored Oct 27, 2020
  
  fdf0ab7c
- Force max-width for version block · a065c386
  Allan Blanchard authored Oct 27, 2020
  
  a065c386
- Reorganizes Get Frama-C page · c49118e9
  Allan Blanchard authored Oct 27, 2020
  
  c49118e9
26 Oct, 2020 6 commits
- Fixes anchor link in Scandium installation · a3b6d6f4
  Allan Blanchard authored Oct 26, 2020
  
  a3b6d6f4
- Changes installation instructions CSS · 8d2d4a80
  Allan Blanchard authored Oct 26, 2020
  
  8d2d4a80
- Fix scandium minor · 6c571187
  Allan Blanchard authored Oct 26, 2020
  
  6c571187
- Fixes Changelog links and versions footer · efdb5b14
  Allan Blanchard authored Oct 26, 2020
  
  efdb5b14
- Fixes version display on narrow screens · 204025ef
  Allan Blanchard authored Oct 26, 2020
  
  204025ef
- Fixes version div · f956ce37
  Allan Blanchard authored Oct 26, 2020
  
  f956ce37