Skip to content
Snippets Groups Projects
Commit ce92137e authored by Allan Blanchard's avatar Allan Blanchard
Browse files

Merge branch 'release/27.0-cobalt' into 'master'

Release 27.0-Cobalt

See merge request !195
parents 50904fa3 9ef8eee2
No related branches found
No related tags found
1 merge request!195Release 27.0-Cobalt
Pipeline #57637 passed
Showing
with 116 additions and 31 deletions
*.app filter=lfs diff=lfs merge=lfs -text
*.AppImage filter=lfs diff=lfs merge=lfs -text
*.pdf filter=lfs diff=lfs merge=lfs -text
*.tgz filter=lfs diff=lfs merge=lfs -text
*.exe filter=lfs diff=lfs merge=lfs -text
......
---
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,57 @@
layout: version
number: 27
name: Cobalt
beta: true
acsl: 19
releases:
- number: 0
categories:
- name: Frama-C v27.0~beta Cobalt
- name: Frama-C v27.0 Cobalt
files:
- 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_link: /html/installations/cobalt.html
- 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
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_link: /download/hello-27.0-beta-Cobalt.tar.gz
help_link: /download/hello-27.0-Cobalt.tar.gz
- 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
link: /download/frama-c-server-27.0-beta-Cobalt-api.tar.gz
- name: ACSL 1.18 (Cobalt implementation)
link: /download/acsl-implementation-27.0-beta-Cobalt.pdf
link: /download/frama-c-server-27.0-Cobalt-api.tar.gz
- name: ACSL 1.19 (Cobalt implementation)
link: /download/acsl-implementation-27.0-Cobalt.pdf
- name: Plug-in Manuals
sort: true
files:
- name: Aoraï manual
link: /download/aorai-manual-27.0-beta-Cobalt.pdf
link: /download/aorai-manual-27.0-Cobalt.pdf
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
link: /download/metrics-manual-27.0-beta-Cobalt.pdf
link: /download/metrics-manual-27.0-Cobalt.pdf
- name: Rte manual
link: /download/rte-manual-27.0-beta-Cobalt.pdf
link: /download/rte-manual-27.0-Cobalt.pdf
- name: Eva manual
link: /download/eva-manual-27.0-beta-Cobalt.pdf
link: /download/eva-manual-27.0-Cobalt.pdf
- name: WP manual
link: /download/wp-manual-27.0-beta-Cobalt.pdf
link: /download/wp-manual-27.0-Cobalt.pdf
- 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
- name: Ivette Packages (experimental)
files:
- name: Linux AppImage
link: /download/frama-c-ivette-linux-27.0-Cobalt.AppImage
help: README install
help_link: /download/frama-c-ivette-app-install-27.0-Cobalt.md
- name: macOS x86
link: /download/frama-c-ivette-macos-x86-27.0-Cobalt.app
help: README install
help_link: /download/frama-c-ivette-app-install-27.0-Cobalt.md
- name: macOS ARM
link: /download/frama-c-ivette-macos-arm-27.0-Cobalt.app
help: README install
help_link: /download/frama-c-ivette-app-install-27.0-Cobalt.md
---
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
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