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

Snippets Groups Projects

Sep 02, 2020
- Fixes title display in Contact · c32b726f
  Allan Blanchard authored 4 years ago
  
  c32b726f
- New tutorials page · bd85f4d5
  Allan Blanchard authored 4 years ago
  
  bd85f4d5
Sep 01, 2020
- Improves ACSL page on mobile · ce681e6a
  Allan Blanchard authored 4 years ago
  
  ce681e6a
Aug 27, 2020
- unmatching /div · 3d7a0aed
  Allan Blanchard authored 4 years ago
  
  3d7a0aed
- Simpler side menu for publications · 036530f4
  Allan Blanchard authored 4 years ago
  
  036530f4
- Side/top menu · 77b7685f
  Allan Blanchard authored 4 years ago
  
  77b7685f
- Simplifies publications generation · 29a2bfd7
  Allan Blanchard authored 4 years ago
  
  29a2bfd7
- Renaming · 6b4327b6
  Allan Blanchard authored 4 years ago
  
  6b4327b6
- Changes publications subsections titles · c124e368
  Allan Blanchard authored 4 years ago
  
  c124e368
- Deletes old documentation page and bind the new one · 5cd4eb27
  Allan Blanchard authored 4 years ago
  
  5cd4eb27
- Better presentation for publications · 7658fbef
  Allan Blanchard authored 4 years ago
  
  7658fbef
- New publication page system · 4987ef26
  Allan Blanchard authored 4 years ago
  
  4987ef26
- add download button, fix z-index · 7a1847a3
  Augustin Lemesle authored 4 years ago
  
  7a1847a3
Aug 25, 2020
- remove remaining big text and corresp css, and arrowTooltip unused css · 88c63975
  Augustin Lemesle authored 4 years ago
  
  88c63975
Aug 24, 2020
- fix get frama-c · 7a158b8d
  Augustin Lemesle authored 4 years ago
  
  7a158b8d
Aug 07, 2020
- refacto le js · 35cb983d
  Augustin Lemesle authored 4 years ago
  
  35cb983d
- More robust way to select header value · b6437b08
  Allan Blanchard authored 4 years ago
  
  b6437b08
- Generalize tiles and use it for plugins · ca75a1cf
  Allan Blanchard authored 4 years ago
  
  ca75a1cf
- Generic (small) tiles · 678f4d0d
  Allan Blanchard authored 4 years ago
  
  678f4d0d
Aug 06, 2020
- Typo in Documentation · 61359ed2
  Allan Blanchard authored 4 years ago
  
  61359ed2
- Moves links so that documentation is more concise · 036d54ee
  Allan Blanchard authored 4 years ago
  
  036d54ee
- Better links display in documentation · 99467aa2
  Allan Blanchard authored 4 years ago
  
  99467aa2
- New documentation page · 343afe79
  Allan Blanchard authored 4 years ago
  
  343afe79
Aug 05, 2020
- Update (WSL) installation instructions for Scandium · 89d0ffc2
  Allan Blanchard authored 4 years ago
  
  89d0ffc2
Jun 26, 2020
- add Eva-related job offer · 64c0d179
  Andre Maroneze authored 4 years ago
  
  64c0d179
May 12, 2020
- hide unfinished · b0060baf
  Augustin Lemesle authored 4 years ago
  
  b0060baf
- Typos in ACSL + Kernel · 44ca18f9
  Allan Blanchard authored 4 years ago
  
  44ca18f9
- Typos in ACSL · 6d94422e
  Allan Blanchard authored 4 years ago
  
  6d94422e
- Links in Kernel page · 1ace0fe3
  Allan Blanchard authored 4 years ago
  
  1ace0fe3
- Shortens the Kernel page · f49304f3
  Allan Blanchard authored 4 years ago
  
  f49304f3
- ACSL · a22c6714
  Allan Blanchard authored 4 years ago
  
  a22c6714
- Example of sidenotes in the ACSL page. · ae1b4f9c
  David Bühler authored 4 years ago and Allan Blanchard committed 4 years ago
  
  ae1b4f9c
May 11, 2020
- [get-frama-c] macOS installation · 9c7e0fbf
  Loïc Correnson authored 4 years ago
  
  9c7e0fbf
May 06, 2020
- [GUI] add feature page for GUI · 3b149b12
  Andre Maroneze authored 4 years ago
  
  3b149b12
- Clean headers and navbar · 40d6b87c
  Augustin Lemesle authored 4 years ago
  
  40d6b87c
- clean tabs · 7261180a
  Augustin Lemesle authored 4 years ago
  
  7261180a
- add layouts for features · 9347b24f
  Augustin Lemesle authored 4 years ago
  
  9347b24f
May 05, 2020
- [get-frama-c] Rewording of link to INSTALL.md · fad836e2
  Andre Maroneze authored 4 years ago
  
  fad836e2
- Removes most background texts (except on the home page). · c6f359b8
  David Bühler authored 4 years ago
  
  c6f359b8
- fix typos in Frama-C · 68a72d8d
  Andre Maroneze authored 4 years ago
  
  68a72d8d