Skip to content

Commit

Permalink
Changelog and doc changes for new SPARK version
Browse files Browse the repository at this point in the history
  • Loading branch information
kanigsson committed Sep 6, 2023
1 parent e33d4ad commit 39ae712
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down
2 changes: 1 addition & 1 deletion doc/user_guide/10-introduction.rst
Original file line number Diff line number Diff line change
Expand Up @@ -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.

Expand Down

0 comments on commit 39ae712

Please sign in to comment.