Merge Requests · pub

new blog post: github actions

pub.frama-c.com!89 · created Nov 19, 2020 by Andre Maroneze
- MERGED
- 1
- 1
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
Moves Specification before GUI

pub.frama-c.com!86 · created Nov 19, 2020 by Allan Blanchard
- MERGED
- 0
updated Nov 19, 2020
Multiple small fixes

pub.frama-c.com!85 · created Nov 18, 2020 by Allan Blanchard
- MERGED
- 0
updated Nov 18, 2020
Adds description to main pages

pub.frama-c.com!84 · created Nov 16, 2020 by Allan Blanchard
- MERGED
- 24
updated Nov 17, 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
Facets

isaieh!1 · created Oct 27, 2020 by Aymeric Varasse
- MERGED
- 0
updated Nov 06, 2020
Fix Scandium installation instructions

pub.frama-c.com!82 · created Nov 05, 2020 by Allan Blanchard
- MERGED
- 0
updated Nov 05, 2020
Clean/cssminify

pub.frama-c.com!81 · created Nov 04, 2020 by Augustin Lemesle
- MERGED
- 0
updated Nov 04, 2020
add blog post

pub.frama-c.com!80 · created Nov 04, 2020 by Andre Maroneze
- MERGED
- 1
- 1
updated Nov 04, 2020
remove extraneous accents

pub.frama-c.com!79 · created Oct 30, 2020 by Andre Maroneze
- MERGED
- 0
updated Nov 02, 2020
Add Docker-based CI integration

open-source-case-studies!4 · created Jul 20, 2020 by Andre Maroneze
- MERGED
- 0
updated Oct 30, 2020
Be sure that lastest version is the stable one

pub.frama-c.com!78 · created Oct 29, 2020 by Allan Blanchard
- MERGED
- 0
updated Oct 29, 2020
Harmonize last event

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

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

pub.frama-c.com!75 · created Oct 28, 2020 by Allan Blanchard
- MERGED
- 0
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
- 0
updated Oct 28, 2020
Release 22-beta: add installation and event

pub.frama-c.com!73 · created Oct 28, 2020 by Allan Blanchard
- MERGED
- 0
updated Oct 28, 2020
Release 22-Titanium

pub.frama-c.com!72 · created Oct 28, 2020 by Allan Blanchard
- MERGED
- 0
updated Oct 28, 2020
Fix manuals links

pub.frama-c.com!70 · created Oct 28, 2020 by Basile Desloges
- MERGED
- 0
updated Oct 28, 2020