--- layout: fc_discuss_archives title: Message 5 from Frama-C-discuss on December 2019 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-C 20 (Calcium) has been released!



ons 2019-12-04 klockan 18:00 +0100 skrev Andre Maroneze:
> Dear list,
> 
> It is with utmost pleasure that we celebrate the 153th birthday of 
> Vassily Kandinsky by announcing the release of *Frama-C 20.0 (Calcium)*.
> 
> We take this opportunity to also announce the *opening of the 
> development branch of Frama-C*,
> powered by Gitlab:
> 
> https://git.frama-c.com/pub/frama-c

Cool! The locals' reaction to this news was positive as well

The cache mechanism also sounds great, a good reason to finally get
something newer than what's in Debian stable up and running :)

/Tomas