From c712950b49e52cb5e598d310442e96f153557ffe Mon Sep 17 00:00:00 2001
From: Frama-CI Bot <frama-ci-bot@frama-c.com>
Date: Wed, 15 Feb 2023 13:40:35 +0000
Subject: [PATCH] [release] prepare 26.1-iron
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
On behalf of "David Bühler" <david.buhler@cea.fr> (@buhler)
---
_events/framac-26.1.md | 24 ++++++++++++++
_fc-versions/iron.md | 32 +++++++++----------
download/acsl-1.18.pdf | 2 +-
download/acsl-implementation-26.1-Iron.pdf | 3 ++
download/acsl.pdf | 2 +-
download/aorai-example-26.1-Iron.tar.gz | 3 ++
download/aorai-manual-26.1-Iron.pdf | 3 ++
download/e-acsl/e-acsl-1.18.pdf | 2 +-
.../e-acsl-implementation-26.1-Iron.pdf | 3 ++
download/e-acsl/e-acsl-implementation.pdf | 4 +--
download/e-acsl/e-acsl-manual-26.1-Iron.pdf | 3 ++
download/e-acsl/e-acsl-manual.pdf | 4 +--
download/e-acsl/e-acsl.pdf | 2 +-
download/eva-manual-26.1-Iron.pdf | 3 ++
download/frama-c-26.1-Iron-api.tar.gz | 3 ++
download/frama-c-26.1-Iron.tar.gz | 3 ++
download/frama-c-acsl-implementation.pdf | 4 +--
download/frama-c-aorai-example.tar.gz | 4 +--
download/frama-c-aorai-manual.pdf | 4 +--
download/frama-c-api.tar.gz | 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-server-26.1-Iron-api.tar.gz | 3 ++
download/frama-c-server-api.tar.gz | 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-26.1-Iron.tar.gz | 3 ++
download/metrics-manual-26.1-Iron.pdf | 3 ++
.../plugin-development-guide-26.1-Iron.pdf | 3 ++
download/rte-manual-26.1-Iron.pdf | 3 ++
download/user-manual-26.1-Iron.pdf | 3 ++
download/wp-manual-26.1-Iron.pdf | 3 ++
html/installations/iron.md | 20 +++++++++---
37 files changed, 134 insertions(+), 55 deletions(-)
create mode 100644 _events/framac-26.1.md
create mode 100644 download/acsl-implementation-26.1-Iron.pdf
create mode 100644 download/aorai-example-26.1-Iron.tar.gz
create mode 100644 download/aorai-manual-26.1-Iron.pdf
create mode 100644 download/e-acsl/e-acsl-implementation-26.1-Iron.pdf
create mode 100644 download/e-acsl/e-acsl-manual-26.1-Iron.pdf
create mode 100644 download/eva-manual-26.1-Iron.pdf
create mode 100644 download/frama-c-26.1-Iron-api.tar.gz
create mode 100644 download/frama-c-26.1-Iron.tar.gz
create mode 100644 download/frama-c-server-26.1-Iron-api.tar.gz
create mode 100644 download/hello-26.1-Iron.tar.gz
create mode 100644 download/metrics-manual-26.1-Iron.pdf
create mode 100644 download/plugin-development-guide-26.1-Iron.pdf
create mode 100644 download/rte-manual-26.1-Iron.pdf
create mode 100644 download/user-manual-26.1-Iron.pdf
create mode 100644 download/wp-manual-26.1-Iron.pdf
diff --git a/_events/framac-26.1.md b/_events/framac-26.1.md
new file mode 100644
index 00000000..9037f5e3
--- /dev/null
+++ b/_events/framac-26.1.md
@@ -0,0 +1,24 @@
+---
+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).
+
+Main changes with respect to Frama-C 26.0 (Iron) include:
+
+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 627828c6..827b1eb5 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 b1693d4b..92a5d0c4 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 00000000..fba66fee
--- /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 b1693d4b..92a5d0c4 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 00000000..e5b1e6b4
--- /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 00000000..b8aa0d55
--- /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 d58dfd66..4315cc7f 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 00000000..d9abe364
--- /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 f0d077ec..d9abe364 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 00000000..8a7b0a85
--- /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 01b0e6be..8a7b0a85 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 d58dfd66..4315cc7f 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 00000000..5b7b5cf5
--- /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 00000000..ac95e059
--- /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 00000000..65c3937c
--- /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 d2305e75..fba66fee 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 5c8fea73..e5b1e6b4 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 9969ad18..b8aa0d55 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 c563203d..ac95e059 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 ead71bb2..5b7b5cf5 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 9970f444..aef66eac 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 6024493f..aee17dce 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 00b70242..02df00e8 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 00000000..64cea3bb
--- /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 c99039d4..64cea3bb 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 58afc9dc..65c3937c 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 8e6f42a8..d44286c7 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 ead71bb2..5b7b5cf5 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 b945ff5b..4adb32ef 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 00000000..1ef1ca4c
--- /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 00000000..aef66eac
--- /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 00000000..aee17dce
--- /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 00000000..02df00e8
--- /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 00000000..d44286c7
--- /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 00000000..4adb32ef
--- /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 c10d2382..b48858cd 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
--
GitLab