SPARK Change Log

v1.2.3 (not yet published)

(intermediate release)

v1.2.2

(intermediate release for Software Verification)

v1.2.1

(bug fix)

v1.2.0

(Release for Software Verification)

v1.1.5

(intermediate release)

v1.1.4

(intermediate release)

v1.1.3

(intermediate release)

v1.1.2

(intermediate release)

v1.1.1

(intermediate release)

v1.1.0

(Release for COMM3)

v1.0.9

(intermediate release for USM, not published here)

v1.0.8

(Intermediate release for software developers at USM)

v1.0.7