diff --git a/_events/framac-23.1.md b/_events/framac-23.1.md
new file mode 100644
index 0000000000000000000000000000000000000000..96c7efcb08f330260a673dedf0879c69d0ea61db
--- /dev/null
+++ b/_events/framac-23.1.md
@@ -0,0 +1,21 @@
+---
+layout: default
+date: "21-07-2021"
+event: Frama-C 23.1 (Vanadium)
+title: Release of Frama-C 23.1 (Vanadium)
+link: /fc-versions/vanadium.html
+---
+
+Frama-C 23.1 (Vanadium) is out. Download it [here](/fc-versions/vanadium.html).
+
+Main changes with respect to Frama-C 23 (Vanadium) include:
+
+#### E-ACSL
+
+- Fix crash related to several ACSL constructs
+- Fix crash when raising some user errors
+
+
+#### WP
+
+- Fix a crash related to opaque structures memory typing
diff --git a/_fc-versions/vanadium.md b/_fc-versions/vanadium.md
index 0f5f809ac00378d28a61d7d7dc86181f43104772..848bfbc804178cfe6b9ec6f94078ac7f7fb9a640 100644
--- a/_fc-versions/vanadium.md
+++ b/_fc-versions/vanadium.md
@@ -4,39 +4,39 @@ number: 23
name: Vanadium
acsl: 17
releases:
- - number: 0
+ - number: 1
categories:
- - name: Frama-C v23.0 Vanadium
+ - name: Frama-C v23.1 Vanadium
files:
- name: Source distribution
- link: /download/frama-c-23.0-Vanadium.tar.gz
+ link: /download/frama-c-23.1-Vanadium.tar.gz
help: Compilation instructions
help_link: /html/installations/vanadium.html
- name: User manual
- link: /download/user-manual-23.0-Vanadium.pdf
+ link: /download/user-manual-23.1-Vanadium.pdf
- name: Plug-in development guide
- link: /download/plugin-development-guide-23.0-Vanadium.pdf
+ link: /download/plugin-development-guide-23.1-Vanadium.pdf
help: Hello plug-in tutorial archive
- help_link: /download/hello-23.0-Vanadium.tar.gz
+ help_link: /download/hello-23.1-Vanadium.tar.gz
- name: API Documentation
- link: /download/frama-c-23.0-Vanadium-api.tar.gz
+ link: /download/frama-c-23.1-Vanadium-api.tar.gz
- name: ACSL 1.17 (Vanadium implementation)
- link: /download/acsl-implementation-23.0-Vanadium.pdf
+ link: /download/acsl-implementation-23.1-Vanadium.pdf
- name: Plug-in Manuals
sort: true
files:
- name: Aoraï manual
- link: /download/aorai-manual-23.0-Vanadium.pdf
+ link: /download/aorai-manual-23.1-Vanadium.pdf
help: Aoraï example
- help_link: /download/aorai-example-23.0-Vanadium.tgz
+ help_link: /download/aorai-example-23.1-Vanadium.tgz
- name: Metrics manual
- link: /download/metrics-manual-23.0-Vanadium.pdf
+ link: /download/metrics-manual-23.1-Vanadium.pdf
- name: Rte manual
- link: /download/rte-manual-23.0-Vanadium.pdf
+ link: /download/rte-manual-23.1-Vanadium.pdf
- name: Eva manual
- link: /download/eva-manual-23.0-Vanadium.pdf
+ link: /download/eva-manual-23.1-Vanadium.pdf
- name: WP manual
- link: /download/wp-manual-23.0-Vanadium.pdf
+ link: /download/wp-manual-23.1-Vanadium.pdf
- name: E-ACSL manual
- link: /download/e-acsl/e-acsl-manual-23.0-Vanadium.pdf
+ link: /download/e-acsl/e-acsl-manual-23.1-Vanadium.pdf
---
diff --git a/download/acsl-1.17.pdf b/download/acsl-1.17.pdf
index bc4504ea19aede0b0fad0c67bab325c6a0a5c083..43792ab0c5aa6b50d84e4cb1dd0bd5eafb980c47 100644
--- a/download/acsl-1.17.pdf
+++ b/download/acsl-1.17.pdf
@@ -1,3 +1,3 @@
version https://git-lfs.github.com/spec/v1
-oid sha256:d1ca563e07ad9e32788dc9544ca51b66be71e5d5b0e01e7d017e2e8f942c9d93
+oid sha256:f6345781874115b98906bc4f8f53e598a3b49190a74e708de549bb2ab579dac9
size 1395481
diff --git a/download/acsl-implementation-23.1-Vanadium.pdf b/download/acsl-implementation-23.1-Vanadium.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..e65bb94d4537ff7e3a7a7a61c3df097d3139266b
--- /dev/null
+++ b/download/acsl-implementation-23.1-Vanadium.pdf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:d00f60f4eecac61340b2bac8aa81c580d49780187c2fcb9c72994382bc5c68da
+size 1400987
diff --git a/download/acsl.pdf b/download/acsl.pdf
index bc4504ea19aede0b0fad0c67bab325c6a0a5c083..43792ab0c5aa6b50d84e4cb1dd0bd5eafb980c47 100644
--- a/download/acsl.pdf
+++ b/download/acsl.pdf
@@ -1,3 +1,3 @@
version https://git-lfs.github.com/spec/v1
-oid sha256:d1ca563e07ad9e32788dc9544ca51b66be71e5d5b0e01e7d017e2e8f942c9d93
+oid sha256:f6345781874115b98906bc4f8f53e598a3b49190a74e708de549bb2ab579dac9
size 1395481
diff --git a/download/aorai-example-23.1-Vanadium.tgz b/download/aorai-example-23.1-Vanadium.tgz
new file mode 100644
index 0000000000000000000000000000000000000000..b2c8b33797d178b1d4cf607bd45216e73fb09573
--- /dev/null
+++ b/download/aorai-example-23.1-Vanadium.tgz
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:54477ba736b62bbf0002996461f2cbe81cc8764cb28a46904d3e0eaafb11f9f5
+size 1647
diff --git a/download/aorai-manual-23.1-Vanadium.pdf b/download/aorai-manual-23.1-Vanadium.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..211c80a32d47c83bc67f491e39317ffc72f4a493
--- /dev/null
+++ b/download/aorai-manual-23.1-Vanadium.pdf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:a7cde5fed051d1785481aed56e8b5edd2801031e68247cdb3b8e4a3a60687afc
+size 345187
diff --git a/download/e-acsl/e-acsl-1.17.pdf b/download/e-acsl/e-acsl-1.17.pdf
index 6fad1b429766daca5d5396d89bc6b86e19a8b1d0..05096a101306ac82dd0e2f57e48f7a9568215819 100644
--- a/download/e-acsl/e-acsl-1.17.pdf
+++ b/download/e-acsl/e-acsl-1.17.pdf
@@ -1,3 +1,3 @@
version https://git-lfs.github.com/spec/v1
-oid sha256:4b5b8fe64c3e785dff7939d716fd66f0e19f234b6d258e0dc4800ff5b891f6ff
+oid sha256:675ed88eff368de02e273a2c20e1f31e26eedc55b9abfe200aafe4d7213ce5c6
size 702637
diff --git a/download/e-acsl/e-acsl-implementation-23.1-Vanadium.pdf b/download/e-acsl/e-acsl-implementation-23.1-Vanadium.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..2a9d78f0b21e69ed6e282e22b1f417aa99abd78b
--- /dev/null
+++ b/download/e-acsl/e-acsl-implementation-23.1-Vanadium.pdf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:ffb077afc07ec05da536b85ddbdff412b168ac47b484a8861fd14d3e485f1cb1
+size 756210
diff --git a/download/e-acsl/e-acsl-implementation.pdf b/download/e-acsl/e-acsl-implementation.pdf
index 8fe58e1d486637a5a5afeb9f347c8133492d3cba..2a9d78f0b21e69ed6e282e22b1f417aa99abd78b 100644
--- a/download/e-acsl/e-acsl-implementation.pdf
+++ b/download/e-acsl/e-acsl-implementation.pdf
@@ -1,3 +1,3 @@
version https://git-lfs.github.com/spec/v1
-oid sha256:1cb2b091d38228b4a66e09bc7b790e4282f51f315f8ac96d75a34061eabf6161
-size 756498
+oid sha256:ffb077afc07ec05da536b85ddbdff412b168ac47b484a8861fd14d3e485f1cb1
+size 756210
diff --git a/download/e-acsl/e-acsl-manual-23.1-Vanadium.pdf b/download/e-acsl/e-acsl-manual-23.1-Vanadium.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..21064c121d7f256b48629676a4c9a64973f1982e
--- /dev/null
+++ b/download/e-acsl/e-acsl-manual-23.1-Vanadium.pdf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:b2ef1d14c48aef6b7b688d5d5b7644f0a5ab30fc32eb1396a177083a99496480
+size 806131
diff --git a/download/e-acsl/e-acsl-manual.pdf b/download/e-acsl/e-acsl-manual.pdf
index 31e00865bc230a4f280d358f988da0275b86c64a..21064c121d7f256b48629676a4c9a64973f1982e 100644
--- a/download/e-acsl/e-acsl-manual.pdf
+++ b/download/e-acsl/e-acsl-manual.pdf
@@ -1,3 +1,3 @@
version https://git-lfs.github.com/spec/v1
-oid sha256:2caa50b90f4be1dccf720601a24943cc22fc1a039c6576188151177a2eac5133
-size 806323
+oid sha256:b2ef1d14c48aef6b7b688d5d5b7644f0a5ab30fc32eb1396a177083a99496480
+size 806131
diff --git a/download/e-acsl/e-acsl.pdf b/download/e-acsl/e-acsl.pdf
index 6fad1b429766daca5d5396d89bc6b86e19a8b1d0..05096a101306ac82dd0e2f57e48f7a9568215819 100644
--- a/download/e-acsl/e-acsl.pdf
+++ b/download/e-acsl/e-acsl.pdf
@@ -1,3 +1,3 @@
version https://git-lfs.github.com/spec/v1
-oid sha256:4b5b8fe64c3e785dff7939d716fd66f0e19f234b6d258e0dc4800ff5b891f6ff
+oid sha256:675ed88eff368de02e273a2c20e1f31e26eedc55b9abfe200aafe4d7213ce5c6
size 702637
diff --git a/download/eva-manual-23.1-Vanadium.pdf b/download/eva-manual-23.1-Vanadium.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..b2b10fc8df27ed097e9fe51af9563cd7aa1d1738
--- /dev/null
+++ b/download/eva-manual-23.1-Vanadium.pdf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:f8825f19bf1a9626faf6045f0fadb06c1654a8bb1b64719319542b31645d59a4
+size 1902246
diff --git a/download/frama-c-23.1-Vanadium-api.tar.gz b/download/frama-c-23.1-Vanadium-api.tar.gz
new file mode 100644
index 0000000000000000000000000000000000000000..63f4fa7655c87c7ac22722764df67a0828fbb32d
--- /dev/null
+++ b/download/frama-c-23.1-Vanadium-api.tar.gz
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:0144dc3116a99d43cb133a8b0c3d3d81c1711c23c060b8a2b5ca6ebac80d0fcd
+size 9086077
diff --git a/download/frama-c-23.1-Vanadium.tar.gz b/download/frama-c-23.1-Vanadium.tar.gz
new file mode 100644
index 0000000000000000000000000000000000000000..26b8ddfb6eac41ce80c1f2eccd6139a23040d4f8
--- /dev/null
+++ b/download/frama-c-23.1-Vanadium.tar.gz
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:d25a3448d0e0baec242ff500858295d0e73ebc91e0a90200afda0cf274c2f3e5
+size 6945715
diff --git a/download/frama-c-acsl-implementation.pdf b/download/frama-c-acsl-implementation.pdf
index d5322a8f87762b4e7c0c5368b50ca0c9731c59a7..e65bb94d4537ff7e3a7a7a61c3df097d3139266b 100644
--- a/download/frama-c-acsl-implementation.pdf
+++ b/download/frama-c-acsl-implementation.pdf
@@ -1,3 +1,3 @@
version https://git-lfs.github.com/spec/v1
-oid sha256:d45abdfae0628c8051aef3a4e7c6ee23de6e6f28b19cfa6fb4426f12e96f134d
+oid sha256:d00f60f4eecac61340b2bac8aa81c580d49780187c2fcb9c72994382bc5c68da
size 1400987
diff --git a/download/frama-c-aorai-example.tgz b/download/frama-c-aorai-example.tgz
index 0a1eca3a9445d83650e7822e2ec14f76d4437cf2..b2c8b33797d178b1d4cf607bd45216e73fb09573 100644
--- a/download/frama-c-aorai-example.tgz
+++ b/download/frama-c-aorai-example.tgz
@@ -1,3 +1,3 @@
version https://git-lfs.github.com/spec/v1
-oid sha256:473a682eb5b92c38ab7a2b4c261b6eb36c9874625ca7184e78756310eec7558d
-size 1646
+oid sha256:54477ba736b62bbf0002996461f2cbe81cc8764cb28a46904d3e0eaafb11f9f5
+size 1647
diff --git a/download/frama-c-aorai-manual.pdf b/download/frama-c-aorai-manual.pdf
index 798c998a971e68e52e23b7118a0667d9ea055340..211c80a32d47c83bc67f491e39317ffc72f4a493 100644
--- a/download/frama-c-aorai-manual.pdf
+++ b/download/frama-c-aorai-manual.pdf
@@ -1,3 +1,3 @@
version https://git-lfs.github.com/spec/v1
-oid sha256:46a12091f289d540743e654ad7383a82054482960214496eceb213b5831732fe
-size 345553
+oid sha256:a7cde5fed051d1785481aed56e8b5edd2801031e68247cdb3b8e4a3a60687afc
+size 345187
diff --git a/download/frama-c-eva-manual.pdf b/download/frama-c-eva-manual.pdf
index 93bb3431939f4c2230e4abe568b4119fc2a4e132..b2b10fc8df27ed097e9fe51af9563cd7aa1d1738 100644
--- a/download/frama-c-eva-manual.pdf
+++ b/download/frama-c-eva-manual.pdf
@@ -1,3 +1,3 @@
version https://git-lfs.github.com/spec/v1
-oid sha256:3bebe59e0ade228e41bd139b6268f22c9428280cacd627864229139cce593702
-size 1902251
+oid sha256:f8825f19bf1a9626faf6045f0fadb06c1654a8bb1b64719319542b31645d59a4
+size 1902246
diff --git a/download/frama-c-metrics-manual.pdf b/download/frama-c-metrics-manual.pdf
index 18e82660283652d532d89573b0416641fa148ceb..c53e4aba4ed5f2dfb9f98c66ef81837a1f4a2540 100644
--- a/download/frama-c-metrics-manual.pdf
+++ b/download/frama-c-metrics-manual.pdf
@@ -1,3 +1,3 @@
version https://git-lfs.github.com/spec/v1
-oid sha256:bf7dbe2f614e84a64f3eb2e2e6f5739262c2fee87d352db0fdee9ea0e3a3524c
-size 781359
+oid sha256:d15d6c0ff34470d8937b734ea21c8a6b6877444924f9893cfe78f07d75aa1710
+size 799924
diff --git a/download/frama-c-plugin-development-guide.pdf b/download/frama-c-plugin-development-guide.pdf
index 1384f95e6605ce81d7f85f25700d105f12621632..f3749e3352a77326d09b135d0c6202909aeec906 100644
--- a/download/frama-c-plugin-development-guide.pdf
+++ b/download/frama-c-plugin-development-guide.pdf
@@ -1,3 +1,3 @@
version https://git-lfs.github.com/spec/v1
-oid sha256:f7d7fb6a529d8f4d7831eb13f1381edc25bb92c268f245d91b87d49416ecc52e
-size 1469725
+oid sha256:5c13c4ecd3db3637e268e06027e8086be84064f9d756d238c5dd47cc0058b2c5
+size 1469580
diff --git a/download/frama-c-rte-manual.pdf b/download/frama-c-rte-manual.pdf
index 6ecdf943394e9d928f7275686b548b30e7fa0438..5892ce51e29eb8bbcbe8df13ff62aa79626ed5f0 100644
--- a/download/frama-c-rte-manual.pdf
+++ b/download/frama-c-rte-manual.pdf
@@ -1,3 +1,3 @@
version https://git-lfs.github.com/spec/v1
-oid sha256:6dd3969f328efe523456b34d0b3abe434e4330e970f526cc07ce66a4e59b56db
-size 652918
+oid sha256:17bfca032bd6aff415fdc0dd63167757bf19112ec6d0d9f6db89d19fda6f8648
+size 652705
diff --git a/download/frama-c-source-dist.tar.gz b/download/frama-c-source-dist.tar.gz
index 78239f048a43bac50a5ddf24941265c933173e83..26b8ddfb6eac41ce80c1f2eccd6139a23040d4f8 100644
--- a/download/frama-c-source-dist.tar.gz
+++ b/download/frama-c-source-dist.tar.gz
@@ -1,3 +1,3 @@
version https://git-lfs.github.com/spec/v1
-oid sha256:1a44abb0ebe43a656b142da4b26a3308538a884cef86cda2bd507a67851fb55d
-size 6944810
+oid sha256:d25a3448d0e0baec242ff500858295d0e73ebc91e0a90200afda0cf274c2f3e5
+size 6945715
diff --git a/download/frama-c-user-manual.pdf b/download/frama-c-user-manual.pdf
index d11fd77e20da366909074ba713e90804b9c2c4ff..29aabb7e44a78fb5c51fb621632c6d69ad5eaabb 100644
--- a/download/frama-c-user-manual.pdf
+++ b/download/frama-c-user-manual.pdf
@@ -1,3 +1,3 @@
version https://git-lfs.github.com/spec/v1
-oid sha256:fc401bdb191b56242877f5c24382ef89aa431b01ba41ad26e14325c0b3963842
+oid sha256:9ef54d68d1753710a4272bab15c3a7c3a79db2b2c661d999727c41fa42cfac1d
size 1822955
diff --git a/download/frama-c-value-analysis.pdf b/download/frama-c-value-analysis.pdf
index 93bb3431939f4c2230e4abe568b4119fc2a4e132..b2b10fc8df27ed097e9fe51af9563cd7aa1d1738 100644
--- a/download/frama-c-value-analysis.pdf
+++ b/download/frama-c-value-analysis.pdf
@@ -1,3 +1,3 @@
version https://git-lfs.github.com/spec/v1
-oid sha256:3bebe59e0ade228e41bd139b6268f22c9428280cacd627864229139cce593702
-size 1902251
+oid sha256:f8825f19bf1a9626faf6045f0fadb06c1654a8bb1b64719319542b31645d59a4
+size 1902246
diff --git a/download/frama-c-wp-manual.pdf b/download/frama-c-wp-manual.pdf
index 24794c5a776944d14652794f0a420d1adec6c88f..d42ccb579d994d288c2a2e128103e7aa23d396d0 100644
--- a/download/frama-c-wp-manual.pdf
+++ b/download/frama-c-wp-manual.pdf
@@ -1,3 +1,3 @@
version https://git-lfs.github.com/spec/v1
-oid sha256:52258d62307c35acb33730a4f1153f38e3b6405893f646adc5d7198a6dd181fe
-size 1409077
+oid sha256:9d80ecaaaa5771c306e3fbe020c5b755da39c147eaf14fda8f6af8d571356b64
+size 1409094
diff --git a/download/hello-23.1-Vanadium.tar.gz b/download/hello-23.1-Vanadium.tar.gz
new file mode 100644
index 0000000000000000000000000000000000000000..76d8abda81b11b422742fdde0356f18161e552d0
--- /dev/null
+++ b/download/hello-23.1-Vanadium.tar.gz
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:40f5c8b60c3ffb683cd6a6a79367593a4b36427be5a5486c2666f8bc9d28587f
+size 1457
diff --git a/download/metrics-manual-23.1-Vanadium.pdf b/download/metrics-manual-23.1-Vanadium.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..c53e4aba4ed5f2dfb9f98c66ef81837a1f4a2540
--- /dev/null
+++ b/download/metrics-manual-23.1-Vanadium.pdf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:d15d6c0ff34470d8937b734ea21c8a6b6877444924f9893cfe78f07d75aa1710
+size 799924
diff --git a/download/plugin-development-guide-23.1-Vanadium.pdf b/download/plugin-development-guide-23.1-Vanadium.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..f3749e3352a77326d09b135d0c6202909aeec906
--- /dev/null
+++ b/download/plugin-development-guide-23.1-Vanadium.pdf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:5c13c4ecd3db3637e268e06027e8086be84064f9d756d238c5dd47cc0058b2c5
+size 1469580
diff --git a/download/rte-manual-23.1-Vanadium.pdf b/download/rte-manual-23.1-Vanadium.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..5892ce51e29eb8bbcbe8df13ff62aa79626ed5f0
--- /dev/null
+++ b/download/rte-manual-23.1-Vanadium.pdf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:17bfca032bd6aff415fdc0dd63167757bf19112ec6d0d9f6db89d19fda6f8648
+size 652705
diff --git a/download/user-manual-23.1-Vanadium.pdf b/download/user-manual-23.1-Vanadium.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..29aabb7e44a78fb5c51fb621632c6d69ad5eaabb
--- /dev/null
+++ b/download/user-manual-23.1-Vanadium.pdf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:9ef54d68d1753710a4272bab15c3a7c3a79db2b2c661d999727c41fa42cfac1d
+size 1822955
diff --git a/download/wp-manual-23.1-Vanadium.pdf b/download/wp-manual-23.1-Vanadium.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..d42ccb579d994d288c2a2e128103e7aa23d396d0
--- /dev/null
+++ b/download/wp-manual-23.1-Vanadium.pdf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:9d80ecaaaa5771c306e3fbe020c5b755da39c147eaf14fda8f6af8d571356b64
+size 1409094
diff --git a/html/installations/vanadium.md b/html/installations/vanadium.md
index 6873fda3991d3a4fee880b0223bad64eeea02b7e..a83b5b78e81b1d36304ac92ac3b435a6ea48e591 100644
--- a/html/installations/vanadium.md
+++ b/html/installations/vanadium.md
@@ -4,7 +4,7 @@ version: vanadium
title: Installation instructions for Vanadium
---
-# Installing Frama-C Vanadium (released on 2021-07-06)
+# Installing Frama-C Vanadium (released on 2021-07-21)
- [Installing Frama-C](#installing-frama-c)
- [Table of Contents](#table-of-contents)