Commit dbd23b52 authored by David Bühler's avatar David Bühler
Browse files

New events.

parent 28b5fa0f
---
layout: default
date: 13-09-2019
title: Release of Frama-C Clang 0.0.7
image: /assets/img/events/frama-clang.png
---
Frama-C Clang 0.0.7 is out. Download it [here](/fc-plugins/frama-clang.html).
\ No newline at end of file
---
layout: default
date: 10-08-2019
title: A new day in Frama-C
---
---
layout: default
date: 10-08-2019
title: A new day in Frama-C
---
---
layout: default
date: 18-05-2019
title: Frama-C & SPARK Day 2019
image: /assets/img/events/fc-day-2019.png
---
Frama-C & SPARK Day 2019 will take place on June 3, 2019 in Paris.
Registration and program [here](http://frama-c.com/FCSD19.html).
\ No newline at end of file
---
layout: default
date: 31-05-2018
title: Release of Frama-C 17.0 (Chlorine)
image: /assets/img/events/Chlorine.jpg
---
Frama-C 17.0 (Chlorine) is out. Download it [here](/fc-versions/chlorine.html).
\ No newline at end of file
---
layout: default
date: 29-10-2018
title: Release of Frama-C 18.0 (Argon)
image: /assets/img/events/Argon.jpg
---
Frama-C 18.0 (Argon) is out. Download it [here](/fc-versions/argon.html).
\ No newline at end of file
---
layout: default
date: 21-06-2019
title: Release of Frama-C 19.0 (Potassium)
image: /assets/img/events/Potassium.jpg
---
Frama-C 19.0 (Potassium) is out. Download it [here](/fc-versions/potassium.html).
\ No newline at end of file
---
layout: default
date: 17-09-2019
title: Release of Frama-C 19.1 (Potassium)
image: /assets/img/events/Potassium.jpg
---
Frama-C 19.1 (Potassium) is out. Download it [here](/fc-versions/potassium.html).
\ No newline at end of file
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment