Merge Requests · pub

[plugins] Convert to Markdown, normalize section names and URLs

pub.frama-c.com!30 · opened May 05, 2020 by Andre Maroneze hackathon2
- MERGED
- 4
updated May 11, 2020
[GUI] add feature page for GUI

pub.frama-c.com!33 · opened May 06, 2020 by Andre Maroneze
- MERGED
- 1
updated May 07, 2020
Better timeline

pub.frama-c.com!32 · opened May 06, 2020 by David Bühler
- MERGED
- 5
updated May 06, 2020
Less aggressive reporting guidelines

pub.frama-c.com!31 · opened May 06, 2020 by Allan Blanchard
- MERGED
- 1
updated May 06, 2020
Updates bug reporting page

pub.frama-c.com!28 · opened May 05, 2020 by Allan Blanchard
- MERGED
- 2
updated May 06, 2020
[contact] Update contact page

pub.frama-c.com!22 · opened May 04, 2020 by Andre Maroneze
- MERGED
- 1
updated May 05, 2020
All items have the same properties in the plugins list.

pub.frama-c.com!29 · opened May 05, 2020 by David Bühler
- MERGED
- 0
updated May 05, 2020
Removes most background texts (except on the home page).

pub.frama-c.com!27 · opened May 05, 2020 by David Bühler
- MERGED
- 1
- 0
updated May 05, 2020
Simplifies and generalizes CSS for lists

pub.frama-c.com!26 · opened May 05, 2020 by Allan Blanchard
- MERGED
- 4
updated May 05, 2020
Hackathon2/augustin/fixes

pub.frama-c.com!25 · opened May 05, 2020 by Augustin Lemesle
- MERGED
- 0
updated May 05, 2020
Update ACSL page

pub.frama-c.com!24 · opened May 05, 2020 by Virgile Prevosto
- MERGED
- 0
updated May 05, 2020
[get-frama-c] update instructions and change colors

pub.frama-c.com!23 · opened May 04, 2020 by Andre Maroneze
- MERGED
- 1
updated May 05, 2020
Import old blog posts and fix/improve general blog layout 3 of 3 tasks completed

pub.frama-c.com!6 · opened Nov 07, 2019 by Andre Maroneze
- MERGED
- 3
updated Apr 06, 2020
plugins

pub.frama-c.com!9 · opened Nov 07, 2019 by Virgile Prevosto
- MERGED
- 21
updated Apr 02, 2020
New page about the ACSL language.

pub.frama-c.com!20 · opened Jan 10, 2020 by Augustin Lemesle
- MERGED
- 1
updated Jan 10, 2020
CONTRIBUTING file

frama-c!1 · opened Nov 27, 2019 by David Bühler
- MERGED
- 0
updated Dec 02, 2019
Feature/natural timeline

pub.frama-c.com!19 · opened Nov 12, 2019 by Marc Coudriau
- MERGED
- 0
updated Nov 12, 2019
[index] fix Value to Eva

pub.frama-c.com!18 · opened Nov 07, 2019 by Yaëlle Vinçont
- MERGED
- 0
updated Nov 07, 2019
Add community icons

pub.frama-c.com!17 · opened Nov 07, 2019 by Yaëlle Vinçont
- MERGED
- 0
updated Nov 07, 2019
Documentation pages

pub.frama-c.com!10 · opened Nov 07, 2019 by Allan Blanchard
- MERGED
- 0
updated Nov 07, 2019