Skip to content
Snippets Groups Projects
Commit d7d3eecd authored by Frama-CI Bot's avatar Frama-CI Bot
Browse files

[release] prepare 27.0-cobalt

On behalf of "Allan Blanchard" <allan.blanchard@cea.fr> (@blanchard)
parent 50904fa3
No related branches found
No related tags found
1 merge request!195Release 27.0-Cobalt
Pipeline #56898 passed
Showing
with 102 additions and 33 deletions
---
layout: default
date: "15-06-2023"
short_title: Frama-C 27.0 (Cobalt)
title: Release of Frama-C 27.0 (Cobalt)
link: /fc-versions/cobalt.html
---
Frama-C 27.0 (Cobalt) is out. Download it [here](/fc-versions/cobalt.html).
Main changes with respect to Frama-C 26.0 (Iron) include:
#### Kernel
- Supports C11 `_Generic`
- New machdep mechanism, based on YAML files
- New script for generating machdeps from a C11 compiler
#### Aoraï
- Supports specification about floating-point variables.
#### Eva
- The octagon domain can now infer relations between any lvalues of integer or
pointer types.
- Fixes the bitwise domain on big-endian architectures.
#### WP
- Why3 version bumped to 1.6.0.
- New options for controlling goal automatic splitting
- Default timeout is now 2s
#### GTK GUI
- Removed GTK2 support
#### Ivette
- The Eva table can show the values of function parameters, the logical status
of ACSL predicates, and the values of C lvalues in these predicates.
It also shows the status of uninitialized and escaping variables.
- Information about C types are shown in the Inspector.
- Many bug fixes and user experience improvements.
...@@ -2,43 +2,43 @@ ...@@ -2,43 +2,43 @@
layout: version layout: version
number: 27 number: 27
name: Cobalt name: Cobalt
beta: true acsl: 19
releases: releases:
- number: 0 - number: 0
categories: categories:
- name: Frama-C v27.0~beta Cobalt - name: Frama-C v27.0 Cobalt
files: files:
- name: Source distribution - name: Source distribution
link: /download/frama-c-27.0-beta-Cobalt.tar.gz link: /download/frama-c-27.0-Cobalt.tar.gz
help: Compilation instructions help: Compilation instructions
help_link: /html/installations/cobalt.html help_link: /html/installations/cobalt.html
- name: User manual - name: User manual
link: /download/user-manual-27.0-beta-Cobalt.pdf link: /download/user-manual-27.0-Cobalt.pdf
- name: Plug-in development guide - name: Plug-in development guide
link: /download/plugin-development-guide-27.0-beta-Cobalt.pdf link: /download/plugin-development-guide-27.0-Cobalt.pdf
help: Hello plug-in tutorial archive help: Hello plug-in tutorial archive
help_link: /download/hello-27.0-beta-Cobalt.tar.gz help_link: /download/hello-27.0-Cobalt.tar.gz
- name: API Documentation - name: API Documentation
link: /download/frama-c-27.0-beta-Cobalt-api.tar.gz link: /download/frama-c-27.0-Cobalt-api.tar.gz
- name: Server API Documentation - name: Server API Documentation
link: /download/frama-c-server-27.0-beta-Cobalt-api.tar.gz link: /download/frama-c-server-27.0-Cobalt-api.tar.gz
- name: ACSL 1.18 (Cobalt implementation) - name: ACSL 1.19 (Cobalt implementation)
link: /download/acsl-implementation-27.0-beta-Cobalt.pdf link: /download/acsl-implementation-27.0-Cobalt.pdf
- name: Plug-in Manuals - name: Plug-in Manuals
sort: true sort: true
files: files:
- name: Aoraï manual - name: Aoraï manual
link: /download/aorai-manual-27.0-beta-Cobalt.pdf link: /download/aorai-manual-27.0-Cobalt.pdf
help: Aoraï example help: Aoraï example
help_link: /download/aorai-example-27.0-beta-Cobalt.tar.gz help_link: /download/aorai-example-27.0-Cobalt.tar.gz
- name: Metrics manual - name: Metrics manual
link: /download/metrics-manual-27.0-beta-Cobalt.pdf link: /download/metrics-manual-27.0-Cobalt.pdf
- name: Rte manual - name: Rte manual
link: /download/rte-manual-27.0-beta-Cobalt.pdf link: /download/rte-manual-27.0-Cobalt.pdf
- name: Eva manual - name: Eva manual
link: /download/eva-manual-27.0-beta-Cobalt.pdf link: /download/eva-manual-27.0-Cobalt.pdf
- name: WP manual - name: WP manual
link: /download/wp-manual-27.0-beta-Cobalt.pdf link: /download/wp-manual-27.0-Cobalt.pdf
- name: E-ACSL manual - name: E-ACSL manual
link: /download/e-acsl/e-acsl-manual-27.0-beta-Cobalt.pdf link: /download/e-acsl/e-acsl-manual-27.0-Cobalt.pdf
--- ---
File added
File added
No preview for this file type
File added
File added
File added
File added
No preview for this file type
File added
No preview for this file type
No preview for this file type
File added
File added
File added
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment