From 018a100fd30373facdc6b5e5adc8583864c676f4 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Mon, 11 Apr 2022 10:50:49 +0200
Subject: [PATCH] [fc-lang] Announcing 0.0.12

---
 _fc-plugins/frama-clang.md         | 21 +++++++++++++++------
 download/frama-clang-0.0.12.tar.gz |  3 +++
 2 files changed, 18 insertions(+), 6 deletions(-)
 create mode 100644 download/frama-clang-0.0.12.tar.gz

diff --git a/_fc-plugins/frama-clang.md b/_fc-plugins/frama-clang.md
index 99c261b0..34b8ebf7 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 00000000..d8e5bf37
--- /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
-- 
GitLab