diff --git a/_fc-plugins/frama-clang.md b/_fc-plugins/frama-clang.md index ed742c54411e82ff6f50299674fd21bfcee6fe24..99c261b02a27f24f38edfee1d70b950dfdb06f5c 100644 --- a/_fc-plugins/frama-clang.md +++ b/_fc-plugins/frama-clang.md @@ -43,12 +43,15 @@ please consult the [Frama-Clang manual]({{page.manual_pdf}}). ### Download -The current version is 0.0.10. The frama-clang plugin can be downloaded -[here](/download/frama-clang-0.0.10.tar.gz). +The current version is 0.0.11. The frama-clang plugin can be downloaded +[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 -- Frama-C 22.x Titanium +- Frama-C 23.x Vanadium - 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) @@ -61,8 +64,8 @@ as explained in ### Installation steps ``` -tar xzvf frama-clang-0.0.10.tar.gz -cd frama-clang-0.0.10 +tar xzvf frama-clang-0.0.11.tar.gz +cd frama-clang-0.0.11 ./configure make make install @@ -72,6 +75,11 @@ Depending on your Frama-C installation, this last step might require root permissions. ### 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 - Compatibility with Frama-C 22.x Titanium @@ -146,6 +154,8 @@ templates ### 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) compatible with Frama-C 21.0 - [0.0.8](/download/frama-clang-0.0.8.tar.gz) diff --git a/download/frama-clang-0.0.11.tar.gz b/download/frama-clang-0.0.11.tar.gz new file mode 100644 index 0000000000000000000000000000000000000000..2177380c08b81086e80248bc36fee9ba998b39b9 --- /dev/null +++ b/download/frama-clang-0.0.11.tar.gz @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:93dc625e15e1b73ef57f94f50f5ad9261258c89c7af578f55213307b5a054702 +size 497905