Merge requests · pub

Fixes the calendar and creates the last events

pub.frama-c.com!13 · created Nov 07, 2019 by David Bühler
- Merged
- 1
updated Nov 07, 2019
update inria logo

pub.frama-c.com!14 · created Nov 07, 2019 by Thibault Martin
- Closed
updated Nov 07, 2019
update author list

pub.frama-c.com!15 · created Nov 07, 2019 by Thibault Martin
updated Nov 07, 2019
Fix/glob review

pub.frama-c.com!16 · created Nov 07, 2019 by Yaëlle Vinçont
updated Nov 07, 2019
Add community icons

pub.frama-c.com!17 · created Nov 07, 2019 by Yaëlle Vinçont
updated Nov 07, 2019
[index] fix Value to Eva

pub.frama-c.com!18 · created Nov 07, 2019 by Yaëlle Vinçont
updated Nov 07, 2019
Feature/natural timeline

pub.frama-c.com!19 · created Nov 12, 2019 by Marc Coudriau
updated Nov 12, 2019
CONTRIBUTING file

frama-c!1 · created Nov 27, 2019 by David Bühler
- Merged
updated Feb 22, 2021
New page about the ACSL language.

pub.frama-c.com!20 · created Jan 10, 2020 by Augustin Lemesle
- Merged
- 1
updated Jan 10, 2020
Add ci and bundleling

colibri!1 · created Feb 10, 2020 by François Bobot
- Merged
- 2
updated Feb 10, 2020
[gitlab] Indicate that the old BTS is deprecated

frama-c!2 · created Apr 02, 2020 by Andre Maroneze
- Merged
- Approved
updated Nov 28, 2020
[blog] tweak CSS

pub.frama-c.com!21 · created Apr 02, 2020 by Andre Maroneze
- Closed
updated Apr 06, 2020
small fixes in build scripts

colibri!2 · created Apr 07, 2020 by Johannes Kanig
updated Jun 29, 2020
[contact] Update contact page

pub.frama-c.com!22 · created May 04, 2020 by Andre Maroneze
- Merged
- 1
updated May 05, 2020
[get-frama-c] update instructions and change colors

pub.frama-c.com!23 · created May 04, 2020 by Andre Maroneze
- Merged
- 1
updated May 05, 2020
Update ACSL page

pub.frama-c.com!24 · created May 05, 2020 by Virgile Prevosto
updated May 05, 2020
Hackathon2/augustin/fixes

pub.frama-c.com!25 · created May 05, 2020 by Augustin Lemesle
- Merged
updated May 05, 2020
Simplifies and generalizes CSS for lists

pub.frama-c.com!26 · created May 05, 2020 by Allan Blanchard
- Merged
- 4
updated May 05, 2020
Removes most background texts (except on the home page).

pub.frama-c.com!27 · created May 05, 2020 by David Bühler
- Merged
- 1
updated May 05, 2020
Updates bug reporting page

pub.frama-c.com!28 · created May 05, 2020 by Allan Blanchard
- Merged
- 2
updated May 06, 2020