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=0.0 required=3.0 tests=BAYES_20,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.5-pre1
X-Received: by 2002:a37:bf03:: with SMTP id p3mr2387431qkf.94.1599129137500;
        Thu, 03 Sep 2020 03:32:17 -0700 (PDT)
X-Received: by 2002:a0c:d803:: with SMTP id h3mr1169088qvj.0.1599129137383;
 Thu, 03 Sep 2020 03:32:17 -0700 (PDT)
Path: eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!news.gegeweb.eu!gegeweb.org!usenet-fr.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: Thu, 3 Sep 2020 03:32:17 -0700 (PDT)
In-Reply-To: <8e5d14a5-0311-4005-9655-951e8a274929o@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: google-groups.googlegroups.com; posting-host=2001:67c:2628:647:a:0:0:179;
 posting-account=SlBMPAoAAACF-curIg-tGtkPCxnpNsBn
NNTP-Posting-Host: 2001:67c:2628:647:a:0:0:179
References: <8e5d14a5-0311-4005-9655-951e8a274929o@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <e6bca483-5aa7-42ff-ba3b-ebd8cdb41dc1o@googlegroups.com>
Subject: Re: My new post on dev.to about SPARK
From: "c+" <riyadora121@gmail.com>
Injection-Date: Thu, 03 Sep 2020 10:32:17 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: reader01.eternal-september.org comp.lang.ada:60055
List-Id: <comp.lang.ada>

On Thursday, 9 July 2020 19:46:22 UTC+5:30, mockturtle  wrote:
> Dear.all,
> first a bit of disclaimer: this is about a recent post of mine on dev.to
> I post this here since I think that maybe someone in this group could be interested.
> 
> Recently I wrote a small binary search procedure for a software of mine.  Since I always wanted to start using SPARK, I thought that this could be a nice small problem to start playing around with SPARK.  The post on dev.to is about my experience. 
> 
> If you are curious
> 
> https://dev.to/pinotattari/proving-the-correctness-of-a-binary-search-procedure-with-spark-ada-34id
> 
> Riccardo