From: Anh Vo <anhvofrcaus@gmail.com>
Subject: Re: Gnat Problem - Freezing too soon
Date: Fri, 1 Mar 2019 08:54:47 -0800 (PST)
Date: 2019-03-01T08:54:47-08:00 [thread overview]
Message-ID: <bba6782d-d9da-44ad-af51-039ff8b4be37@googlegroups.com> (raw)
In-Reply-To: <q5bf53$1iic$1@gioia.aioe.org>
On Friday, March 1, 2019 at 6:21:26 AM UTC-8, russ lyttle wrote:
> 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.
It is fine to send in a report if you are confident that it is a bug in latest GNAT. Otherwise, we would like to see the content of sporadics.ads. So, we can either confirm or not your finding.
next prev parent reply other threads:[~2019-03-01 16:54 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
2019-03-01 16:54 ` Anh Vo [this message]
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