Merge requests · pub / Frama-C Website

Add the exclude so that the cloning is smaller

!2 · created Nov 07, 2019 by François Bobot
- MERGED
- 2
updated Nov 07, 2019
Cache bundle files in order to speed up page generation

!4 · created Nov 07, 2019 by François Bobot
- MERGED
- 0
updated Nov 07, 2019
Update documentation start paage

!3 · created Nov 07, 2019 by François Bobot
- MERGED
- 0
updated Nov 07, 2019
Leaflet map in contact page

!7 · created Nov 07, 2019 by Marc Coudriau
- MERGED
- 0
updated Nov 07, 2019
add transparent background for Name and Email input fields

!12 · created Nov 07, 2019 by Thibault Martin
- MERGED
- 0
updated Nov 07, 2019
Fixes plugin pages of Eva, Mthread and Studia

!8 · created Nov 07, 2019 by David Bühler
- MERGED
- 0
updated Nov 07, 2019
update author list

!15 · created Nov 07, 2019 by Thibault Martin
- MERGED
- 0
updated Nov 07, 2019
Fixes the calendar and creates the last events

!13 · created Nov 07, 2019 by David Bühler
- MERGED
- 1
updated Nov 07, 2019
Fix/glob review

!16 · created Nov 07, 2019 by Yaëlle Vinçont
- MERGED
- 0
updated Nov 07, 2019
Documentation pages

!10 · created Nov 07, 2019 by Allan Blanchard
- MERGED
- 0
updated Nov 07, 2019
Add community icons

!17 · created Nov 07, 2019 by Yaëlle Vinçont
- MERGED
- 0
updated Nov 07, 2019
[index] fix Value to Eva

!18 · created Nov 07, 2019 by Yaëlle Vinçont
- MERGED
- 0
updated Nov 07, 2019
Feature/natural timeline

!19 · created Nov 12, 2019 by Marc Coudriau
- MERGED
- 0
updated Nov 12, 2019
New page about the ACSL language.

!20 · created Jan 10, 2020 by Augustin Lemesle
- MERGED
- 1
updated Jan 10, 2020
plugins

!9 · created Nov 07, 2019 by Virgile Prevosto
- MERGED
- 21
updated Apr 02, 2020
Import old blog posts and fix/improve general blog layout 3 of 3 tasks completed

!6 · created Nov 07, 2019 by Andre Maroneze
- MERGED
- 3
updated Apr 06, 2020
[get-frama-c] update instructions and change colors

!23 · created May 04, 2020 by Andre Maroneze
- MERGED
- 1
updated May 05, 2020
Update ACSL page

!24 · created May 05, 2020 by Virgile Prevosto
- MERGED
- 0
updated May 05, 2020
Hackathon2/augustin/fixes

!25 · created May 05, 2020 by Augustin Lemesle
- MERGED
- 0
updated May 05, 2020
Simplifies and generalizes CSS for lists

!26 · created May 05, 2020 by Allan Blanchard
- MERGED
- 4
updated May 05, 2020