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

Snippets Groups Projects

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
  
  Verified
  
  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
Sep 25, 2020
- Merge branch 'master' of git.frama-c.com:pub/pub.frama-c.com · 68fe1af1
  Augustin Lemesle authored 4 years ago
  
  68fe1af1
- add publications in nav · 4a1c347b
  Augustin Lemesle authored 4 years ago
  
  4a1c347b
- rewrite a few section titles · 3926ea2e
  Andre Maroneze authored 4 years ago
  
  3926ea2e
Sep 09, 2020
- Fixes timeline display in some situations · c162f276
  Allan Blanchard authored 4 years ago
  
  c162f276
- Merge branch 'master' of git.frama-c.com:pub/pub.frama-c.com · 47672cdb
  Augustin Lemesle authored 4 years ago
  
  47672cdb
- first clean css dependencies · 077ce585
  Augustin Lemesle authored 4 years ago
  
  077ce585
- no cookies for youtube · 4d1609b4
  Augustin Lemesle authored 4 years ago
  
  4d1609b4
- Merge branch 'slevel-no-more' into 'master' · f540beba
  Allan Blanchard authored 4 years ago
  
  update Eva options in main page See merge request !60
  f540beba
- Fixes home css · df7b5fff
  Allan Blanchard authored 4 years ago
  
  df7b5fff
- Remove C++ from main page · 04cbdd90
  Allan Blanchard authored 4 years ago
  
  04cbdd90
- update Eva options in main page · ff900086
  Andre Maroneze authored 4 years ago
  
  ff900086
Sep 08, 2020
- Merge branch 'frama-c-overview' into 'master' · d51526b6
  Allan Blanchard authored 4 years ago
  
  Frama-C Overview page See merge request !59
  d51526b6
- More visible "read more" · f3b9bcd0
  Allan Blanchard authored 4 years ago
  
  f3b9bcd0
- Overview page · 89d2415e
  Allan Blanchard authored 4 years ago
  
  89d2415e
- Cleaner way to select plugin-kernel tab · 435f4fce
  Allan Blanchard authored 4 years ago
  
  435f4fce
- Now provides a (truly) clean_page layout · faddea48
  Allan Blanchard authored 4 years ago
  
  faddea48
- clean_page becomes doc_page · 37d7d378
  Allan Blanchard authored 4 years ago
  
  37d7d378
- remove case studies generation, remove some css · ed72a246
  Augustin Lemesle authored 4 years ago
  
  ed72a246
- moving anchor css · d9ece9cb
  Augustin Lemesle authored 4 years ago
  
  d9ece9cb
- add anchor to generator · 3c47b30d
  Augustin Lemesle authored 4 years ago
  
  3c47b30d
- Merge branch 'master' of git.frama-c.com:pub/pub.frama-c.com · 817b2759
  Augustin Lemesle authored 4 years ago
  
  817b2759
- further tab navigation · 25162216
  Augustin Lemesle authored 4 years ago
  
  25162216
- Merge branch 'minor-fixes' into 'master' · f7d21d57
  Allan Blanchard authored 4 years ago
  
  Minor fixes See merge request !58
  f7d21d57
- small css fix · 49d4a6e7
  Augustin Lemesle authored 4 years ago
  
  49d4a6e7
- Merge branch 'master' of git.frama-c.com:pub/pub.frama-c.com · 0922be07
  Augustin Lemesle authored 4 years ago
  
  0922be07
- add moving through overview with tab · a5252f46
  Augustin Lemesle authored 4 years ago
  
  a5252f46