Commits · 900f86c5a8b00edba587e1f29e24b447d79d8250 · pub / Colibri WebSite

08 Mar, 2021 1 commit
- frama-clang 0.0.10 · 900f86c5
  Virgile Prevosto authored Mar 08, 2021
  
  900f86c5
01 Mar, 2021 1 commit
- Merge branch 'add-counter-examples' into 'master' · 0f2694ca
  Allan Blanchard authored Mar 01, 2021
```
add page for counter-examples plugin

See merge request pub.frama-c.com!105
```
  0f2694ca
16 Feb, 2021 2 commits
- Merge branch 'blog-no-autoload-modules' into 'master' · 8ab325cc
  Andre Maroneze authored Feb 16, 2021
```
[blog] add post about benchmarking and -no-autoload-plugins

See merge request pub.frama-c.com!108
```
  8ab325cc
- [blog] add post about benchmarking and -no-autoload-plugins · 0072d3ff
  Andre Maroneze authored Feb 15, 2021
  
  0072d3ff
11 Jan, 2021 1 commit
- Merge branch 'e-acsl-manual-update-authors' into 'master' · fa54240d
  Basile Desloges authored Jan 11, 2021
```
[publications] update author list for E-ACSL user manual

See merge request pub.frama-c.com!107
```
  fa54240d
06 Jan, 2021 3 commits
- [publications] update author list for E-ACSL user manual · 1cb2254e
  Andre Maroneze authored Jan 06, 2021
  
  1cb2254e
- Merge branch 'wp-user-man-add-allan' into 'master' · 45da8092
  Allan Blanchard authored Jan 06, 2021
```
[publications] update author list for WP manual

See merge request pub.frama-c.com!106
```
  45da8092
- [publications] update author list for WP manual · bc2ce3d3
  Andre Maroneze authored Jan 06, 2021
  
  bc2ce3d3
05 Jan, 2021 3 commits
- add page for counter-examples plugin · 2b9cadf6
  Andre Maroneze authored Jan 05, 2021
  
  2b9cadf6
- Merge branch 'fix/rte/manual' into 'master' · 746fb599
  Allan Blanchard authored Jan 05, 2021
```
Fixes RTE last manual link

See merge request pub.frama-c.com!104
```
  746fb599
- Fixes RTE last manual link · a5b8029d
  Allan Blanchard authored Jan 05, 2021
  
  a5b8029d
11 Dec, 2020 2 commits
- Merge branch 'feature/main/what-s-new' into 'master' · f02b41e1
  Allan Blanchard authored Dec 11, 2020
```
We can now reach both news and overview from home

See merge request pub.frama-c.com!103
```
  f02b41e1
- We can now reach both news and overview from home · f43974a5
  Allan Blanchard authored Dec 11, 2020
  
  f43974a5
10 Dec, 2020 3 commits
- Merge branch 'blog-fixes' into 'master' · 4487b2e9
  Augustin Lemesle authored Dec 10, 2020
```
blog: add some missing posts and rename some urls

See merge request pub.frama-c.com!102
```
  4487b2e9
- blog: add some missing posts and rename some urls · 9ff53d42
  Andre Maroneze authored Dec 10, 2020
  
  9ff53d42
- Merge branch 'feature/metacsl-release' into 'master' · 3ba4200e
  Augustin Lemesle authored Dec 10, 2020
```
Announcing MetAcsl 0.1

See merge request pub.frama-c.com!101
```
  3ba4200e
09 Dec, 2020 5 commits
- Fixes typo · f65015bd
  Virgile Prevosto authored Dec 09, 2020
  
  f65015bd
- Announcing MetAcsl 0.1 · 4e32cbf1
  Virgile Prevosto authored Dec 09, 2020
  
  4e32cbf1
- remove multiple - · 7851e4b6
  Augustin Lemesle authored Dec 09, 2020
  
  7851e4b6
- change ' for old posts · 45496d97
  Augustin Lemesle authored Dec 09, 2020
  
  45496d97
- change blog url · fdc6986d
  Augustin Lemesle authored Dec 09, 2020
  
  fdc6986d
26 Nov, 2020 1 commit
- Merge branch 'fix/contact/community-display' into 'master' · 183d8471
  Allan Blanchard authored Nov 26, 2020
```
Fix community display on contact page

See merge request pub.frama-c.com!100
```
  183d8471
25 Nov, 2020 2 commits
- Cleans unused CSS · 517af850
  Allan Blanchard authored Nov 25, 2020
  
  517af850
- Fix community display on contact page · c8efdb8d
  Allan Blanchard authored Nov 25, 2020
  
  c8efdb8d
24 Nov, 2020 6 commits
- Merge branch 'fix/titanium-acsl-version' into 'master' · e0208662
  Allan Blanchard authored Nov 24, 2020
```
Update titanium.md: typo in ACSL version

See merge request pub.frama-c.com!99
```
  e0208662
- Update titanium.md: typo in ACSL version · 3b631c7c
  Allan Blanchard authored Nov 24, 2020
  
  3b631c7c
- Merge branch 'fix/generic-eva-manual' into 'master' · a7d3aac1
  Allan Blanchard authored Nov 24, 2020
```
Fixes EVA manual

See merge request pub.frama-c.com!98
```
  a7d3aac1
- Fixes EVA manual · 3b2c3c8b
  Allan Blanchard authored Nov 24, 2020
  
  3b2c3c8b
- Merge branch 'feature/make-rss-great-again' into 'master' · 4ad6dad4
  Allan Blanchard authored Nov 24, 2020
```
Get back the RSS feed

See merge request pub.frama-c.com!97
```
  4ad6dad4
- Generate RSS · 84d15faf
  Allan Blanchard authored Nov 24, 2020
  
  84d15faf
23 Nov, 2020 10 commits
- Merge branch 'feature/redirect-old-urls' into 'master' · 06a362fd
  Allan Blanchard authored Nov 23, 2020
```
Add redirections for old urls

See merge request pub.frama-c.com!96
```
  06a362fd
- 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