Download Tool Development and Support SPARK Toolset Release

1
•
Tool Development and Support
SPARK Toolset Release Note – Release 7.4
EXM/RN
Issue: 1.5
Documentation of /noexpression_reduction option.
11.4 Generation of RTCs for SPARK Programs User Manual
•
Documentation of the Always_Valid assertion.
11.5 SPARK95_IO - Input/Output for SPARK95 Programs User Manual
•
Documentation of the interface change to the Close and Delete subprograms.
11.6 The SPARK Ravenscar Profile User Manual
•
Alteration to the definition of the Ada.Real_Time package.
11.7 SPARKMake User Manual
•
Documented /path option.
11.8 SPARKFormat User Manual
•
Documented formatting of inherit, initialization and own variable clauses.
•
Documented addition of new /properties_indent option.
11.9 Installation Manuals – NT and Sun
•
Updates to installation procedures for release 7.4.
Page 23 of 37