Commits · fdf0ab7cbfa83d00dbb3100c1a45e18ffae0cc15 · pub / Frama-C Website · GitLab

Snippets Groups Projects

Oct 27, 2020
- Publication CSS now checks Nav presence · fdf0ab7c
  Allan Blanchard authored 4 years ago
  
  fdf0ab7c
- Force max-width for version block · a065c386
  Allan Blanchard authored 4 years ago
  
  a065c386
- Reorganizes Get Frama-C page · c49118e9
  Allan Blanchard authored 4 years ago
  
  c49118e9
Oct 26, 2020
- Fixes anchor link in Scandium installation · a3b6d6f4
  Allan Blanchard authored 4 years ago
  
  a3b6d6f4
- Changes installation instructions CSS · 8d2d4a80
  Allan Blanchard authored 4 years ago
  
  8d2d4a80
- Fix scandium minor · 6c571187
  Allan Blanchard authored 4 years ago
  
  6c571187
- Fixes Changelog links and versions footer · efdb5b14
  Allan Blanchard authored 4 years ago
  
  efdb5b14
- Fixes version display on narrow screens · 204025ef
  Allan Blanchard authored 4 years ago
  
  204025ef
- Fixes version div · f956ce37
  Allan Blanchard authored 4 years ago
  
  f956ce37
- No more "previous" versions but "all" incl. bêta · 525e1c29
  Allan Blanchard authored 4 years ago
  
  525e1c29
- Fixes versions 16 and 17 · d0122196
  Allan Blanchard authored 4 years ago
  
  d0122196
- Add bêta version to versions when it is available · a1cefe3b
  Allan Blanchard authored 4 years ago
  
  a1cefe3b
- Fixes versions content for 19, 20 and 21 · eeeb58e6
  Allan Blanchard authored 4 years ago
  
  eeeb58e6
- Improved version pages · cdaef30a
  Allan Blanchard authored 4 years ago
  
  cdaef30a
- Merge branch 'changelog/generator' into 'master' · ad735306
  Allan Blanchard authored 4 years ago
  
  Changelog generator now takes in account WP and E-ACSL See merge request !66
  ad735306
- recompile · 1a0906f8
  Augustin Lemesle authored 4 years ago
  
  1a0906f8
- Makes sure plugins are after kernel · 5068e8bc
  Allan Blanchard authored 4 years ago
  
  5068e8bc
- recompile generate · 8a9b8da2
  Augustin Lemesle authored 4 years ago
  
  8a9b8da2
- Merge branch 'changelog/generator' of git.frama-c.com:pub/pub.frama-c.com into changelog/generator · 5793de43
  Augustin Lemesle authored 4 years ago
  
  5793de43
- comment strange formatting · 422abc00
  Augustin Lemesle authored 4 years ago
  
  422abc00
- Takes old versions in account during release comparison · 69068faf
  Allan Blanchard authored 4 years ago
  
  69068faf
- remove test in CI · fb4c0a5e
  Augustin Lemesle authored 4 years ago
  
  fb4c0a5e
- try with before script · edc16230
  Augustin Lemesle authored 4 years ago
  
  edc16230
- fix curl path E-ACSL · abee192e
  Augustin Lemesle authored 4 years ago
  
  abee192e
- test concat · a17ec0e8
  Augustin Lemesle authored 4 years ago
  
  a17ec0e8
- fix tiret and spaces · 9650ffb3
  Augustin Lemesle authored 4 years ago
  
  9650ffb3
Oct 23, 2020
- Merge branch 'fix/versions' into 'master' · e6e01595
  Allan Blanchard authored 4 years ago
  
  Removes strange values in releases See merge request !64
  e6e01595
- Removes strange values in releases · 9a8b3318
  Allan Blanchard authored 4 years ago
  
  9a8b3318
- Merge branch 'thibault/add_ltest' into 'master' · c3523a5e
  Allan Blanchard authored 4 years ago
  
  Add few Ltest publications See merge request !63
  c3523a5e
- Changed category for icse 2018 · 4bebf524
  Thibault Martin authored 4 years ago
  
  4bebf524
- fix swiper arrows · 24f40b22
  Augustin Lemesle authored 4 years ago
  
  24f40b22
- Add few Ltest publications · 41f4288e
  Thibault Martin authored 4 years ago
  
  41f4288e
- MetACSL->MetAcsl. Mention the public release. · 7da43daa
  Virgile Robles authored 4 years ago
  
  7da43daa
Oct 22, 2020
- Restore blog's CSS · 3d9ac63f
  Allan Blanchard authored 4 years ago
  
  3d9ac63f
- Merge branch 'fix/typo-chameau' into 'master' · 625a546c
  Allan Blanchard authored 4 years ago
  
  small typo (publi chameau 2014) See merge request !62
  625a546c
- small typo (publi chameau 2014) · 7efede94
  Roma Auguste authored 4 years ago
  
  7efede94
- Fixes two broken links · bb18a253
  Allan Blanchard authored 4 years ago
  
  bb18a253
Oct 21, 2020
- Add footer to publications · 7adf55f8
  Allan Blanchard authored 4 years ago
  
  7adf55f8
- Update contact pages · e5df1dab
  Allan Blanchard authored 4 years ago
  
  e5df1dab
Oct 01, 2020
- Merge branch 'minor-rewordings' into 'master' · 3a93779b
  Andre Maroneze authored 4 years ago
  
  rewrite a few section titles See merge request !61
  3a93779b