diff --git a/_events/clang-0.12.md b/_events/clang-0.12.md new file mode 100644 index 0000000000000000000000000000000000000000..b5c0025f14dbe3f554ab9cee8287be99475443f2 --- /dev/null +++ b/_events/clang-0.12.md @@ -0,0 +1,9 @@ +--- +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). diff --git a/_events/ltest-0.1.md b/_events/ltest-0.1.md new file mode 100644 index 0000000000000000000000000000000000000000..2e34f39f274fa88ecf8fb1a10a48ceb047014925 --- /dev/null +++ b/_events/ltest-0.1.md @@ -0,0 +1,9 @@ +--- +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). diff --git a/_fc-plugins/frama-clang.md b/_fc-plugins/frama-clang.md index 99c261b02a27f24f38edfee1d70b950dfdb06f5c..34b8ebf7070d3ece995a6cff4eeab6574bb96a78 100644 --- a/_fc-plugins/frama-clang.md +++ b/_fc-plugins/frama-clang.md @@ -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) diff --git a/download/frama-clang-0.0.12.tar.gz b/download/frama-clang-0.0.12.tar.gz new file mode 100644 index 0000000000000000000000000000000000000000..d8e5bf37b087746d4df453015a1d9eaa59cefcbe --- /dev/null +++ b/download/frama-clang-0.0.12.tar.gz @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:7b1a248e22cbdbcb038ca53435398674aa1d6a6b4a4415aee90c8458c3800333 +size 500406