Projects / Frama-C / Releases

All releases of Frama-C

  •  04 Oct 2012 11:38
Avatar

    Release Notes: This release brings improvements in the C front-end and in the value analysis (automatic context-sensitive data flow analysis), WP (verification of functional properties using Hoare logic), slicing (generation of simplified, compilable C programs), and plug-ins.

    •  10 Oct 2011 16:42
    Avatar

      Release Notes: This new major version includes many bugfixes and improvements. Performance improvements benefit the Value Analysis and Slicing plug-ins, the Aoraï plug-in for verification of C programs against Linear Temporal Logic formulas, the GUI, and kernel property statuses for plug-in collaboration.

      •  04 Mar 2011 12:40
      Avatar

        Release Notes: This release fixes bugs identified in beta version 20101202 and makes the API stable for external plug-in developers. Value analysis users, consider applying this patch before compiling: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2011-February/002527.html . Jessie users: this release is compatible with Why 2.29, available from http://why.lri.fr/ . WP users: the WP plug-in will be made available separately later.

        •  05 Jan 2011 21:13
        Avatar

          Release Notes: Many bugfixes. Small usability improvements to the GUI. A few API changes. Value analysis: improved speed and memory consumption; handle single-precision type float as such (instead of lumping it with double as previously); better handling of structs passed as arguments to functions. A new deductive verification plug-in: WP.

          •  13 Apr 2010 13:20
          Avatar

            Release Notes: The support for the ACSL specification language was improved framework-wide. The value analysis benefits from numerous new options to improve precision and scale to larger codebases.

            •  26 Sep 2009 16:53
            Avatar

              Release Notes: This release contains mostly two sets of changes: fixes for minor bugs and compilation bugs found in 20090901, and removal of Jessie. Jessie will now be distributed separately, as allowed by Frama-C's plug-in architecture. This means that there is no urgency to upgrade if you do not use the Jessie plug-in, and if you do use Jessie, you should wait until it has been released as a standalone plug-in before upgrading.

              •  07 Sep 2009 11:27
              Avatar

                Release Notes: Many fixes were made for bugs found in the first beta.

                •  23 Jun 2009 16:33
                Avatar

                  Release Notes: Numerous bugfixes and many new features.

                  Screenshot

                  Project Spotlight

                  episoder

                  A tool to tell you about new episodes of your favourite TV shows.

                  Screenshot

                  Project Spotlight

                  BalanceNG

                  A modern software IP load balancer.