Merge requests · pub / Frama-C Website

Improved version pages

!65 · created Oct 23, 2020 by Allan Blanchard
- Merged
updated Oct 27, 2020
Changelog generator now takes in account WP and E-ACSL

!66 · created Oct 26, 2020 by Allan Blanchard
- Merged
updated Oct 26, 2020
Removes strange values in releases

!64 · created Oct 23, 2020 by Allan Blanchard
- Merged
updated Oct 23, 2020
Add few Ltest publications

!63 · created Oct 23, 2020 by Thibault Martin
- Merged
- 2
updated Oct 23, 2020
small typo (publi chameau 2014)

!62 · created Oct 22, 2020 by Roma Auguste
updated Oct 22, 2020
rewrite a few section titles

!61 · created Sep 25, 2020 by Andre Maroneze
- Merged
updated Oct 01, 2020
update Eva options in main page

!60 · created Sep 09, 2020 by Andre Maroneze
updated Sep 09, 2020
Frama-C Overview page

!59 · created Sep 08, 2020 by Allan Blanchard
- Merged
updated Sep 08, 2020
Minor fixes

!58 · created Sep 08, 2020 by Allan Blanchard
- Merged
updated Sep 08, 2020
Underline links

!57 · created Sep 08, 2020 by Allan Blanchard
- Merged
updated Sep 08, 2020
Provide more information on the Get Frama-C page

!56 · created Sep 07, 2020 by Allan Blanchard
- Merged
updated Sep 08, 2020
Adds installation instructions files

!55 · created Sep 04, 2020 by Allan Blanchard
- Merged
updated Sep 07, 2020
WIP: Add u3cat

!54 · created Sep 04, 2020 by Augustin Lemesle
updated Sep 04, 2020
Fix more dead links

!53 · created Sep 04, 2020 by Allan Blanchard
- Merged
updated Sep 04, 2020
Several fixes

!52 · created Sep 03, 2020 by Allan Blanchard
- Merged
updated Sep 04, 2020
Improve (and provide some fixes in) publications and documentation

!51 · created Sep 03, 2020 by Allan Blanchard
- Merged
updated Sep 03, 2020
New tutorials and teaching pages 3 of 3 checklist items completed

!49 · created Sep 01, 2020 by Allan Blanchard
- Merged
updated Sep 02, 2020
Adds recent events to timeline 3 of 3 checklist items completed

!46 · created Sep 01, 2020 by Allan Blanchard
- Merged
updated Sep 02, 2020
Adds ACSL importer 1 of 1 checklist item completed

!47 · created Sep 01, 2020 by Allan Blanchard
- Merged
- 3
updated Sep 01, 2020
Improves ACSL page on mobile

!48 · created Sep 01, 2020 by Allan Blanchard
- Merged
updated Sep 01, 2020