Commits · 3b633685c90c3d902587a41e94fd107a79811c0c · pub / Frama-C Website · GitLab

Snippets Groups Projects

May 06, 2020
- fix background of timeline · bd57333e
  Augustin Lemesle authored 4 years ago
  
  bd57333e
- add layouts for features · 9347b24f
  Augustin Lemesle authored 4 years ago
  
  9347b24f
- Timeline: removes the mask of the time line. · 00d4e9a5
  David Bühler authored 4 years ago
  
  The mask does not work on chrome, and leads to visual bugs on firefox when the window is resized.
  00d4e9a5
- Timeline: tweaks sizes and positions. · 22bbdf86
  David Bühler authored 4 years ago
  
  22bbdf86
- Timeline: shows more events on large screens, and less events on small screens. · 28f21142
  David Bühler authored 4 years ago
  
  28f21142
- Timeline: fixes the size of the events in the timeline. · 4293a49d
  David Bühler authored 4 years ago
  
  4293a49d
- Timeline: moves the timeline before the event detail. · a8e34727
  David Bühler authored 4 years ago
  
  a8e34727
- Timeline: adds events, and removes the images. · 99275fee
  David Bühler authored 4 years ago
  
  99275fee
- Timeline: do not show the image of the events. · 57b1e05f
  David Bühler authored 4 years ago
  
  57b1e05f
- Timeline: renames calendar into timeline. · d0c17c21
  David Bühler authored 4 years ago
  
  d0c17c21
- Timeline: always display the title of all events. · ea45c235
  David Bühler authored 4 years ago
  
  ea45c235
May 05, 2020
- minor posts · 9a002a86
  Augustin Lemesle authored 4 years ago
  
  9a002a86
- beautify post · 41ee7895
  Augustin Lemesle authored 4 years ago
  
  41ee7895
- All items have the same properties in the plugins list. · 4140c001
  David Bühler authored 4 years ago
  
  4140c001
- Now, there's just a padding left for lists · 9e7a2145
  Allan Blanchard authored 4 years ago
  
  9e7a2145
- Simplifies and generalizes CSS for lists · aac2efe3
  Allan Blanchard authored 4 years ago
  
  aac2efe3
- indent fix · 12309574
  Augustin Lemesle authored 4 years ago
  
  12309574
- indent on li · 252a6bd4
  Augustin Lemesle authored 4 years ago
  
  252a6bd4
- malberti fixes · 2324ab7a
  Augustin Lemesle authored 4 years ago
  
  2324ab7a
- [get-frama-c] Fix OS detection of Linux · 350981de
  Andre Maroneze authored 4 years ago
  
  350981de
May 04, 2020
- [get-frama-c] update instructions and change colors · a929ac65
  Andre Maroneze authored 4 years ago
  
  a929ac65
Apr 06, 2020
- [blog] various layout changes and fixes · cd21f839
  Andre Maroneze authored 4 years ago
  
  cd21f839
- [blog] import old posts, with various fixes · 9dd0fe9e
  Andre Maroneze authored 4 years ago
  
  9dd0fe9e
Apr 02, 2020
- [blog] fix image link in blog post · 6a387230
  Andre Maroneze authored 4 years ago
  
  6a387230
Jan 13, 2020
- changelog fix · 759b16b6
  Augustin Lemesle authored 5 years ago
  
  759b16b6
- changelog fix · e16026f9
  Augustin Lemesle authored 5 years ago
  
  e16026f9
Jan 10, 2020
- fix community · f767b18c
  Augustin Lemesle authored 5 years ago
  
  f767b18c
Dec 06, 2019
- remove useless on using frama-c · 294f994a
  Augustin Lemesle authored 5 years ago
  
  294f994a
Nov 21, 2019
- fix image, fix contact {} · 19cf0d86
  Augustin Lemesle authored 5 years ago
  
  19cf0d86
Nov 18, 2019
- fix icon community and download same class · 3ff22ec9
  Augustin Lemesle authored 5 years ago
  
  3ff22ec9
Nov 08, 2019
- fix css · 502cfdd9
  Augustin Lemesle authored 5 years ago
  
  502cfdd9
Nov 07, 2019
- [contact] add twitter · 6e688f9b
  Yaelle Vincont authored 5 years ago
  
  6e688f9b
- [contact] add community icons · 561f0657
  Yaelle Vincont authored 5 years ago
  
  561f0657
- minor · d2b5ea6c
  Augustin Lemesle authored 5 years ago
  
  d2b5ea6c
- New events. · dbd23b52
  David Bühler authored 5 years ago
  
  dbd23b52
- add transparent background for Name and Email input fields · 65b6272a
  Thibault Martin authored 5 years ago
  
  65b6272a
- minor fixes · 5bd49e7d
  Augustin Lemesle authored 5 years ago
  
  5bd49e7d
- [ref/authors+terms] update Inria · 311059bc
  Yaelle Vincont authored 5 years ago
  
  311059bc
- Add number 3 on front page · cb810535
  Augustin Lemesle authored 5 years ago
  
  Minor fixes
  cb810535
- Leaflet map in contact page · c14fd63c
  Marc Coudriau authored 5 years ago
  
  c14fd63c