From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on ip-172-31-74-118.ec2.internal X-Spam-Level: ** X-Spam-Status: No, score=2.4 required=3.0 tests=BAYES_50,REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.5-pre1 Path: eternal-september.org!reader02.eternal-september.org!news.swapon.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail From: Bill Findlay Newsgroups: comp.lang.ada Subject: Re: Status of AdaControl Date: Mon, 10 May 2021 00:13:24 +0100 Organization: none Message-ID: <0001HW.2648A414003ADC4D70000A31138F@news.individual.net> References: Reply-To: findlaybill@blueyonder.co.uk Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: individual.net jZ/BKnLOcMYborcPcrA/gwcgI3PoM8CQ/AKhZ26CWqfif20XEA X-Orig-Path: not-for-mail Cancel-Lock: sha1:n9GSSolUzOAiCk5BQtBO0cY0ktI= User-Agent: Hogwasher/5.24 Xref: reader02.eternal-september.org comp.lang.ada:61969 List-Id: On 9 May 2021, Gautier write-only address wrote (in article): > 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