comp.lang.ada
 help / color / mirror / Atom feed
From: russ lyttle <lyttlec@removegmail.com>
Subject: Re: Gnat Problem - Freezing too soon
Date: Fri, 1 Mar 2019 09:21:24 -0500
Date: 2019-03-01T09:21:24-05:00	[thread overview]
Message-ID: <q5bf53$1iic$1@gioia.aioe.org> (raw)
In-Reply-To: 2c369d78-70ea-4593-af3d-e014b0c1fc00@googlegroups.com

On 2/28/19 7:49 PM, Anh Vo wrote:
> On Thursday, February 28, 2019 at 2:11:11 PM UTC-8, russ lyttle wrote:
>> On 2/28/19 4:22 PM, Simon Wright wrote:
>>> russ lyttle <lyttlec@removegmail.com> writes:
>>>
>>>> Example from the bookAnalysable Real-Time Systems :
>>>>
> ---------
>>
>> Would I be submitting a bug report against an already patched version of
>> gnat?
> 
> Again, please post sporadics.ads in its entirety. So, we can duplicate your finding or not.
>   
> 
Thanks for responding. We found it definitely a bug in gnat and are 
submitting a bug report.


  reply	other threads:[~2019-03-01 14:21 UTC|newest]

Thread overview: 22+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2019-02-28 18:34 Gnat Problem - Freezing too soon russ lyttle
2019-02-28 21:19 ` Anh Vo
2019-02-28 21:31   ` russ lyttle
2019-02-28 21:22 ` Simon Wright
2019-02-28 22:11   ` russ lyttle
2019-03-01  0:49     ` Anh Vo
2019-03-01 14:21       ` russ lyttle [this message]
2019-03-01 16:54         ` Anh Vo
2019-03-01 21:50           ` russ lyttle
2019-03-02  1:08             ` Anh Vo
2019-03-02  3:55               ` russ lyttle
2019-03-02  5:50                 ` Anh Vo
2019-03-02 20:19                   ` russ lyttle
2019-03-02 21:35                     ` Simon Wright
2019-03-03 20:42                       ` russ lyttle
2019-03-03 21:26                         ` Simon Wright
2019-03-04  0:33                           ` russ lyttle
2019-03-02 14:09             ` Simon Wright
2019-03-01  8:12     ` Simon Wright
2019-03-01 14:17       ` russ lyttle
2019-03-01 18:10     ` Simon Wright
2019-03-01 21:35       ` russ lyttle
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox