with SPARK_Mode

Najnowsza wersja SPARK 2014 wymaga umieszczania frazy with SPARK_Mode w specyfikacji i treści pakietu.

Poniższe pliki zawierają zaktualizowane źródła dotychczas rozpatrywanych przykładów:

• szukaj_2014.zip
• szukaj2_2014.zip
• divide_2014.zip
• absolute_2014.zip