---
layout: fc_discuss_archives
title: Message 11 from Frama-C-discuss on October 2009
---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] Why release 2.20, including Jessie plugin for Beryllium 2
- Subject: [Frama-c-discuss] Why release 2.20, including Jessie plugin for Beryllium 2
- From: Jean-Christophe.Filliatre at lri.fr (Jean-Christophe Filliâtre)
- Date: Fri, 02 Oct 2009 14:30:20 +0200
Dear Frama-C users,
It is our pleasure to announce the release 2.20 of Why, including the
Jessie plugin for Frama-C Beryllium 2.
Why 2.20 can be downloaded from http://why.lri.fr/
Enjoy!
--
Jean-Christophe