From 90e90ddf5bdd36dfed8bb4c33a335081f62a3567 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Tue, 30 Nov 2021 18:16:29 +0100
Subject: [PATCH] 24.0-Chromium release
---
_events/framac-24.0.md | 43 +++++++++++++++++++
_fc-versions/chromium.md | 30 ++++++-------
download/acsl-1.17.pdf | 4 +-
.../acsl-implementation-24.0-Chromium.pdf | 3 ++
download/acsl.pdf | 4 +-
download/aorai-example-24.0-Chromium.tgz | 3 ++
download/aorai-manual-24.0-Chromium.pdf | 3 ++
download/e-acsl/e-acsl-1.17.pdf | 2 +-
.../e-acsl-implementation-24.0-Chromium.pdf | 3 ++
download/e-acsl/e-acsl-implementation.pdf | 4 +-
.../e-acsl/e-acsl-manual-24.0-Chromium.pdf | 3 ++
download/e-acsl/e-acsl-manual.pdf | 4 +-
download/e-acsl/e-acsl.pdf | 4 +-
download/eva-manual-24.0-Chromium.pdf | 3 ++
download/frama-c-24.0-Chromium-api.tar.gz | 3 ++
download/frama-c-24.0-Chromium.tar.gz | 3 ++
download/frama-c-acsl-implementation.pdf | 4 +-
download/frama-c-aorai-example.tgz | 4 +-
download/frama-c-aorai-manual.pdf | 4 +-
download/frama-c-eva-manual.pdf | 4 +-
download/frama-c-metrics-manual.pdf | 4 +-
download/frama-c-plugin-development-guide.pdf | 4 +-
download/frama-c-rte-manual.pdf | 4 +-
download/frama-c-source-dist.tar.gz | 4 +-
download/frama-c-user-manual.pdf | 4 +-
download/frama-c-value-analysis.pdf | 4 +-
download/frama-c-wp-manual.pdf | 4 +-
download/hello-24.0-Chromium.tar.gz | 3 ++
download/metrics-manual-24.0-Chromium.pdf | 3 ++
...plugin-development-guide-24.0-Chromium.pdf | 3 ++
download/rte-manual-24.0-Chromium.pdf | 3 ++
download/user-manual-24.0-Chromium.pdf | 3 ++
download/wp-manual-24.0-Chromium.pdf | 3 ++
html/installations/chromium.md | 2 +-
34 files changed, 134 insertions(+), 49 deletions(-)
create mode 100644 _events/framac-24.0.md
create mode 100644 download/acsl-implementation-24.0-Chromium.pdf
create mode 100644 download/aorai-example-24.0-Chromium.tgz
create mode 100644 download/aorai-manual-24.0-Chromium.pdf
create mode 100644 download/e-acsl/e-acsl-implementation-24.0-Chromium.pdf
create mode 100644 download/e-acsl/e-acsl-manual-24.0-Chromium.pdf
create mode 100644 download/eva-manual-24.0-Chromium.pdf
create mode 100644 download/frama-c-24.0-Chromium-api.tar.gz
create mode 100644 download/frama-c-24.0-Chromium.tar.gz
create mode 100644 download/hello-24.0-Chromium.tar.gz
create mode 100644 download/metrics-manual-24.0-Chromium.pdf
create mode 100644 download/plugin-development-guide-24.0-Chromium.pdf
create mode 100644 download/rte-manual-24.0-Chromium.pdf
create mode 100644 download/user-manual-24.0-Chromium.pdf
create mode 100644 download/wp-manual-24.0-Chromium.pdf
diff --git a/_events/framac-24.0.md b/_events/framac-24.0.md
new file mode 100644
index 00000000..8c6417ed
--- /dev/null
+++ b/_events/framac-24.0.md
@@ -0,0 +1,43 @@
+---
+layout: default
+date: "30-11-2021"
+short_title: Frama-C 24.0 (Chromium)
+title: Release of Frama-C 24.0 (Chromium)
+link: /fc-versions/chromium.html
+---
+
+Frama-C 24.0 (Chromium) is out. Download it [here](/fc-versions/chromium.html).
+
+Main changes with respect to Frama-C 23 (Vanadium) include:
+
+#### Kernel
+
+- support C11's `_Static_assert`
+- support for flexible array members in nested struct (gcc machdeps only)
+- fixes unsound reuse of recursive functions
+
+#### E-ACSL
+
+- new options for more precise reporting in case of failed assertion
+- support for `\sum`, `\prod` and `\numof`
+
+#### Eva
+
+- new experimental `taint` domain for taint analysis
+- new experimental `multidim` domain to improve analysis precision on arrays of structures and multidimensional arrays.
+- new options for interprocedural states partitioning
+- new `dynamic_split` annotation
+- fixes soundness bugs in `octagon` and `bitwise` domains
+- improve precision for `octagon` and `symbolic-locations` domains
+
+#### Variadic
+
+- translation of printf/scanf calls with non-constant formatting string
+ (assuming arguments match the format)
+- falls back to a generic translation if specialized one fails, to
+ guarantee the absence of variadic calls after the plugin has run
+
+#### WP
+
+- removed `-wp-overflows` option, which was unsound
+- experimental support for `terminates` clauses
diff --git a/_fc-versions/chromium.md b/_fc-versions/chromium.md
index 806fdad5..e1fbfb87 100644
--- a/_fc-versions/chromium.md
+++ b/_fc-versions/chromium.md
@@ -2,41 +2,41 @@
layout: version
number: 24
name: Chromium
-beta: true
+acsl: 17
releases:
- number: 0
categories:
- - name: Frama-C v24.0-beta Chromium
+ - name: Frama-C v24.0 Chromium
files:
- name: Source distribution
- link: /download/frama-c-24.0-beta-Chromium.tar.gz
+ link: /download/frama-c-24.0-Chromium.tar.gz
help: Compilation instructions
help_link: /html/installations/chromium.html
- name: User manual
- link: /download/user-manual-24.0-beta-Chromium.pdf
+ link: /download/user-manual-24.0-Chromium.pdf
- name: Plug-in development guide
- link: /download/plugin-development-guide-24.0-beta-Chromium.pdf
+ link: /download/plugin-development-guide-24.0-Chromium.pdf
help: Hello plug-in tutorial archive
- help_link: /download/hello-24.0-beta-Chromium.tar.gz
+ help_link: /download/hello-24.0-Chromium.tar.gz
- name: API Documentation
- link: /download/frama-c-24.0-beta-Chromium-api.tar.gz
+ link: /download/frama-c-24.0-Chromium-api.tar.gz
- name: ACSL 1.17 (Chromium implementation)
- link: /download/acsl-implementation-24.0-beta-Chromium.pdf
+ link: /download/acsl-implementation-24.0-Chromium.pdf
- name: Plug-in Manuals
sort: true
files:
- name: Aoraï manual
- link: /download/aorai-manual-24.0-beta-Chromium.pdf
+ link: /download/aorai-manual-24.0-Chromium.pdf
help: Aoraï example
- help_link: /download/aorai-example-24.0-beta-Chromium.tgz
+ help_link: /download/aorai-example-24.0-Chromium.tgz
- name: Metrics manual
- link: /download/metrics-manual-24.0-beta-Chromium.pdf
+ link: /download/metrics-manual-24.0-Chromium.pdf
- name: Rte manual
- link: /download/rte-manual-24.0-beta-Chromium.pdf
+ link: /download/rte-manual-24.0-Chromium.pdf
- name: Eva manual
- link: /download/eva-manual-24.0-beta-Chromium.pdf
+ link: /download/eva-manual-24.0-Chromium.pdf
- name: WP manual
- link: /download/wp-manual-24.0-beta-Chromium.pdf
+ link: /download/wp-manual-24.0-Chromium.pdf
- name: E-ACSL manual
- link: /download/e-acsl/e-acsl-manual-24.0-beta-Chromium.pdf
+ link: /download/e-acsl/e-acsl-manual-24.0-Chromium.pdf
---
diff --git a/download/acsl-1.17.pdf b/download/acsl-1.17.pdf
index 2ab65506..8f7bc1c3 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:47c7942678d2915244663b5fa56df5f259328ae8784c78e79eb5fafef19b4f9e
-size 1410891
+oid sha256:d788c61ddca98f50d04128441987f564ec71bd7e0ea9447c13b169b739f013bd
+size 1410683
diff --git a/download/acsl-implementation-24.0-Chromium.pdf b/download/acsl-implementation-24.0-Chromium.pdf
new file mode 100644
index 00000000..adcb7c7a
--- /dev/null
+++ b/download/acsl-implementation-24.0-Chromium.pdf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:e65f8dcbe938bc6bfffd967fdf061574b647ba7a147f9cd9de0b80353f7947b9
+size 1416177
diff --git a/download/acsl.pdf b/download/acsl.pdf
index 43792ab0..8f7bc1c3 100644
--- a/download/acsl.pdf
+++ b/download/acsl.pdf
@@ -1,3 +1,3 @@
version https://git-lfs.github.com/spec/v1
-oid sha256:f6345781874115b98906bc4f8f53e598a3b49190a74e708de549bb2ab579dac9
-size 1395481
+oid sha256:d788c61ddca98f50d04128441987f564ec71bd7e0ea9447c13b169b739f013bd
+size 1410683
diff --git a/download/aorai-example-24.0-Chromium.tgz b/download/aorai-example-24.0-Chromium.tgz
new file mode 100644
index 00000000..f27773a6
--- /dev/null
+++ b/download/aorai-example-24.0-Chromium.tgz
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:b142ef3ab9c9a28c775899609fe3fd84e861817f78e3a5d6df53977ad0261aa7
+size 1659
diff --git a/download/aorai-manual-24.0-Chromium.pdf b/download/aorai-manual-24.0-Chromium.pdf
new file mode 100644
index 00000000..f88299a0
--- /dev/null
+++ b/download/aorai-manual-24.0-Chromium.pdf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:1fad9da33e74bf79245bb04b96085774e65a5688e10d6701b01f1c0e523c486b
+size 478424
diff --git a/download/e-acsl/e-acsl-1.17.pdf b/download/e-acsl/e-acsl-1.17.pdf
index 3a21521c..5feec5be 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:bb59695615ad588609d0a5f0a96ce31693a00095c1a8c5be8c502b17d9458065
+oid sha256:ca35ac2601b71a6e58ca6bed137de5530d3eeaf8da7c5c1ce949514efef74da0
size 721835
diff --git a/download/e-acsl/e-acsl-implementation-24.0-Chromium.pdf b/download/e-acsl/e-acsl-implementation-24.0-Chromium.pdf
new file mode 100644
index 00000000..f7593062
--- /dev/null
+++ b/download/e-acsl/e-acsl-implementation-24.0-Chromium.pdf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:d5d25f7e948a400958cec9f28784e5a64e7d20d2e4acf66c14e5b2ffa4ea2a2b
+size 776111
diff --git a/download/e-acsl/e-acsl-implementation.pdf b/download/e-acsl/e-acsl-implementation.pdf
index 2a9d78f0..f7593062 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:ffb077afc07ec05da536b85ddbdff412b168ac47b484a8861fd14d3e485f1cb1
-size 756210
+oid sha256:d5d25f7e948a400958cec9f28784e5a64e7d20d2e4acf66c14e5b2ffa4ea2a2b
+size 776111
diff --git a/download/e-acsl/e-acsl-manual-24.0-Chromium.pdf b/download/e-acsl/e-acsl-manual-24.0-Chromium.pdf
new file mode 100644
index 00000000..bee7a7d2
--- /dev/null
+++ b/download/e-acsl/e-acsl-manual-24.0-Chromium.pdf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:5485890a78fed9c8a128c43b2db613be57cafbc77670a4ab8e3b0ccea56a274b
+size 831403
diff --git a/download/e-acsl/e-acsl-manual.pdf b/download/e-acsl/e-acsl-manual.pdf
index 21064c12..bee7a7d2 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:b2ef1d14c48aef6b7b688d5d5b7644f0a5ab30fc32eb1396a177083a99496480
-size 806131
+oid sha256:5485890a78fed9c8a128c43b2db613be57cafbc77670a4ab8e3b0ccea56a274b
+size 831403
diff --git a/download/e-acsl/e-acsl.pdf b/download/e-acsl/e-acsl.pdf
index 05096a10..5feec5be 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:675ed88eff368de02e273a2c20e1f31e26eedc55b9abfe200aafe4d7213ce5c6
-size 702637
+oid sha256:ca35ac2601b71a6e58ca6bed137de5530d3eeaf8da7c5c1ce949514efef74da0
+size 721835
diff --git a/download/eva-manual-24.0-Chromium.pdf b/download/eva-manual-24.0-Chromium.pdf
new file mode 100644
index 00000000..c8848446
--- /dev/null
+++ b/download/eva-manual-24.0-Chromium.pdf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:d3623219d983838ffcfa8e728f245924209323c194de0fdce4078ff10f1c182d
+size 1978712
diff --git a/download/frama-c-24.0-Chromium-api.tar.gz b/download/frama-c-24.0-Chromium-api.tar.gz
new file mode 100644
index 00000000..a2d0cf0f
--- /dev/null
+++ b/download/frama-c-24.0-Chromium-api.tar.gz
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:d239fbd9d2e9e23cb6a67f9dcafed158d145f0a5fc46fa8749cfe3434fbfacd2
+size 8776015
diff --git a/download/frama-c-24.0-Chromium.tar.gz b/download/frama-c-24.0-Chromium.tar.gz
new file mode 100644
index 00000000..8d1c4661
--- /dev/null
+++ b/download/frama-c-24.0-Chromium.tar.gz
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:4eeaf1321780a8d88f492fb50a83859a229585e33fa7a5e10dbf49506e7c3d74
+size 7495244
diff --git a/download/frama-c-acsl-implementation.pdf b/download/frama-c-acsl-implementation.pdf
index e65bb94d..adcb7c7a 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:d00f60f4eecac61340b2bac8aa81c580d49780187c2fcb9c72994382bc5c68da
-size 1400987
+oid sha256:e65f8dcbe938bc6bfffd967fdf061574b647ba7a147f9cd9de0b80353f7947b9
+size 1416177
diff --git a/download/frama-c-aorai-example.tgz b/download/frama-c-aorai-example.tgz
index b2c8b337..f27773a6 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:54477ba736b62bbf0002996461f2cbe81cc8764cb28a46904d3e0eaafb11f9f5
-size 1647
+oid sha256:b142ef3ab9c9a28c775899609fe3fd84e861817f78e3a5d6df53977ad0261aa7
+size 1659
diff --git a/download/frama-c-aorai-manual.pdf b/download/frama-c-aorai-manual.pdf
index 211c80a3..f88299a0 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:a7cde5fed051d1785481aed56e8b5edd2801031e68247cdb3b8e4a3a60687afc
-size 345187
+oid sha256:1fad9da33e74bf79245bb04b96085774e65a5688e10d6701b01f1c0e523c486b
+size 478424
diff --git a/download/frama-c-eva-manual.pdf b/download/frama-c-eva-manual.pdf
index b2b10fc8..c8848446 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:f8825f19bf1a9626faf6045f0fadb06c1654a8bb1b64719319542b31645d59a4
-size 1902246
+oid sha256:d3623219d983838ffcfa8e728f245924209323c194de0fdce4078ff10f1c182d
+size 1978712
diff --git a/download/frama-c-metrics-manual.pdf b/download/frama-c-metrics-manual.pdf
index c53e4aba..3de6af83 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:d15d6c0ff34470d8937b734ea21c8a6b6877444924f9893cfe78f07d75aa1710
-size 799924
+oid sha256:079264ac85622fd8cc285e77d348a91089de79ab5c09d6bdd53d1fd929de2286
+size 812998
diff --git a/download/frama-c-plugin-development-guide.pdf b/download/frama-c-plugin-development-guide.pdf
index f3749e33..ee5f471f 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:5c13c4ecd3db3637e268e06027e8086be84064f9d756d238c5dd47cc0058b2c5
-size 1469580
+oid sha256:46f56bd2a5b5c0e6f9a9e3a0e5c4bab918b0d18904c8d8a100c3de7445923bc7
+size 1486783
diff --git a/download/frama-c-rte-manual.pdf b/download/frama-c-rte-manual.pdf
index 5892ce51..5c14a1b8 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:17bfca032bd6aff415fdc0dd63167757bf19112ec6d0d9f6db89d19fda6f8648
-size 652705
+oid sha256:cb3fb60f678ff4e53ff73a170ed4e16443fa250edfb783cd47b9c350aae0d245
+size 667480
diff --git a/download/frama-c-source-dist.tar.gz b/download/frama-c-source-dist.tar.gz
index 26b8ddfb..8d1c4661 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:d25a3448d0e0baec242ff500858295d0e73ebc91e0a90200afda0cf274c2f3e5
-size 6945715
+oid sha256:4eeaf1321780a8d88f492fb50a83859a229585e33fa7a5e10dbf49506e7c3d74
+size 7495244
diff --git a/download/frama-c-user-manual.pdf b/download/frama-c-user-manual.pdf
index 29aabb7e..f93e9e41 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:9ef54d68d1753710a4272bab15c3a7c3a79db2b2c661d999727c41fa42cfac1d
-size 1822955
+oid sha256:7566d7d2f1bd53c3e3301541c6603a27f30ed45ce4eab839c6bb9956dc0b78ed
+size 1854384
diff --git a/download/frama-c-value-analysis.pdf b/download/frama-c-value-analysis.pdf
index b2b10fc8..c8848446 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:f8825f19bf1a9626faf6045f0fadb06c1654a8bb1b64719319542b31645d59a4
-size 1902246
+oid sha256:d3623219d983838ffcfa8e728f245924209323c194de0fdce4078ff10f1c182d
+size 1978712
diff --git a/download/frama-c-wp-manual.pdf b/download/frama-c-wp-manual.pdf
index d42ccb57..95220739 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:9d80ecaaaa5771c306e3fbe020c5b755da39c147eaf14fda8f6af8d571356b64
-size 1409094
+oid sha256:9b87bf0bacc472e0305ba837e6b1ef5762330aa9164c99df02dce49d25a295c8
+size 1431333
diff --git a/download/hello-24.0-Chromium.tar.gz b/download/hello-24.0-Chromium.tar.gz
new file mode 100644
index 00000000..08747c50
--- /dev/null
+++ b/download/hello-24.0-Chromium.tar.gz
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:9e59eccaaf91570df8094c7b8cdd241a44c38207f35f1de05d3cc23e28bd71aa
+size 1457
diff --git a/download/metrics-manual-24.0-Chromium.pdf b/download/metrics-manual-24.0-Chromium.pdf
new file mode 100644
index 00000000..3de6af83
--- /dev/null
+++ b/download/metrics-manual-24.0-Chromium.pdf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:079264ac85622fd8cc285e77d348a91089de79ab5c09d6bdd53d1fd929de2286
+size 812998
diff --git a/download/plugin-development-guide-24.0-Chromium.pdf b/download/plugin-development-guide-24.0-Chromium.pdf
new file mode 100644
index 00000000..ee5f471f
--- /dev/null
+++ b/download/plugin-development-guide-24.0-Chromium.pdf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:46f56bd2a5b5c0e6f9a9e3a0e5c4bab918b0d18904c8d8a100c3de7445923bc7
+size 1486783
diff --git a/download/rte-manual-24.0-Chromium.pdf b/download/rte-manual-24.0-Chromium.pdf
new file mode 100644
index 00000000..5c14a1b8
--- /dev/null
+++ b/download/rte-manual-24.0-Chromium.pdf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:cb3fb60f678ff4e53ff73a170ed4e16443fa250edfb783cd47b9c350aae0d245
+size 667480
diff --git a/download/user-manual-24.0-Chromium.pdf b/download/user-manual-24.0-Chromium.pdf
new file mode 100644
index 00000000..f93e9e41
--- /dev/null
+++ b/download/user-manual-24.0-Chromium.pdf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:7566d7d2f1bd53c3e3301541c6603a27f30ed45ce4eab839c6bb9956dc0b78ed
+size 1854384
diff --git a/download/wp-manual-24.0-Chromium.pdf b/download/wp-manual-24.0-Chromium.pdf
new file mode 100644
index 00000000..95220739
--- /dev/null
+++ b/download/wp-manual-24.0-Chromium.pdf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:9b87bf0bacc472e0305ba837e6b1ef5762330aa9164c99df02dce49d25a295c8
+size 1431333
diff --git a/html/installations/chromium.md b/html/installations/chromium.md
index 87a151b9..29d4611e 100644
--- a/html/installations/chromium.md
+++ b/html/installations/chromium.md
@@ -4,7 +4,7 @@ version: chromium
title: Installation instructions for Chromium
---
-# Installing Frama-C Chromium (released on 2021-11-04)
+# Installing Frama-C Chromium (released on 2021-11-30)
- [Installing Frama-C](#installing-frama-c)
- [Table of Contents](#table-of-contents)
--
GitLab