From: Maciej Sobczak <see.my.homepage@gmail.com>
Subject: Re: SPARK - strange range check with array assignment
Date: Wed, 19 Aug 2015 03:09:16 -0700 (PDT)
Date: 2015-08-19T03:09:16-07:00 [thread overview]
Message-ID: <032543ce-eb80-4632-a103-bef2d21f16ad@googlegroups.com> (raw)
In-Reply-To: <e26b0f26-2b46-459c-8030-2f13786571f6@googlegroups.com>
> it went through gnatprove (2015) happily. I tested it on Windows.
I have just installed SPARK 2015 on Windows and I confirm that the test passes OK. Time to upgrade. :-)
Regards,
--
Maciej Sobczak * http://www.inspirel.com
prev parent reply other threads:[~2015-08-19 10:09 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-08-18 20:06 SPARK - strange range check with array assignment Maciej Sobczak
2015-08-18 22:07 ` Georg Bauhaus
2015-08-19 0:11 ` Anh Vo
2015-08-19 10:09 ` Maciej Sobczak [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox