Frama-C RSS News http://frama-c.cea.fr/ Frama-C News Mon, 18 Jan 2010 09:13:20 GMT Wed, 23 Sep 2009 19:00:00 GMT An updated binary package for Mac OS X Intel is available (Why/Jessie version 2.23). http://frama-c.cea.fr/index.html Mon, 18 Jan 2010 09:13:20 GMT Why 2.23 is available and updates the Frama-C Jessie plugin. http://frama-c.cea.fr/index.html Mon, 07 Dec 2009 12:05:40 GMT User manual now available. http://frama-c.cea.fr/index.html Thu, 03 Dec 2009 10:24:00 GMT Binary packages for Mac OS X are available and contain the Jessie plugin. http://frama-c.cea.fr/index.html Tue, 17 Nov 2009 13:28:03 GMT A bundle Beryllium-20090902 + Why-2.21Value Analysis http://frama-c.cea.fr/index.html Tue, 20 Oct 2009 11:24:00 GMT Why 2.21 release is available and contains the Frama-C Jessie plugin. http://frama-c.cea.fr/index.html Tue, 20 Oct 2009 11:24:00 GMT Updated manual available for the Value Analysis http://frama-c.cea.fr/index.html Fri, 02 Oct 2009 15:08:18 GMT Release Beryllium 20090902 is available. Enjoy! http://frama-c.cea.fr/index.html Wed, 23 Sep 2009 19:00:00 GMT Why 2.22 is available and updates the Frama-C Jessie plugin. http://frama-c.cea.fr/index.html Mon, 30 Nov 2009 15:11:00 GMT Why 2.20 release is available and contains the Frama-C Jessie plugin. http://frama-c.cea.fr/index.html Wed, 07 Oct 2009 15:08:18 GMT Release Beryllium 20090901 is available. Enjoy! http://frama-c.cea.fr/index.html Tue, 1st Sep 2009 12:30:00 GMT Release Beryllium 20090601 beta 1 is available for testing http://frama-c.cea.fr/index.html Tue, 23 Jun 2009 12:30:00 GMT New manual and tutorial available for the Value Analysis http://frama-c.cea.fr/index.html Thu, 23 Apr 2009 11:23:17 GMT Migration of bug tracking systemto server <a href="http://bts.frama-c.com">bts.frama-c.com</a> http://frama-c.cea.fr/index.html Thu, 09 Apr 2009 12:26:17 GMT Frama-C training session Tuesday, March 31 2009 http://frama-c.cea.fr/index.html Mon, 16 Feb 2009 09:49:14 GMT Frama-C Lithium Mac OS X binary distribution available http://frama-c.cea.fr/index.html Mon, 09 Feb 2009 16:31:35 GMT Frama-C Lithium released http://frama-c.cea.fr/index.html Fri, 12 Dec 2008 16:01:25 GMT ACSL 1.4 released http://frama-c.cea.fr/index.html Wed, 29 Oct 2008 16:27:53 GMT