Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

An optimist believes we live in the best world possible; a pessimist fears this is true.

devel / comp.lang.ada / Re: Status of AdaControl

SubjectAuthor
* Re: Status of AdaControlGautier write-only address
`* Re: Status of AdaControlBill Findlay
 `* Re: Status of AdaControlGautier write-only address
  `- Re: Status of AdaControlJeffrey R. Carter

1
Re: Status of AdaControl

<f249a5c4-2017-4919-b872-77e86718809fn@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=5167&group=comp.lang.ada#5167

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:a37:63d2:: with SMTP id x201mr20268585qkb.202.1620592880307;
Sun, 09 May 2021 13:41:20 -0700 (PDT)
X-Received: by 2002:a25:c60e:: with SMTP id k14mr27879778ybf.462.1620592880143;
Sun, 09 May 2021 13:41:20 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Sun, 9 May 2021 13:41:19 -0700 (PDT)
In-Reply-To: <s3l4qi$aq$1@dont-email.me>
Injection-Info: google-groups.googlegroups.com; posting-host=2a02:1206:4564:bea0:759b:9543:c875:607;
posting-account=gRqrnQkAAAAC_02ynnhqGk1VRQlve6ZG
NNTP-Posting-Host: 2a02:1206:4564:bea0:759b:9543:c875:607
References: <s3l4qi$aq$1@dont-email.me>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <f249a5c4-2017-4919-b872-77e86718809fn@googlegroups.com>
Subject: Re: Status of AdaControl
From: gautier_...@hotmail.com (Gautier write-only address)
Injection-Date: Sun, 09 May 2021 20:41:20 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Gautier write-only a - Sun, 9 May 2021 20:41 UTC

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-adacontrol.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!

Re: Status of AdaControl

<0001HW.2648A414003ADC4D70000A31138F@news.individual.net>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=5168&group=comp.lang.ada#5168

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!news.swapon.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: findlayb...@blueyonder.co.uk (Bill Findlay)
Newsgroups: comp.lang.ada
Subject: Re: Status of AdaControl
Date: Mon, 10 May 2021 00:13:24 +0100
Organization: none
Lines: 23
Message-ID: <0001HW.2648A414003ADC4D70000A31138F@news.individual.net>
References: <s3l4qi$aq$1@dont-email.me> <f249a5c4-2017-4919-b872-77e86718809fn@googlegroups.com>
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
 by: Bill Findlay - Sun, 9 May 2021 23:13 UTC

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

Re: Status of AdaControl

<1206383a-6caa-4193-8409-697b020949c8n@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=5169&group=comp.lang.ada#5169

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:a05:620a:16ad:: with SMTP id s13mr20539344qkj.453.1620621278177;
Sun, 09 May 2021 21:34:38 -0700 (PDT)
X-Received: by 2002:a25:2fd6:: with SMTP id v205mr7841129ybv.92.1620621277999;
Sun, 09 May 2021 21:34:37 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Sun, 9 May 2021 21:34:37 -0700 (PDT)
In-Reply-To: <0001HW.2648A414003ADC4D70000A31138F@news.individual.net>
Injection-Info: google-groups.googlegroups.com; posting-host=2a02:1206:4564:bea0:d5ee:f22:b1fe:bd4a;
posting-account=gRqrnQkAAAAC_02ynnhqGk1VRQlve6ZG
NNTP-Posting-Host: 2a02:1206:4564:bea0:d5ee:f22:b1fe:bd4a
References: <s3l4qi$aq$1@dont-email.me> <f249a5c4-2017-4919-b872-77e86718809fn@googlegroups.com>
<0001HW.2648A414003ADC4D70000A31138F@news.individual.net>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <1206383a-6caa-4193-8409-697b020949c8n@googlegroups.com>
Subject: Re: Status of AdaControl
From: gautier_...@hotmail.com (Gautier write-only address)
Injection-Date: Mon, 10 May 2021 04:34:38 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Gautier write-only a - Mon, 10 May 2021 04:34 UTC

> If the body of the loop is executed when a>b then the language
> of the "dialect or implementation" is quite simply not Pascal.

Since it would be difficult for me to dig out each and every Pascal compiler I've used in order to check that point, I have removed the reference to Pascal.

Re: Status of AdaControl

<s7ao93$maf$1@dont-email.me>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=5170&group=comp.lang.ada#5170

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: spam.jrc...@spam.not.acm.org (Jeffrey R. Carter)
Newsgroups: comp.lang.ada
Subject: Re: Status of AdaControl
Date: Mon, 10 May 2021 09:44:35 +0200
Organization: Also freenews.netfront.net; news.tornevall.net;
news.eternal-september.org
Lines: 16
Message-ID: <s7ao93$maf$1@dont-email.me>
References: <s3l4qi$aq$1@dont-email.me>
<f249a5c4-2017-4919-b872-77e86718809fn@googlegroups.com>
<0001HW.2648A414003ADC4D70000A31138F@news.individual.net>
<1206383a-6caa-4193-8409-697b020949c8n@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 10 May 2021 07:44:35 -0000 (UTC)
Injection-Info: reader02.eternal-september.org; posting-host="6d77967f0596425132aa998f8ac45bee";
logging-data="22863"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+kAAKIzNFvQcWxMEQbQIKPGK5D7n1Xhnw="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101
Thunderbird/78.8.1
Cancel-Lock: sha1:BdbqgZkNBLMv6Ba98xcdq76vm3A=
In-Reply-To: <1206383a-6caa-4193-8409-697b020949c8n@googlegroups.com>
Content-Language: en-US
 by: Jeffrey R. Carter - Mon, 10 May 2021 07:44 UTC

On 5/10/21 6:34 AM, Gautier write-only address wrote:
>> If the body of the loop is executed when a>b then the language
>> of the "dialect or implementation" is quite simply not Pascal.
>
> Since it would be difficult for me to dig out each and every Pascal compiler I've used in order to check that point, I have removed the reference to Pascal.

/Pascal User Manual and Report/ (Jensen and Wirth) explicitly defines the for
statement as skipping the repeated statement if a > b (for "to"; a < b for
"downto").

--
Jeff Carter
"Insufficient laughter--that's grounds for divorce."
Play It Again, Sam
126

1
server_pubkey.txt

rocksolid light 0.9.8
clearnet tor