From: AdaMagica <christ-usch.grein@t-online.de>
Subject: Re: GNAT bug with assertions
Date: Sun, 12 Aug 2018 11:35:15 -0700 (PDT)
Date: 2018-08-12T11:35:15-07:00 [thread overview]
Message-ID: <fabd7914-ac70-47fd-a318-6ea52ebdbbdb@googlegroups.com> (raw)
In-Reply-To: <pkktbf$3lr$1@franka.jacob-sparre.dk>
Thank you all for your time to think about this.
I'll send it in to AdaCore. Hopefully it will be correted next year in the public version.
next prev parent reply other threads:[~2018-08-12 18:35 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-08-10 10:29 GNAT bug with assertions AdaMagica
2018-08-10 14:23 ` Anh Vo
2018-08-10 15:16 ` Jacob Sparre Andersen
2018-08-10 16:16 ` Simon Wright
2018-08-10 20:42 ` Randy Brukardt
2018-08-12 18:35 ` AdaMagica [this message]
2018-08-12 18:51 ` Simon Wright
2018-08-13 9:03 ` AdaMagica
2018-08-13 9:07 ` Simon Wright
2018-08-13 15:54 ` Simon Wright
2018-08-13 16:55 ` Simon Wright
2018-08-14 2:37 ` AdaMagica
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox