Commits · 1bfef6b0027714cab151a2608219681397f975da · pub / Frama-C Website · GitLab

Snippets Groups Projects

Sep 04, 2020
- Adds installation instructions files · 1bfef6b0
  Allan Blanchard authored 4 years ago
  
  1bfef6b0
- body class clean · 82e5b387
  Augustin Lemesle authored 4 years ago
  
  82e5b387
- Merge branch 'add/u3cat' · 076ffa94
  Augustin Lemesle authored 4 years ago
  
  076ffa94
- final useless files · a21f3a72
  Augustin Lemesle authored 4 years ago
  
  a21f3a72
- fix partners links · 8a92fdcc
  Augustin Lemesle authored 4 years ago
  
  8a92fdcc
- move imgs, dead links publis · 702f0404
  Augustin Lemesle authored 4 years ago
  
  702f0404
- recup modif · 3eb887c4
  Augustin Lemesle authored 4 years ago
  
  3eb887c4
- Merge branch 'fix-more-dead-links' into 'master' · a4989843
  Allan Blanchard authored 4 years ago
  
  Fix more dead links See merge request !53
  a4989843
- Fixes or remove various dead links · f7c46fa1
  Allan Blanchard authored 4 years ago
  
  f7c46fa1
- Adds missing user manuals · 04fb972e
  Allan Blanchard authored 4 years ago
  
  04fb972e
- Even more dead links · 82f01f0d
  Allan Blanchard authored 4 years ago
  
  82f01f0d
- Cosmetic changes in documentation · 89ef6c2e
  Allan Blanchard authored 4 years ago
  
  89ef6c2e
- place footer at bottom even if short pages · 7cbb31fc
  Augustin Lemesle authored 4 years ago
  
  7cbb31fc
- fix padding and some css · 0734fba2
  Augustin Lemesle authored 4 years ago
  
  0734fba2
- change menu transition at 1080px · 07f45c1b
  Augustin Lemesle authored 4 years ago
  
  07f45c1b
- Merge branch 'several-fixes' into 'master' · 5faac14c
  Allan Blanchard authored 4 years ago
  
  Several fixes See merge request !52
  5faac14c
- menu and layout u3cat · db8fb0e1
  Augustin Lemesle authored 4 years ago
  
  db8fb0e1
Sep 03, 2020
- Fixes various links in blog posts · 3ede2451
  Allan Blanchard authored 4 years ago
  
  3ede2451
- Fixes borken link for a tutorial · e2a10f00
  Allan Blanchard authored 4 years ago
  
  e2a10f00
- Fixes missing downloads · ad2d3f18
  Allan Blanchard authored 4 years ago
  
  ad2d3f18
- move downloads and fetch LFS · 77195991
  Augustin Lemesle authored 4 years ago
  
  77195991
- clean u3cat pages · b5279c64
  Augustin Lemesle authored 4 years ago
  
  b5279c64
- add u3cat files · 092a28ce
  Augustin Lemesle authored 4 years ago
  
  092a28ce
- Merge branch 'changes-logo' into several-fixes · 253d1245
  Allan Blanchard authored 4 years ago
  
  253d1245
- Fixes tutorial links · 48b1f523
  Allan Blanchard authored 4 years ago
  
  48b1f523
- Makes logo compatible with dark mode · 18bde1fa
  Allan Blanchard authored 4 years ago
  
  18bde1fa
- Merge branch 'feature/allan/improve-publications' into 'master' · 1c1a1446
  Allan Blanchard authored 4 years ago
  
  Improve (and provide some fixes in) publications and documentation Closes #18 See merge request !51
  1c1a1446
- More acknowledgements · 3bf0f34b
  Allan Blanchard authored 4 years ago
  
  3bf0f34b
- Acknowledgements: slighlty changes CSS · 445a81dd
  Allan Blanchard authored 4 years ago
  
  445a81dd
- Better acknowledgements page · c0672f85
  Allan Blanchard authored 4 years ago
  
  c0672f85
- Fixes some links in ENSIIE course · ef751629
  Allan Blanchard authored 4 years ago
  
  ef751629
- Documentation: make sure links are one line long · ad8c909a
  Allan Blanchard authored 4 years ago
  
  ad8c909a
- Documentation: invert ACSL and Frama-C · b4d4a1f4
  Allan Blanchard authored 4 years ago
  
  b4d4a1f4
- Documentation: Merge "Frama-C" and "About" · 1ea53954
  Allan Blanchard authored 4 years ago
  
  1ea53954
- Publications: lighter details hover · ff930de8
  Allan Blanchard authored 4 years ago
  
  ff930de8
- Publications: fixes sidebar width · 5fd2e257
  Allan Blanchard authored 4 years ago
  
  5fd2e257
- Publications: JS script to close menu on click · 6e501784
  Allan Blanchard authored 4 years ago
  
  6e501784
- Publications: Better details · 7c187841
  Allan Blanchard authored 4 years ago
  
  7c187841
- 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
- Merge branch 'feature/allan/tutorials-page' into 'master' · 4f24739e
  Allan Blanchard authored 4 years ago
  
  New tutorials and teaching pages See merge request !49
  4f24739e