Commits · 5ed0d1fa3c0eb66f0dd5aaef7d4faf88d8f945df · pub / Frama-C Website

06 Jul, 2021 5 commits
- Merge branch 'release/stable-23.0-vanadium' into 'master' · 5ed0d1fa
  Allan Blanchard authored Jul 06, 2021
```
Fixes main distribution link

See merge request !120
```
  5ed0d1fa
- Fixes API files · acff7900
  Allan Blanchard authored Jul 06, 2021
  
  acff7900
- Fixes main distribution link · 72a6b49d
  Allan Blanchard authored Jul 06, 2021
  
  72a6b49d
- Merge branch 'release/stable-23.0-vanadium' into 'master' · b0a2dce9
  Allan Blanchard authored Jul 06, 2021
```
23.0-Vanadium release

See merge request !119
```
  b0a2dce9
- 23.0-Vanadium release · 63a79d9e
  Allan Blanchard authored Jul 06, 2021
  
  63a79d9e
22 Jun, 2021 2 commits
- Merge branch 'fix/filenames' into 'master' · 2c30fea8
  Allan Blanchard authored Jun 22, 2021
```
Fixes download 23-rc1 file names

See merge request !118
```
  2c30fea8
- Fixes download 23-rc1 file names · 02785cd7
  Allan Blanchard authored Jun 22, 2021
  
  02785cd7
14 Jun, 2021 2 commits
- Merge branch 'update-bug-report-guidelines' into 'master' · 8e0f8ba2
  Allan Blanchard authored Jun 14, 2021
```
[doc] update bug report guidelines from userman

See merge request !117
```
  8e0f8ba2
- [doc] update bug report guidelines from userman · 78c230ab
  Andre Maroneze authored Jun 14, 2021
  
  78c230ab
10 Jun, 2021 2 commits
- Merge branch 'blog-admit-check' into 'master' · b0622082
  Andre Maroneze authored Jun 10, 2021
```
[blog] new post about admit/check

See merge request !116
```
  b0622082
- [blog] new post about admit/check · de0a434a
  Andre Maroneze authored Jun 08, 2021
  
  de0a434a
08 Jun, 2021 2 commits
- Merge branch 'fix/chlorine-number-download' into 'master' · 01100b4b
  Andre Maroneze authored Jun 08, 2021
```
fix version number in Chlorine download page

See merge request !115
```
  01100b4b
- fix version number in Chlorine download page · 754c74a6
  Andre Maroneze authored Jun 08, 2021
  
  754c74a6
21 May, 2021 1 commit
- Merge branch 'release/beta-23.0-rc1-vanadium' into 'master' · 3b178d0b
  François Bobot authored May 21, 2021
```
23.0-rc1-Vanadium release

See merge request !114
```
  3b178d0b
20 May, 2021 1 commit
- 23.0-rc1-Vanadium release · aaa4b95b
  François Bobot authored May 20, 2021
  
  aaa4b95b
28 Apr, 2021 1 commit
- Merge branch 'feature/installation/details-release' into 'master' · 4b931410
  Allan Blanchard authored Apr 28, 2021
```
More detailed installation page

See merge request !113
```
  4b931410
27 Apr, 2021 4 commits
- Do not loop for latest versions · ec861ba2
  Allan Blanchard authored Apr 27, 2021
  
  ec861ba2
- Fix align in Magnesium · 0075b70c
  Allan Blanchard authored Apr 27, 2021
  
  0075b70c
- Add release date in installation files · b9c8bc9b
  Allan Blanchard authored Apr 27, 2021
  
  b9c8bc9b
- Message for old or beta version · 0873e4a0
  Allan Blanchard authored Apr 27, 2021
  
  0873e4a0
31 Mar, 2021 3 commits
- Merge branch 'feature/bts-redirect' into 'master' · 3e6a5548
  Allan Blanchard authored Mar 31, 2021
```
Fixes BTS id format

See merge request !112
```
  3e6a5548
- Fixes BTS id format · 6cd4a495
  Allan Blanchard authored Mar 31, 2021
  
  6cd4a495
- Merge branch 'feature/bts-redirect' into 'master' · 1410874f
  Allan Blanchard authored Mar 31, 2021
```
Redirection page for the old BTS

See merge request !111
```
  1410874f
29 Mar, 2021 2 commits
- Do not index redirection page · e391041d
  Allan Blanchard authored Mar 29, 2021
  
  e391041d
- Redirection page for the old BTS · cac1d839
  Allan Blanchard authored Mar 29, 2021
  
  cac1d839
16 Mar, 2021 2 commits
- Merge branch 'blog-frama-c-gui-docker' into 'master' · 04c06fd7
  Andre Maroneze authored Mar 16, 2021
```
[blog] add post about frama-c-gui Docker image

See merge request !110
```
  04c06fd7
- [blog] add post about frama-c-gui Docker image · 206c9817
  Andre Maroneze authored Mar 12, 2021
  
  206c9817
08 Mar, 2021 2 commits
- Merge branch 'feature/frama-clang-0.0.10-release' into 'master' · d8cd0d5e
  Augustin Lemesle authored Mar 08, 2021
```
frama-clang 0.0.10

See merge request !109
```
  d8cd0d5e
- 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 !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 !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 !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 !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 !104
```
  746fb599
- Fixes RTE last manual link · a5b8029d
  Allan Blanchard authored Jan 05, 2021
  
  a5b8029d
11 Dec, 2020 1 commit
- 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 !103
```
  f02b41e1