From: Bill Findlay <findlaybill@blueyonder.co.uk>
Subject: Re: Status of AdaControl
Date: Mon, 10 May 2021 00:13:24 +0100 [thread overview]
Message-ID: <0001HW.2648A414003ADC4D70000A31138F@news.individual.net> (raw)
In-Reply-To: f249a5c4-2017-4919-b872-77e86718809fn@googlegroups.com
On 9 May 2021, Gautier write-only address wrote
(in article<f249a5c4-2017-4919-b872-77e86718809fn@googlegroups.com>):
> In the following blog post, you can find installation notes for using GNAT CE
> 2019 - just for the purpose of running AdaControl free edition!
> https://gautiersblog.blogspot.com/2021/04/cleaning-up-hac-sources-with-adacont
> rol.html
> A bit tedious, but doable. Hopefully the community will see again in the
> future, from time to time, updated snapshots with GNAT, ASIS and AdaControl
> "synchronized"...
>
> The post also shows a demonstration of AdaControl "in action". Amazing tool!
It says: "In Pascal, you never know which dialect or implementation will
check that a loop"for i:= a to b do..." will actually be skipped if a > b."
This is false.
If the body of the loop is executed when a>b then the language
of the "dialect or implementation" is quite simply not Pascal.
--
Bill Findlay
next prev parent reply other threads:[~2021-05-09 23:13 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-03-26 17:14 Status of AdaControl J-P. Rosen
2021-03-26 21:13 ` Simon Wright
2022-03-24 19:05 ` Thomas
2022-03-24 20:36 ` Simon Wright
2021-03-26 21:25 ` Niklas Holsti
2021-05-09 20:41 ` Gautier write-only address
2021-05-09 23:13 ` Bill Findlay [this message]
2021-05-10 4:34 ` Gautier write-only address
2021-05-10 7:44 ` Jeffrey R. Carter
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox