Commits · 00d4e9a5c2f1762be4e1c3ac4d9f58b8c914acdc · pub / Frama-C Website · GitLab

Snippets Groups Projects

May 06, 2020
- 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: short events title in the timeline. · a73802dc
  David Bühler authored 4 years ago
  
  a73802dc
- 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: removes the year from the detailed event (shown in the timeline anyway). · e59f8d70
  David Bühler authored 4 years ago
  
  e59f8d70
- 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: show the year instead of day/month in the bubble. · 8e59b55d
  David Bühler authored 4 years ago
  
  8e59b55d
- Timeline: always display the title of all events. · ea45c235
  David Bühler authored 4 years ago
  
  ea45c235
- Merge branch 'content/blanchard/bug-reporting-less-aggressive' into 'master' · c927e7f6
  Andre Maroneze authored 4 years ago
  
  Less aggressive reporting guidelines See merge request !31
  c927e7f6
- Less aggressive reporting guidelines · 0f406185
  Allan Blanchard authored 4 years ago
  
  0f406185
May 05, 2020
- Merge branch 'master' of git.frama-c.com:pub/pub.frama-c.com · e773ac5b
  Augustin Lemesle authored 4 years ago
  
  e773ac5b
- minor posts · 9a002a86
  Augustin Lemesle authored 4 years ago
  
  9a002a86
- Merge branch 'content/blanchard/bug-reporting' into 'master' · c0fa22c8
  Augustin Lemesle authored 4 years ago
  
  Updates bug reporting page See merge request pub.frama-c.com!28
  c0fa22c8
- Merge branch 'contact-page-rewording' into 'master' · a124248a
  Augustin Lemesle authored 4 years ago
  
  [contact] Update contact page See merge request pub.frama-c.com!22
  a124248a
- Merge branch 'fix/plugins-list' into 'master' · d528a14e
  Augustin Lemesle authored 4 years ago
  
  All items have the same properties in the plugins list. See merge request pub.frama-c.com!29
  d528a14e
- Merge branch 'master' of git.frama-c.com:pub/pub.frama-c.com · d640851a
  Augustin Lemesle authored 4 years ago
  
  d640851a
- 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
- Updates bug reporting page · 9b1ecc74
  Allan Blanchard authored 4 years ago
  
  9b1ecc74
- Merge branch 'fix/background' into 'master' · f6fe064f
  Augustin Lemesle authored 4 years ago
  
  Removes most background texts (except on the home page). See merge request pub.frama-c.com!27
  f6fe064f
- [get-frama-c] Rewording of link to INSTALL.md · fad836e2
  Andre Maroneze authored 4 years ago
  
  fad836e2
- [plugins] add manual PDF and tutorial URL as variables · 44c6a7ea
  Andre Maroneze authored 4 years ago
  
  44c6a7ea
- [Documentation] Update and improve page · 354530e0
  Andre Maroneze authored 4 years ago
  
  354530e0
- [plugins] Fix typo in filename · ee8b3486
  Andre Maroneze authored 4 years ago
  
  ee8b3486
- Merge branch 'display/blanchard/css_for_lists' into 'master' · 70906560
  Augustin Lemesle authored 4 years ago
  
  Simplifies and generalizes CSS for lists See merge request pub.frama-c.com!26
  70906560
- Now, there's just a padding left for lists · 9e7a2145
  Allan Blanchard authored 4 years ago
  
  9e7a2145
- Removes most background texts (except on the home page). · c6f359b8
  David Bühler authored 4 years ago
  
  c6f359b8
- 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
- Merge branch 'hackathon2/augustin/fixes' into 'master' · fd1895aa
  Augustin Lemesle authored 4 years ago
  
  Hackathon2/augustin/fixes See merge request pub.frama-c.com!25
  fd1895aa
- Merge branch 'master' into 'hackathon2/augustin/fixes' · 9461ac91
  Augustin Lemesle authored 4 years ago
  
  # Conflicts: # html/get-frama-c.html
  9461ac91
- malberti fixes · 2324ab7a
  Augustin Lemesle authored 4 years ago
  
  2324ab7a
- Merge branch 'update-acsl-pages' into 'master' · c72048c6
  Allan Blanchard authored 4 years ago
  
  Update ACSL page See merge request pub.frama-c.com!24
  c72048c6
- fix typos in Frama-C · 68a72d8d
  Andre Maroneze authored 4 years ago
  
  68a72d8d
- add lock file · 783ed4fc
  Augustin Lemesle authored 4 years ago
  
  783ed4fc