Commit 24842199 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

Prepare frama-clang release

parent 29605cac
...@@ -43,12 +43,12 @@ please consult the [Frama-Clang manual]({{page.manual_pdf}}). ...@@ -43,12 +43,12 @@ please consult the [Frama-Clang manual]({{page.manual_pdf}}).
### Download ### Download
The current version is 0.0.10. The frama-clang plugin can be downloaded The current version is 0.0.11. The frama-clang plugin can be downloaded
[here](/download/frama-clang-0.0.10.tar.gz). [here](/download/frama-clang-0.0.11.tar.gz).
### Requirements ### Requirements
- Frama-C 22.x Titanium - Frama-C 23.x Vanadium
- OCaml 4.08.0 or higher, the same version as the one used to - OCaml 4.08.0 or higher, the same version as the one used to
compile Frama-C itself compile Frama-C itself
- camlp5 (a version compatible with the OCaml version you're using) - camlp5 (a version compatible with the OCaml version you're using)
...@@ -61,8 +61,8 @@ as explained in ...@@ -61,8 +61,8 @@ as explained in
### Installation steps ### Installation steps
``` ```
tar xzvf frama-clang-0.0.10.tar.gz tar xzvf frama-clang-0.0.11.tar.gz
cd frama-clang-0.0.10 cd frama-clang-0.0.11
./configure ./configure
make make
make install make install
...@@ -72,6 +72,11 @@ Depending on your Frama-C installation, this last step might ...@@ -72,6 +72,11 @@ Depending on your Frama-C installation, this last step might
require root permissions. require root permissions.
### Changes ### Changes
#### v0.0.11
- Compatibility with Frama-C 23.x Vanadium
- Compatibility with Clang 12.0
- Slightly improved ACSL++ parsing
- Various bug fixes
#### v0.0.10 #### v0.0.10
- Compatibility with Frama-C 22.x Titanium - Compatibility with Frama-C 22.x Titanium
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment