Commits · 9e06d1769c3ec4f290b886f686c62ae0b3a7f443 · pub / Frama-C Website

You need to sign in or sign up before continuing.

Jun 08, 2023
- Add huge tiles · 9e06d176
  Allan Blanchard authored 1 year ago
  
  9e06d176
Mar 31, 2023
- Fixes images size · 791e786e
  Allan Blanchard authored 1 year ago
  
  791e786e
Mar 28, 2023
- [blog] add banner image for hackathon post · 8609630f
  Andre Maroneze authored 1 year ago
  
  8609630f
Nov 29, 2022
- [blog] apply suggestions and fixes from review · 0687296e
  Andre Maroneze authored 2 years ago
  
  0687296e
Nov 28, 2022
- [blog] post about Iron (26) release · 061cfd90
  Andre Maroneze authored 2 years ago
  
  061cfd90
Nov 25, 2022
- [plugins] add Dive plug-in description page · fac7d780
  Andre Maroneze authored 2 years ago
  
  fac7d780
Jul 12, 2022
- [blog] post about Ivette in Frama-C 25 · 42b50c3a
  Andre Maroneze authored 2 years ago
  
  42b50c3a
May 30, 2022
- add Frama-PLC plugin page and online manuals · 1025038c
  Andre Maroneze authored 2 years ago
  
  1025038c
Dec 15, 2021
- Reorganizes contact to make community more visible · b06887f0
  Allan Blanchard authored 3 years ago
  
  b06887f0
Dec 14, 2021
- add more prominent link to INSTALL.md in Get-Frama-C · 35b5f2f4
  Andre Maroneze authored 3 years ago
  
  35b5f2f4
Nov 09, 2021
- CSS Lint · 251459cf
  Allan Blanchard authored 3 years ago
  
  251459cf
- Fixes CSS syntax · a7b5e580
  Allan Blanchard authored 3 years ago
  
  a7b5e580
- Improve old mailing list display · 10eef179
  Allan Blanchard authored 3 years ago
  
  10eef179
Jul 08, 2021
- Accept longer event titles · 6d74d2c8
  Allan Blanchard authored 3 years ago
  
  6d74d2c8
Dec 11, 2020
- We can now reach both news and overview from home · f43974a5
  Allan Blanchard authored 4 years ago
  
  f43974a5
Nov 25, 2020
- Cleans unused CSS · 517af850
  Allan Blanchard authored 4 years ago
  
  517af850
- Fix community display on contact page · c8efdb8d
  Allan Blanchard authored 4 years ago
  
  c8efdb8d
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
- Main index section centered · 2769ea6f
  Allan Blanchard authored 4 years ago
  
  2769ea6f
Nov 16, 2020
- Adds slicing documentation in quick access · f7d51439
  Allan Blanchard authored 4 years ago
  
  f7d51439
Nov 02, 2020
- restore swiper css for safety · eb7caf12
  Augustin Lemesle authored 4 years ago
  
  eb7caf12
- clean css of changelog · 26c4d1fa
  Augustin Lemesle authored 4 years ago
  
  26c4d1fa
- further CSS clean · 6550014f
  Augustin Lemesle authored 4 years ago
  
  6550014f
- re add changelog css (as not generated offline) · c9f97f05
  Augustin Lemesle authored 4 years ago
  
  c9f97f05
- initial clean of css by tool · 5addf516
  Augustin Lemesle authored 4 years ago
  
  5addf516
- move swiper.css to html for detection by purifycss · cfea273c
  Augustin Lemesle authored 4 years ago
  
  cfea273c
Oct 28, 2020
- Fixes blog CSS · b2e2575f
  Allan Blanchard authored 4 years ago
  
  b2e2575f
Oct 27, 2020
- Better attachment (not perfect though) · a508bc33
  Allan Blanchard authored 4 years ago
  
  a508bc33
- Publication CSS now checks Nav presence · fdf0ab7c
  Allan Blanchard authored 4 years ago
  
  fdf0ab7c
- Force max-width for version block · a065c386
  Allan Blanchard authored 4 years ago
  
  a065c386
- Reorganizes Get Frama-C page · c49118e9
  Allan Blanchard authored 4 years ago
  
  c49118e9
Oct 26, 2020
- Fixes version display on narrow screens · 204025ef
  Allan Blanchard authored 4 years ago
  
  204025ef
- Improved version pages · cdaef30a
  Allan Blanchard authored 4 years ago
  
  cdaef30a
Oct 23, 2020
- fix swiper arrows · 24f40b22
  Augustin Lemesle authored 4 years ago
  
  24f40b22
Sep 09, 2020
- Fixes timeline display in some situations · c162f276
  Allan Blanchard authored 4 years ago
  
  c162f276
- first clean css dependencies · 077ce585
  Augustin Lemesle authored 4 years ago
  
  077ce585
- Fixes home css · df7b5fff
  Allan Blanchard authored 4 years ago
  
  df7b5fff
Sep 08, 2020
- Overview page · 89d2415e
  Allan Blanchard authored 4 years ago
  
  89d2415e
- remove case studies generation, remove some css · ed72a246
  Augustin Lemesle authored 4 years ago
  
  ed72a246