Commits · 49214cc72b9d349e274c55fe19132af8d871b5cb · pub / Frama-C Website · GitLab

Snippets Groups Projects

Nov 20, 2020
- Merge branch 'frama-c-22-0-release' into 'master' · 49214cc7
  Allan Blanchard authored 4 years ago
  
  Frama-C 22 release See merge request !92
  49214cc7
- Merge branch 'fix/metacsl_descr' into 'master' · 22982d7a
  Allan Blanchard authored 4 years ago
  
  Update MetAcsl's description See merge request !90
  22982d7a
- Frama-C 22 release · feecc036
  Allan Blanchard authored 4 years ago
  
  feecc036
- Merge branch 'feature/changelog-gitlab-sub-repos-issues' into 'master' · f007146a
  Allan Blanchard authored 4 years ago
  
  Support frama-c/<repo>#NN format See merge request !91
  f007146a
- generate exe · 3ca161be
  Augustin Lemesle authored 4 years ago
  
  3ca161be
- Support ## format · 367bbd66
  Allan Blanchard authored 4 years ago
  
  367bbd66
- Merge branch 'feature/acsl-manuals-list' into 'master' · e8715c03
  Allan Blanchard authored 4 years ago
  
  Automatically build ACSL manuals list from website data See merge request !88
  e8715c03
- Support frama-c/<repo>#NN format · 4872a979
  Allan Blanchard authored 4 years ago
  
  4872a979
- Update MetAcsl's description · 4c6038c6
  Virgile Robles authored 4 years ago
  
  4c6038c6
Nov 19, 2020
- Merge branch 'blog-post-github-actions' into 'master' · f355596e
  Andre Maroneze authored 4 years ago
  
  new blog post: github actions See merge request !89
  f355596e
- new blog post: github actions · ca136280
  Andre Maroneze authored 4 years ago
  
  ca136280
- Build automatically ACSL manuals list · 222a8469
  Allan Blanchard authored 4 years ago
  
  222a8469
- Merge branch 'multiple-small-fixes' into 'master' · 1069326a
  Allan Blanchard authored 4 years ago
  
  Add plugin priorities, use them for kernel-plugins See merge request !87
  1069326a
- Change E-ACSL priority · d0c1f9ac
  Allan Blanchard authored 4 years ago
  
  d0c1f9ac
- 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
- Merge branch 'multiple-small-fixes' into 'master' · a3b3f636
  Allan Blanchard authored 4 years ago
  
  Moves Specification before GUI See merge request !86
  a3b3f636
- Moves Specification before GUI · b879d7d6
  Allan Blanchard authored 4 years ago
  
  b879d7d6
Nov 18, 2020
- Merge branch 'multiple-small-fixes' into 'master' · 6698502a
  Allan Blanchard authored 4 years ago
  
  Multiple small fixes See merge request !85
  6698502a
- 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