From: Dmitrij Novikov <drr73@gmx.de>
Subject: Re: Proof of array initialization in SPARK 2014
Date: Thu, 12 May 2016 09:58:28 -0700 (PDT)
Date: 2016-05-12T09:58:28-07:00 [thread overview]
Message-ID: <00d89f1a-0fee-4056-870e-44040fd9e2a2@googlegroups.com> (raw)
In-Reply-To: <2dc1c4a4-ec94-4cdf-95fc-c81f851c6845@googlegroups.com>
This is a good solution. Thank you.
next prev parent reply other threads:[~2016-05-12 16:58 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-05-12 12:01 Proof of array initialization in SPARK 2014 Dmitrij Novikov
2016-05-12 12:13 ` ake.ragnar.dahlgren
2016-05-12 14:43 ` Dmitrij Novikov
2016-05-12 15:47 ` Phil Thornley
2016-05-12 16:58 ` Dmitrij Novikov [this message]
2016-05-15 19:42 ` rieachus
2016-05-19 9:30 ` Dmitrij Novikov
2016-05-19 18:12 ` Simon Wright
2016-05-21 2:00 ` rieachus
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox