From: "Adam Beneschan" <adam@irvine.com>
Subject: Re: real_time.clock is not monotonic
Date: 21 Feb 2007 19:19:52 -0800
Date: 2007-02-21T19:19:52-08:00 [thread overview]
Message-ID: <1172114392.920933.140930@k78g2000cwa.googlegroups.com> (raw)
In-Reply-To: <mailman.104.1172111667.18371.comp.lang.ada@ada-france.org>
On Feb 21, 6:34 pm, "Randy Brukardt" <r...@rrsoftware.com> wrote:
> Adam writes:
> > Actually, I don't see in the LRM where it says "Ada.Real_Time.Clock
> > shall be monotonic", in such forceful language.
>
> D.8(32): "There shall be no backward clock jumps". What's not forceful about
> that??
Missed that. Sorry.
-- Adam
next prev parent reply other threads:[~2007-02-22 3:19 UTC|newest]
Thread overview: 21+ messages / expand[flat|nested] mbox.gz Atom feed top
2007-02-21 16:16 real_time.clock is not monotonic frederic.ormancey
2007-02-21 19:46 ` Georg Bauhaus
2007-02-21 20:33 ` Michael Bode
2007-02-21 20:17 ` Simon Wright
2007-02-22 9:50 ` Duncan Sands
2007-02-22 10:34 ` Simon Wright
2007-02-22 10:53 ` Duncan Sands
2007-02-22 20:48 ` Simon Wright
2007-02-26 8:50 ` Florian Weimer
2007-02-26 20:59 ` Simon Wright
2007-02-22 2:05 ` Adam Beneschan
2007-02-22 2:34 ` Randy Brukardt
2007-02-22 3:19 ` Adam Beneschan [this message]
2007-02-22 11:04 ` [OT] Broken threading (was RE: real_time.clock is not monotonic) Alex R. Mosteo
2007-02-22 11:39 ` Georg Bauhaus
2007-02-22 14:52 ` Alex R. Mosteo
2007-02-23 0:43 ` Randy Brukardt
2007-02-23 10:11 ` Alex R. Mosteo
2007-02-25 0:39 ` [OT] Broken threading Björn Persson
2007-02-26 8:50 ` Alex R. Mosteo
2007-02-27 0:13 ` 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