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

Snippets Groups Projects

Sep 03, 2020
- Publications: JS script to close menu on click · 6e501784
  Allan Blanchard authored 4 years ago
  
  6e501784
- Publication: side menu - changes visibility · 940032d2
  Allan Blanchard authored 4 years ago
  
  - always visible on wide screen - named "categories" when in mobile mode - change font size to follow the rest of website
  940032d2
Sep 02, 2020
- Adds a title for terms of use · 4f2b8396
  Allan Blanchard authored 4 years ago
  
  4f2b8396
- Moves ENSIIE course content · d68386a5
  Allan Blanchard authored 4 years ago
  
  d68386a5
- Removes dokuwiki links in documentation · 72e84822
  Allan Blanchard authored 4 years ago
  
  72e84822
- New teaching page · 45de92c7
  Allan Blanchard authored 4 years ago
  
  45de92c7
- 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