SPARK Change Log

v1.2.7 (not yet published)

(xx.11.2013)

v1.2.6

(30.10.2013, new kit created on 12.11.2013 du to installation problems)

v1.2.5

(14.10.2013)

v1.2.4

(bug-fix release, 07.08.2013)

v1.2.3

(bug-fix release, 02.08.2013)

v1.2.2

(intermediate release for Software Verification 1, 29.06.2013)

v1.2.1

(bug fix, 20.06.2013)

v1.2.0

(Release for Software Verification, 19.06.2013)

v1.1.5

(intermediate release, 05.06.2013)

v1.1.4

(intermediate release, 23.05.2013)

v1.1.3

(intermediate release, 13.05,2013)

v1.1.2

(intermediate release, 08.05.2013)

v1.1.1

(intermediate release, 23.04.2013)

v1.1.0

(Release for COMM3, 19.03.2013)

v1.0.9

(intermediate release for USM, not published here, 13.03.2013)

v1.0.8

(Intermediate release for software developers at USM, 20.02.2013)

v1.0.7

(08.01.2013)