From 39ae712b751bef95e5810ce0b1d601a640fe9201 Mon Sep 17 00:00:00 2001 From: Johannes Kanig Date: Thu, 7 Sep 2023 07:58:50 +0900 Subject: [PATCH] Changelog and doc changes for new SPARK version --- CHANGELOG.md | 2 +- doc/user_guide/10-introduction.rst | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 731d82e4f..368c37fa7 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -9,7 +9,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0 ### Added -- Support for SPARK Pro Wavefront 20230710 (eng/recordflux/RecordFlux#1403) +- Support for SPARK Pro Wavefront 20230823 (eng/recordflux/RecordFlux#1403, eng/recordflux/RecordFlux#1409) ### Changed diff --git a/doc/user_guide/10-introduction.rst b/doc/user_guide/10-introduction.rst index 45796a18d..76d5ceea4 100644 --- a/doc/user_guide/10-introduction.rst +++ b/doc/user_guide/10-introduction.rst @@ -141,7 +141,7 @@ The tool can be installed using either the system package manager (`python3-pip` For the formal verification of the generated code, the following SPARK Pro version is required: -- SPARK Pro Wavefront 20230710 +- SPARK Pro Wavefront 20230823 If you plan to use the RecordFlux Modeller, GNAT Studio needs to be installed and set up.