diff --git a/_events/framac-26.1.md b/_events/framac-26.1.md
new file mode 100644
index 0000000000000000000000000000000000000000..f3fd0d754e3b2b1aa8fb04c7a2818e2c41329a60
--- /dev/null
+++ b/_events/framac-26.1.md
@@ -0,0 +1,22 @@
+---
+layout: default
+date: "15-02-2023"
+short_title: Frama-C 26.1 (Iron)
+title: Release of Frama-C 26.1 (Iron)
+link: /fc-versions/iron.html
+---
+
+Frama-C 26.1 (Iron) is out. Download it [here](/fc-versions/iron.html).
+
+This minor release fixes some issues related to the compilation and installation
+of Frama-C.
+
+Other changes with respect to Frama-C 26.0 (Iron) include:
+
+#### Kernel
+- Accepts \ghost attribute in logic annotations
+- Fixes issue in pretty-printing ranges
+
+#### WP
+- Fixes 'terminates' goals generation when some 'terminates' or 'decreases'
+ clauses are missing.
diff --git a/_fc-versions/iron.md b/_fc-versions/iron.md
index 627828c6f333f38fcd002f164edf79117de17cd3..827b1eb59a2c353838daeb0964f1c9f63fdca4cf 100644
--- a/_fc-versions/iron.md
+++ b/_fc-versions/iron.md
@@ -4,41 +4,41 @@ number: 26
name: Iron
acsl: 18
releases:
-- number: 0
+- number: 1
categories:
- - name: Frama-C v26.0 Iron
+ - name: Frama-C v26.1 Iron
files:
- name: Source distribution
- link: /download/frama-c-26.0-Iron.tar.gz
+ link: /download/frama-c-26.1-Iron.tar.gz
help: Compilation instructions
help_link: /html/installations/iron.html
- name: User manual
- link: /download/user-manual-26.0-Iron.pdf
+ link: /download/user-manual-26.1-Iron.pdf
- name: Plug-in development guide
- link: /download/plugin-development-guide-26.0-Iron.pdf
+ link: /download/plugin-development-guide-26.1-Iron.pdf
help: Hello plug-in tutorial archive
- help_link: /download/hello-26.0-Iron.tar.gz
+ help_link: /download/hello-26.1-Iron.tar.gz
- name: API Documentation
- link: /download/frama-c-26.0-Iron-api.tar.gz
+ link: /download/frama-c-26.1-Iron-api.tar.gz
- name: Server API Documentation
- link: /download/frama-c-server-26.0-Iron-api.tar.gz
+ link: /download/frama-c-server-26.1-Iron-api.tar.gz
- name: ACSL 1.18 (Iron implementation)
- link: /download/acsl-implementation-26.0-Iron.pdf
+ link: /download/acsl-implementation-26.1-Iron.pdf
- name: Plug-in Manuals
sort: true
files:
- name: Aoraï manual
- link: /download/aorai-manual-26.0-Iron.pdf
+ link: /download/aorai-manual-26.1-Iron.pdf
help: Aoraï example
- help_link: /download/aorai-example-26.0-Iron.tar.gz
+ help_link: /download/aorai-example-26.1-Iron.tar.gz
- name: Metrics manual
- link: /download/metrics-manual-26.0-Iron.pdf
+ link: /download/metrics-manual-26.1-Iron.pdf
- name: Rte manual
- link: /download/rte-manual-26.0-Iron.pdf
+ link: /download/rte-manual-26.1-Iron.pdf
- name: Eva manual
- link: /download/eva-manual-26.0-Iron.pdf
+ link: /download/eva-manual-26.1-Iron.pdf
- name: WP manual
- link: /download/wp-manual-26.0-Iron.pdf
+ link: /download/wp-manual-26.1-Iron.pdf
- name: E-ACSL manual
- link: /download/e-acsl/e-acsl-manual-26.0-Iron.pdf
+ link: /download/e-acsl/e-acsl-manual-26.1-Iron.pdf
---
diff --git a/download/acsl-1.18.pdf b/download/acsl-1.18.pdf
index b1693d4b75c9cfc9eea1f68a6cca3a01b8f25cf4..92a5d0c4c299d82d8a3eeb65e544a99a10d3c929 100755
--- a/download/acsl-1.18.pdf
+++ b/download/acsl-1.18.pdf
@@ -1,3 +1,3 @@
version https://git-lfs.github.com/spec/v1
-oid sha256:3139cde4d21a26516c270c1349f717a6c339853c829c6c6b90dcc4f3a74b8e91
+oid sha256:fe387e0bf9f098b45b8aaf70fc9d7ea8757b468c765c3de3a0f574453ed9cc5c
size 1449835
diff --git a/download/acsl-implementation-26.1-Iron.pdf b/download/acsl-implementation-26.1-Iron.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..fba66feec18301071a31ca6bc480892d94afe6d7
--- /dev/null
+++ b/download/acsl-implementation-26.1-Iron.pdf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:d21a0b3361ac7e3f9b3de5ef49dbe3e56c3516f27672fd49cde23f355f68ae78
+size 1455580
diff --git a/download/acsl.pdf b/download/acsl.pdf
index b1693d4b75c9cfc9eea1f68a6cca3a01b8f25cf4..92a5d0c4c299d82d8a3eeb65e544a99a10d3c929 100644
--- a/download/acsl.pdf
+++ b/download/acsl.pdf
@@ -1,3 +1,3 @@
version https://git-lfs.github.com/spec/v1
-oid sha256:3139cde4d21a26516c270c1349f717a6c339853c829c6c6b90dcc4f3a74b8e91
+oid sha256:fe387e0bf9f098b45b8aaf70fc9d7ea8757b468c765c3de3a0f574453ed9cc5c
size 1449835
diff --git a/download/aorai-example-26.1-Iron.tar.gz b/download/aorai-example-26.1-Iron.tar.gz
new file mode 100644
index 0000000000000000000000000000000000000000..e5b1e6b46a9b962eb2b3806a4fdca51ae38f4946
--- /dev/null
+++ b/download/aorai-example-26.1-Iron.tar.gz
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:c80b5e41747db732ee43d91dfb43dad7db55f556ffecb374663c8c6d11eb517f
+size 1284
diff --git a/download/aorai-manual-26.1-Iron.pdf b/download/aorai-manual-26.1-Iron.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..b8aa0d554b3ebc1625a2f39a1d87a28ddd998325
--- /dev/null
+++ b/download/aorai-manual-26.1-Iron.pdf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:e68b0bf04de6cf1f061a15bac93c03646483b17f9ee1a6b9e8e9e7c0cd6026f2
+size 475374
diff --git a/download/e-acsl/e-acsl-1.18.pdf b/download/e-acsl/e-acsl-1.18.pdf
index d58dfd660f91742190c94f1cad74ccf55783b562..4315cc7fca57b0ed65e026c9a47f466c7074481c 100755
--- a/download/e-acsl/e-acsl-1.18.pdf
+++ b/download/e-acsl/e-acsl-1.18.pdf
@@ -1,3 +1,3 @@
version https://git-lfs.github.com/spec/v1
-oid sha256:da7611de1bd29bfdd2f70d1936c7d027f750954f67c00b4fe46c2fa36201c227
+oid sha256:9b0ebef791d937033524fc2862a3613c15a31b50f4a7b6cbfe39eb9ee53958ff
size 734760
diff --git a/download/e-acsl/e-acsl-implementation-26.1-Iron.pdf b/download/e-acsl/e-acsl-implementation-26.1-Iron.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..d9abe3645b7aa7635d5c42f9e5ca7364cc8363bc
--- /dev/null
+++ b/download/e-acsl/e-acsl-implementation-26.1-Iron.pdf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:c7967a6e96885588a669dfa1d7cc2d103ba27e19521e8513ee448f6d33779686
+size 792442
diff --git a/download/e-acsl/e-acsl-implementation.pdf b/download/e-acsl/e-acsl-implementation.pdf
index f0d077ec92777756d42149da2b6e5ab1262aea51..d9abe3645b7aa7635d5c42f9e5ca7364cc8363bc 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:05185c8b790c929c6fdbbee484b8a3f54604c71f7afe3be4a308030dc8593ba7
-size 792791
+oid sha256:c7967a6e96885588a669dfa1d7cc2d103ba27e19521e8513ee448f6d33779686
+size 792442
diff --git a/download/e-acsl/e-acsl-manual-26.1-Iron.pdf b/download/e-acsl/e-acsl-manual-26.1-Iron.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..8a7b0a85ec59bdb9a2e361a9d6687dd2fcba6bfe
--- /dev/null
+++ b/download/e-acsl/e-acsl-manual-26.1-Iron.pdf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:a19ce1648f809e1daf9887a5d8c08bead6047c650284608f8fc25fd534d4a92e
+size 860986
diff --git a/download/e-acsl/e-acsl-manual.pdf b/download/e-acsl/e-acsl-manual.pdf
index 01b0e6be752a6e8e4bc655c54ff2b26401310598..8a7b0a85ec59bdb9a2e361a9d6687dd2fcba6bfe 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:1f3e87e2306bfee1aca1c8efe8c2b3b2f14469d4135a3ee83d5530b1b5a5d3bc
-size 861183
+oid sha256:a19ce1648f809e1daf9887a5d8c08bead6047c650284608f8fc25fd534d4a92e
+size 860986
diff --git a/download/e-acsl/e-acsl.pdf b/download/e-acsl/e-acsl.pdf
index d58dfd660f91742190c94f1cad74ccf55783b562..4315cc7fca57b0ed65e026c9a47f466c7074481c 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:da7611de1bd29bfdd2f70d1936c7d027f750954f67c00b4fe46c2fa36201c227
+oid sha256:9b0ebef791d937033524fc2862a3613c15a31b50f4a7b6cbfe39eb9ee53958ff
size 734760
diff --git a/download/eva-manual-26.1-Iron.pdf b/download/eva-manual-26.1-Iron.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..5b7b5cf53a83087d9e6a48b59c6bd091e259c99c
--- /dev/null
+++ b/download/eva-manual-26.1-Iron.pdf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:a8758f93a0aaf9121df8820e26c9c9e4324e2cff1ff60e500b30585d9583fa6e
+size 2003239
diff --git a/download/frama-c-26.1-Iron-api.tar.gz b/download/frama-c-26.1-Iron-api.tar.gz
new file mode 100644
index 0000000000000000000000000000000000000000..ac95e059ec2a1f5b2b546efeda0160ed1ab4ae12
--- /dev/null
+++ b/download/frama-c-26.1-Iron-api.tar.gz
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:30b83358a72a0ec4e0b19a71fa07077e25402a6605d298c8cf4b0edffe074f7e
+size 4333111
diff --git a/download/frama-c-26.1-Iron.tar.gz b/download/frama-c-26.1-Iron.tar.gz
new file mode 100644
index 0000000000000000000000000000000000000000..65c3937c21d5682f94215eb3b0002eb0c7813b10
--- /dev/null
+++ b/download/frama-c-26.1-Iron.tar.gz
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:513eda8c8caef1ee6fcebcf6a012830ebb59a9469c8143ff4d18b4fe4cfd4248
+size 7758677
diff --git a/download/frama-c-acsl-implementation.pdf b/download/frama-c-acsl-implementation.pdf
index d2305e75adb2a49003cc41d5c05ab6e2857aa9bd..fba66feec18301071a31ca6bc480892d94afe6d7 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:b04d5e1181e6ffb79faea9b138ca4142ded166b2d0e0124df14b2cf660bf8713
-size 1455845
+oid sha256:d21a0b3361ac7e3f9b3de5ef49dbe3e56c3516f27672fd49cde23f355f68ae78
+size 1455580
diff --git a/download/frama-c-aorai-example.tar.gz b/download/frama-c-aorai-example.tar.gz
index 5c8fea73af5836d8e7c37050b5bcd3a29cc2b431..e5b1e6b46a9b962eb2b3806a4fdca51ae38f4946 100644
--- a/download/frama-c-aorai-example.tar.gz
+++ b/download/frama-c-aorai-example.tar.gz
@@ -1,3 +1,3 @@
version https://git-lfs.github.com/spec/v1
-oid sha256:c2e7e5066b59f6a9e52f131b90bfea7f985d412ebc51994526bd64d0a12265ea
-size 1279
+oid sha256:c80b5e41747db732ee43d91dfb43dad7db55f556ffecb374663c8c6d11eb517f
+size 1284
diff --git a/download/frama-c-aorai-manual.pdf b/download/frama-c-aorai-manual.pdf
index 9969ad1878721321233279f83c5d87f80676d4a4..b8aa0d554b3ebc1625a2f39a1d87a28ddd998325 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:7406e6605ed92136cc21abaafa987bd19d9dc3db3b1f6c33b31cb454bee8da2e
-size 474897
+oid sha256:e68b0bf04de6cf1f061a15bac93c03646483b17f9ee1a6b9e8e9e7c0cd6026f2
+size 475374
diff --git a/download/frama-c-api.tar.gz b/download/frama-c-api.tar.gz
index c563203d41d28b64ebe0e92226fcb6afa029d2d4..ac95e059ec2a1f5b2b546efeda0160ed1ab4ae12 100644
--- a/download/frama-c-api.tar.gz
+++ b/download/frama-c-api.tar.gz
@@ -1,3 +1,3 @@
version https://git-lfs.github.com/spec/v1
-oid sha256:306639a9b9b265177253c8f586455cd1f0f831d49e9ba503a867dbb930c3fa4f
-size 4328899
+oid sha256:30b83358a72a0ec4e0b19a71fa07077e25402a6605d298c8cf4b0edffe074f7e
+size 4333111
diff --git a/download/frama-c-eva-manual.pdf b/download/frama-c-eva-manual.pdf
index ead71bb28e29ce01de9d319af6c5ba8f75f8bb53..5b7b5cf53a83087d9e6a48b59c6bd091e259c99c 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:57741f8972a1767e7d1b700ab91b03dcaf535163aecb994965530d870eb4dbf3
-size 2003229
+oid sha256:a8758f93a0aaf9121df8820e26c9c9e4324e2cff1ff60e500b30585d9583fa6e
+size 2003239
diff --git a/download/frama-c-metrics-manual.pdf b/download/frama-c-metrics-manual.pdf
index 9970f44497ad016bacaffd636c54150d69ef6614..aef66eacea8eaa71c355c56c81f09555bd07720d 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:b76056aa3009a79008ccb8d85bf2a8a66569358c821bcdf627e55a16d9c0b289
-size 814587
+oid sha256:02d1b5a2da6bf8ca60d9f60b09ae78fb9025e95c37841c62a6595230f3af3c17
+size 833895
diff --git a/download/frama-c-plugin-development-guide.pdf b/download/frama-c-plugin-development-guide.pdf
index 6024493f1fe7bee965b1e197c295e81bd148e86a..aee17dce3165af710b8575a10f2462ad954c235e 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:acce2113ba50ddf8cf89978c9e203cdb93a161e575447f0a7df849ab21c694ec
-size 1425358
+oid sha256:3a4777c41ba0accd4158e1cbb2df822904edb732582bf878875ba663f99bba4b
+size 1425211
diff --git a/download/frama-c-rte-manual.pdf b/download/frama-c-rte-manual.pdf
index 00b702424cfe90752e60d092fcae7c4f70799897..02df00e84cbd473eba974ee4e1561e756c351944 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:bf9630b0d8b13ac6decc4e2fca422e60e52911d087f254d6db702022d08c6891
-size 687476
+oid sha256:3f66dba07c1e51ec847d11f3165948672033bc0b9a058ab17542e35e2feeefb9
+size 687262
diff --git a/download/frama-c-server-26.1-Iron-api.tar.gz b/download/frama-c-server-26.1-Iron-api.tar.gz
new file mode 100644
index 0000000000000000000000000000000000000000..64cea3bb2e08193853983e1313005d50178f6509
--- /dev/null
+++ b/download/frama-c-server-26.1-Iron-api.tar.gz
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:756793af64e8b7eee9a3bd146ce902ab0445048bfc6838ac41b7f52251aa94df
+size 28768
diff --git a/download/frama-c-server-api.tar.gz b/download/frama-c-server-api.tar.gz
index c99039d4353ad53bdcdbd2133c3c10c48c15aded..64cea3bb2e08193853983e1313005d50178f6509 100644
--- a/download/frama-c-server-api.tar.gz
+++ b/download/frama-c-server-api.tar.gz
@@ -1,3 +1,3 @@
version https://git-lfs.github.com/spec/v1
-oid sha256:24edd6391909d4fec3734a74b5e91dddb2ea9bbe903ab7b39b9a7ca9d8c091da
-size 28876
+oid sha256:756793af64e8b7eee9a3bd146ce902ab0445048bfc6838ac41b7f52251aa94df
+size 28768
diff --git a/download/frama-c-source-dist.tar.gz b/download/frama-c-source-dist.tar.gz
index 58afc9dc7f48ebc0272e098496f52ecdd345be26..65c3937c21d5682f94215eb3b0002eb0c7813b10 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:5b51102dd44309d7b8b44dd10221716c9915e0ebb0e65817a50b32ee6e79afd9
-size 7754160
+oid sha256:513eda8c8caef1ee6fcebcf6a012830ebb59a9469c8143ff4d18b4fe4cfd4248
+size 7758677
diff --git a/download/frama-c-user-manual.pdf b/download/frama-c-user-manual.pdf
index 8e6f42a8afe8f6a5f6a53204c997cd3e713b45d8..d44286c7f8b925519e633aeaf992d59330842c23 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:d66fa6e99251d1136a1ad800a69016c34c1953a08f3f96164769f8a6b1e54618
-size 1909391
+oid sha256:9a37e8cc98c507942c7e61fcd241839328e99bc37f717cd8110f36e08d6a5630
+size 1909386
diff --git a/download/frama-c-value-analysis.pdf b/download/frama-c-value-analysis.pdf
index ead71bb28e29ce01de9d319af6c5ba8f75f8bb53..5b7b5cf53a83087d9e6a48b59c6bd091e259c99c 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:57741f8972a1767e7d1b700ab91b03dcaf535163aecb994965530d870eb4dbf3
-size 2003229
+oid sha256:a8758f93a0aaf9121df8820e26c9c9e4324e2cff1ff60e500b30585d9583fa6e
+size 2003239
diff --git a/download/frama-c-wp-manual.pdf b/download/frama-c-wp-manual.pdf
index b945ff5b627042863639dae769579c2f1a21d1ac..4adb32ef0fed6fd4fc65da5f71a152dddbfba98c 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:0e676ec01bad3b299d7ad5ac64eac15f6830c918f9109c3d14bf262ef5c9088f
-size 1348860
+oid sha256:203ea0c7b24c999a636972aefab4d8c0b914fda6e01043fac271c57b03ab188a
+size 1348867
diff --git a/download/hello-26.1-Iron.tar.gz b/download/hello-26.1-Iron.tar.gz
new file mode 100644
index 0000000000000000000000000000000000000000..1ef1ca4cc99f7720b759985281b1eca83207f7cb
--- /dev/null
+++ b/download/hello-26.1-Iron.tar.gz
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:f61f27bd17de546264aa58f40f3aafaac7021e0ef69c17f6b1b4cd7664a037ec
+size 20
diff --git a/download/metrics-manual-26.1-Iron.pdf b/download/metrics-manual-26.1-Iron.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..aef66eacea8eaa71c355c56c81f09555bd07720d
--- /dev/null
+++ b/download/metrics-manual-26.1-Iron.pdf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:02d1b5a2da6bf8ca60d9f60b09ae78fb9025e95c37841c62a6595230f3af3c17
+size 833895
diff --git a/download/plugin-development-guide-26.1-Iron.pdf b/download/plugin-development-guide-26.1-Iron.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..aee17dce3165af710b8575a10f2462ad954c235e
--- /dev/null
+++ b/download/plugin-development-guide-26.1-Iron.pdf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:3a4777c41ba0accd4158e1cbb2df822904edb732582bf878875ba663f99bba4b
+size 1425211
diff --git a/download/rte-manual-26.1-Iron.pdf b/download/rte-manual-26.1-Iron.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..02df00e84cbd473eba974ee4e1561e756c351944
--- /dev/null
+++ b/download/rte-manual-26.1-Iron.pdf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:3f66dba07c1e51ec847d11f3165948672033bc0b9a058ab17542e35e2feeefb9
+size 687262
diff --git a/download/user-manual-26.1-Iron.pdf b/download/user-manual-26.1-Iron.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..d44286c7f8b925519e633aeaf992d59330842c23
--- /dev/null
+++ b/download/user-manual-26.1-Iron.pdf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:9a37e8cc98c507942c7e61fcd241839328e99bc37f717cd8110f36e08d6a5630
+size 1909386
diff --git a/download/wp-manual-26.1-Iron.pdf b/download/wp-manual-26.1-Iron.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..4adb32ef0fed6fd4fc65da5f71a152dddbfba98c
--- /dev/null
+++ b/download/wp-manual-26.1-Iron.pdf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:203ea0c7b24c999a636972aefab4d8c0b914fda6e01043fac271c57b03ab188a
+size 1348867
diff --git a/html/installations/iron.md b/html/installations/iron.md
index c10d23826870d363cfa1e1fe8dd2fcb9c6717b73..b48858cd54b11ff95fd6bbba4618d3d446b63e1a 100644
--- a/html/installations/iron.md
+++ b/html/installations/iron.md
@@ -1,9 +1,9 @@
---
layout: installation_page
version: iron
-title: Installation instructions for Frama-C 26.0 (Iron)
+title: Installation instructions for Frama-C 26.1 (Iron)
---
-# Installing Frama-C (released on 2022-11-23)
+# Installing Frama-C (released on 2023-02-15)
- [Installing Frama-C](#installing-frama-c)
- [Table of Contents](#table-of-contents)
@@ -114,13 +114,15 @@ own sources directly:
# install Frama-C's dependencies
opam install depext # only for opam < 2.1.0
opam depext frama-c # only for opam < 2.1.0
- opam install --deps-only frama-c
+ opam install --deps-only frama-c [--with-test]
# install custom version of frama-c
opam pin add --kind=path frama-c <dir>
where `<dir>` is the root of your unpacked Frama-C archive.
-See `opam pin` for more details.
+See `opam pin` for more details. The option `--with-test` is optional and
+is necessary only if you want to be able to execute the tests available in
+the frama-c repository.
If your extensions require other libraries than the ones already used
by Frama-C, they must of course be installed as well.
@@ -327,7 +329,7 @@ Arch Linux: `pikaur -S frama-c`
./make RELEASE=yes && make install
- See section *Configuration* below for options.
+ See section *Installation* below for options.
3. On Windows+Cygwin:
@@ -378,6 +380,11 @@ make run-ptests
make default-tests
```
+**Beware!** If the tests fail due to JSON output, it is likely because of the
+Yojson package version. Make sure that your `opam` dependencies have been
+installed with the option `--with-test`
+(see [Installing Custom Versions of Frama-C](#installing-custom-versions-of-frama-c)).
+
#### Installation
Type `make install` (depending on the installation directory, this may require
@@ -388,6 +395,9 @@ superuser privileges. The installation directory is chosen through the variable
dune install
```
+The Makefile (and dune) supports the `DESTDIR` variable, that can be used to
+configure the location of the installation.
+
#### API Documentation
For plugin developers, the API documentation of the Frama-C kernel and