Commit b7059a6a authored by Allan Blanchard's avatar Allan Blanchard
Browse files

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

Frama clang 0.11

See merge request !126
parents 9747e560 1269dd13
Pipeline #36503 passed with stage
in 1 minute and 31 seconds
...@@ -43,12 +43,15 @@ please consult the [Frama-Clang manual]({{page.manual_pdf}}). ...@@ -43,12 +43,15 @@ 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).
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 ### 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 +64,8 @@ as explained in ...@@ -61,8 +64,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 +75,11 @@ Depending on your Frama-C installation, this last step might ...@@ -72,6 +75,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
...@@ -146,6 +154,8 @@ templates ...@@ -146,6 +154,8 @@ templates
### Previous versions ### Previous versions
- [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) - [0.0.9](/download/frama-clang-0.0.9.tar.gz)
compatible with Frama-C 21.0 compatible with Frama-C 21.0
- [0.0.8](/download/frama-clang-0.0.8.tar.gz) - [0.0.8](/download/frama-clang-0.0.8.tar.gz)
......
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