From: Georg Bauhaus <bauhaus@futureapps.invalid>
Subject: Re: Ada.Strings.Fixed.Count raises Storage_Error
Date: Mon, 27 Jun 2016 10:41:24 +0200
Date: 2016-06-27T10:41:24+02:00 [thread overview]
Message-ID: <nkqork$1oh$1@dont-email.me> (raw)
In-Reply-To: <lylh1rowzr.fsf@pushface.org>
On 27.06.16 10:29, Simon Wright wrote:
> Who knows, AdaCore recently reported (in their blog) an obscure
> customer-reported problem in Text_IO which resulted in them doing a
> formal analysis and finding 2 further bugs ... if that approach
> continues, this obscure problem might get fixed.
This approach could lead to, at least, a statement of the
assumptions of the algorithm in question. Perhaps even
to a special case routine that doesn't make the "normal"
routine run unnecessarily slow by frequently testing
equality with Positive'Last.
--
"HOTDOGS ARE NOT BOOKMARKS"
Springfield Elementary teaching staff
next prev parent reply other threads:[~2016-06-27 8:41 UTC|newest]
Thread overview: 29+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-05-12 11:36 Ada.Strings.Fixed.Count raises Storage_Error Xavier Petit
2016-05-12 15:22 ` Tero Koskinen
2016-05-12 22:05 ` Georg Bauhaus
2016-06-26 21:18 ` Victor Porton
2016-06-26 23:23 ` rieachus
2016-06-27 0:21 ` Jeffrey R. Carter
2016-06-27 4:00 ` rieachus
2016-06-27 0:51 ` Xavier Petit
2016-06-27 4:48 ` rieachus
2016-06-28 18:25 ` Xavier Petit
2016-06-29 18:49 ` Niklas Holsti
2016-06-29 19:40 ` Jeffrey R. Carter
2016-06-29 19:57 ` Dmitry A. Kazakov
2016-07-01 11:48 ` rieachus
2016-07-01 13:08 ` Dmitry A. Kazakov
2016-06-27 8:29 ` Simon Wright
2016-06-27 8:41 ` Georg Bauhaus [this message]
2016-06-29 8:15 ` Niklas Holsti
2016-06-29 9:13 ` J-P. Rosen
2016-06-29 17:43 ` Niklas Holsti
2016-06-29 18:19 ` J-P. Rosen
2016-06-29 20:30 ` Robert A Duff
2016-06-30 5:38 ` Niklas Holsti
2016-07-01 10:40 ` rieachus
2016-07-01 10:55 ` J-P. Rosen
2016-07-01 12:17 ` rieachus
2016-07-01 12:55 ` G.B.
2016-06-27 12:52 ` Victor Porton
2016-05-12 22:56 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox