Commits · 625a546cafda063b9ff24bc7edeefbc7fbcb1567 · pub / Frama-C Website · GitLab

Snippets Groups Projects

Oct 22, 2020
- 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
- Homogeneous manual names · 5ee80984
  Allan Blanchard authored 4 years ago
  
  5ee80984
- Remove tiles movement · 52b20f44
  Allan Blanchard authored 4 years ago
  
  52b20f44
- Merge branch 'underline-links' into 'master' · 2f32e325
  Allan Blanchard authored 4 years ago
  
  Underline links See merge request !57
  2f32e325
- Underline links · 4bc8ddaf
  Allan Blanchard authored 4 years ago
  
  4bc8ddaf
- add color for tab navigation · 50680ac2
  Augustin Lemesle authored 4 years ago
  
  50680ac2
- Merge branch 'more-complete-get-frama-c' into 'master' · f3089668
  Allan Blanchard authored 4 years ago
  
  Provide more information on the Get Frama-C page See merge request !56
  f3089668
Sep 07, 2020
- More compact manuals section on Get Frama-C · 2e62c4ac
  Allan Blanchard authored 4 years ago
  
  2e62c4ac
- Fixes lab name · 75415106
  Allan Blanchard authored 4 years ago
  
  75415106