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

Snippets Groups Projects

Nov 19, 2020
- indent · c337df68
  Allan Blanchard authored 4 years ago
  
  c337df68
- Add plugin priorities, use them for kernel-plugins · 50132a9c
  Allan Blanchard authored 4 years ago
  
  50132a9c
- Moves Specification before GUI · b879d7d6
  Allan Blanchard authored 4 years ago
  
  b879d7d6
Nov 18, 2020
- Lower margin in portrait mode · d7a73759
  Allan Blanchard authored 4 years ago
  
  d7a73759
- Adds an arrow on main page · fcafc46f
  Allan Blanchard authored 4 years ago
  
  fcafc46f
- Sort doc and not kernel plugins page · aa7d4662
  Allan Blanchard authored 4 years ago
  
  aa7d4662
- Merge branch 'multiple-small-fixes' of git.frama-c.com:pub/pub.frama-c.com... · 8c7f34b6
  Augustin Lemesle authored 4 years ago
  
  Merge branch 'multiple-small-fixes' of git.frama-c.com:pub/pub.frama-c.com into multiple-small-fixes
  8c7f34b6
- add local sorting for documentation · fee08776
  Augustin Lemesle authored 4 years ago
  
  fee08776
- Main index section centered · 2769ea6f
  Allan Blanchard authored 4 years ago
  
  2769ea6f
- add order for Eva & WP · 703e35b8
  Augustin Lemesle authored 4 years ago
  
  703e35b8
- Use short names for the plugins page · 829a27ed
  Allan Blanchard authored 4 years ago
  
  829a27ed
- Changes ACSL tab into "Specification" · 66eb8702
  Allan Blanchard authored 4 years ago
  
  66eb8702
Nov 17, 2020
- Merge branch 'feature/descriptions-for-seo' into 'master' · 8365ba75
  Allan Blanchard authored 4 years ago
  
  Adds description to main pages See merge request !84
  8365ba75
Nov 16, 2020
- Descriptions: verification -> analysis · fbc7451a
  Allan Blanchard authored 4 years ago
  
  fbc7451a
- Better descriptions · 7e405e13
  Allan Blanchard authored 4 years ago
  
  7e405e13
- Version page description · 6e046a7d
  Allan Blanchard authored 4 years ago
  
  6e046a7d
- Merge branch 'doc-pdg-slicing-french' into 'master' · 1819eda7
  Allan Blanchard authored 4 years ago
  
  add French documentation for Slicing and PDG See merge request !83
  1819eda7
- add description in layouts, fix page.name · 01de8c9f
  Augustin Lemesle authored 4 years ago
  
  01de8c9f
- Typo · f1065121
  Allan Blanchard authored 4 years ago
  
  f1065121
- Adds slicing documentation in quick access · f7d51439
  Allan Blanchard authored 4 years ago
  
  f7d51439
- Adds description to main pages · 50750123
  Allan Blanchard authored 4 years ago
  
  50750123
- add French documentation for Slicing and PDG · 39c8de59
  Andre Maroneze authored 4 years ago
  
  39c8de59
Nov 05, 2020
- Merge branch 'fix-scandium-installation-instructions' into 'master' · 6e86ab47
  Allan Blanchard authored 4 years ago
  
  Fix Scandium installation instructions See merge request !82
  6e86ab47
- Fix Scandium installation instructions · 779d7d1d
  Allan Blanchard authored 4 years ago
  
  779d7d1d
Nov 04, 2020
- Merge branch 'clean/cssminify' into 'master' · d5bd575d
  Augustin Lemesle authored 4 years ago
  
  Clean/cssminify See merge request !81
  d5bd575d
- Merge branch 'blog-docker-images' into 'master' · 8340815d
  Augustin Lemesle authored 4 years ago
  
  add blog post See merge request !80
  8340815d
- add blog post · 92a4850a
  Andre Maroneze authored 4 years ago
  
  92a4850a
Nov 02, 2020
- restore swiper css for safety · eb7caf12
  Augustin Lemesle authored 4 years ago
  
  eb7caf12
- remove exit 0 to try · c813ee85
  Augustin Lemesle authored 4 years ago
  
  c813ee85
- clean css of changelog · 26c4d1fa
  Augustin Lemesle authored 4 years ago
  
  26c4d1fa
- add rejected classes print · be0f14e4
  Augustin Lemesle authored 4 years ago
  
  be0f14e4
- add install purify css · f94849a5
  Augustin Lemesle authored 4 years ago
  
  f94849a5
- add another stage in CI · 35a70f75
  Augustin Lemesle authored 4 years ago
  
  35a70f75
- add dependencies · 95227d0f
  Augustin Lemesle authored 4 years ago
  
  95227d0f
- nodejs · 0a6e1e3c
  Augustin Lemesle authored 4 years ago
  
  0a6e1e3c
- nodejs · 594457ae
  Augustin Lemesle authored 4 years ago
  
  594457ae
- add nodejs · 8de086ae
  Augustin Lemesle authored 4 years ago
  
  8de086ae
- Merge branch 'fix-beta-accent' into 'master' · b86073d1
  Allan Blanchard authored 4 years ago
  
  remove extraneous accents See merge request !79
  b86073d1
- add ci for CSS check and minifier · 3b9d65fd
  Augustin Lemesle authored 4 years ago
  
  3b9d65fd
- further CSS clean · 6550014f
  Augustin Lemesle authored 4 years ago
  
  6550014f