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

Merge branch 'frama-clang-0.12' into 'master'

Frama clang 0.0.12

See merge request !147
parents 36890387 018a100f
No related branches found
No related tags found
1 merge request!147Frama clang 0.0.12
Pipeline #44015 passed
---
layout: default
date: 12-04-2022
short_title: Frama-Clang 0.0.12
title: Release of Frama-Clang 0.0.12
link: /fc-plugins/frama-clang.html
---
Frama-Clang 0.0.12 is out. Download it [here](/fc-plugins/frama-clang.html).
---
layout: default
date: 08-04-2022
short_title: LTest is out
title: Release of LTest 0.1
link: /fc-plugins/ltest.html
---
The LTest toolset is available in `opam`. More information [here](/fc-plugins/ltest.html).
......@@ -43,19 +43,19 @@ please consult the [Frama-Clang manual]({{page.manual_pdf}}).
### Download
The current version is 0.0.11. The frama-clang plugin can be downloaded
[here](/download/frama-clang-0.0.11.tar.gz).
The current version is 0.0.12. The frama-clang plugin can be downloaded
[here](/download/frama-clang-0.0.12.tar.gz).
Frama-Clang also has its own public git [repository](https://git.frama-c.com/pub/frama-clang),
whose `master` branch should always be synchronized with Frama-C's own `master` branch.
### Requirements
- Frama-C 23.x Vanadium
- Frama-C 24.x Chromium
- OCaml 4.08.0 or higher, the same version as the one used to
compile Frama-C itself
- camlp5 (a version compatible with the OCaml version you're using)
- clang and libclang >= 6 (preferably >=9)
- clang and libclang >= 10
You also need llvm-config (llvm-config-x.y for Debian and Ubuntu users,
as explained in
......@@ -64,8 +64,8 @@ as explained in
### Installation steps
```
tar xzvf frama-clang-0.0.11.tar.gz
cd frama-clang-0.0.11
tar xzvf frama-clang-0.0.12.tar.gz
cd frama-clang-0.0.12
./configure
make
make install
......@@ -75,6 +75,13 @@ Depending on your Frama-C installation, this last step might
require root permissions.
### Changes
#### v0.0.12
- Compatiblity with Frama-C 24.0 Chromium
- Compatibility with Clang 13.0 and 14.0
- Minimal supported Clang version is 10.0
- support for C++14 generic lambdas (contributed by S. Gränitz)
- options for printing reparseable code and using demangling on non-C++ sources
#### v0.0.11
- Compatibility with Frama-C 23.x Vanadium
- Compatibility with Clang 12.0
......@@ -154,6 +161,8 @@ templates
### Previous versions
- [0.0.11](/download/frama-clang-0.0.11.tar.gz)
compatible with Frama-C 23.0
- [0.0.10](/download/frama-clang-0.0.10.tar.gz)
compatible with Frama-C 22.0
- [0.0.9](/download/frama-clang-0.0.9.tar.gz)
......
File added
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