Merge requests · pub

Update README

pub.frama-c.com!71 · created Oct 28, 2020 by Basile Desloges
updated Oct 28, 2020
Release 22-Titanium

pub.frama-c.com!72 · created Oct 28, 2020 by Allan Blanchard
- Merged
updated Oct 28, 2020
Release 22-beta: add installation and event

pub.frama-c.com!73 · created Oct 28, 2020 by Allan Blanchard
- Merged
updated Oct 28, 2020
Fixes links and content for installation - 22 Titanium

pub.frama-c.com!74 · created Oct 28, 2020 by Allan Blanchard
- Merged
updated Oct 28, 2020
Fixes E-ACSL manual location

pub.frama-c.com!75 · created Oct 28, 2020 by Allan Blanchard
- Merged
updated Oct 28, 2020
Update Frama-C Discuss link

pub.frama-c.com!76 · created Oct 28, 2020 by Allan Blanchard
- Merged
updated Oct 28, 2020
Harmonize last event

pub.frama-c.com!77 · created Oct 28, 2020 by Allan Blanchard
- Merged
updated Oct 28, 2020
Be sure that lastest version is the stable one

pub.frama-c.com!78 · created Oct 29, 2020 by Allan Blanchard
- Merged
updated Oct 29, 2020
remove extraneous accents

pub.frama-c.com!79 · created Oct 30, 2020 by Andre Maroneze
updated Nov 02, 2020
add blog post

pub.frama-c.com!80 · created Nov 04, 2020 by Andre Maroneze
- Merged
- 1
- 1
updated Nov 04, 2020
Clean/cssminify

pub.frama-c.com!81 · created Nov 04, 2020 by Augustin Lemesle
updated Nov 04, 2020
Fix Scandium installation instructions

pub.frama-c.com!82 · created Nov 05, 2020 by Allan Blanchard
- Merged
updated Nov 05, 2020
add French documentation for Slicing and PDG

pub.frama-c.com!83 · created Nov 16, 2020 by Andre Maroneze
- Merged
- 9
updated Nov 16, 2020
Adds description to main pages

pub.frama-c.com!84 · created Nov 16, 2020 by Allan Blanchard
- Merged
- 24
updated Nov 17, 2020
Multiple small fixes

pub.frama-c.com!85 · created Nov 18, 2020 by Allan Blanchard
- Merged
updated Nov 18, 2020
Moves Specification before GUI

pub.frama-c.com!86 · created Nov 19, 2020 by Allan Blanchard
- Merged
updated Nov 19, 2020
Add plugin priorities, use them for kernel-plugins

pub.frama-c.com!87 · created Nov 19, 2020 by Allan Blanchard
- Merged
- 5
updated Nov 19, 2020
Automatically build ACSL manuals list from website data

pub.frama-c.com!88 · created Nov 19, 2020 by Allan Blanchard
- Merged
updated Nov 20, 2020
new blog post: github actions

pub.frama-c.com!89 · created Nov 19, 2020 by Andre Maroneze
- Merged
- 1
- 1
updated Nov 19, 2020
Update MetAcsl's description

pub.frama-c.com!90 · created Nov 20, 2020 by Virgile Robles
- Merged
- 6
- Approved
updated Nov 20, 2020