From: "Nasser M. Abbasi" <nma@12000.org>
Subject: Re: My new post on dev.to about SPARK
Date: Fri, 10 Jul 2020 04:16:44 -0500 [thread overview]
Message-ID: <re9blp$1k20$1@gioia.aioe.org> (raw)
In-Reply-To: 8e5d14a5-0311-4005-9655-951e8a274929o@googlegroups.com
On 7/9/2020 9:16 AM, 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
>
Please change code formating so that background is not black. Hard to
read on the eyes.
"Pure black text on white backgrounds can cause eye strain when
users read the text over an extended period. White has 100% color
brightness, and black has 0% color brightness. Such a disparity in
color brightness creates intense light levels that overstimulate
the eyes when reading text"
next prev parent reply other threads:[~2020-07-10 9:16 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-07-09 14:16 My new post on dev.to about SPARK mockturtle
2020-07-09 15:21 ` Fabien Chouteau
2020-07-09 15:27 ` Fabien Chouteau
2020-07-09 16:35 ` Jeffrey R. Carter
2020-07-09 20:00 ` Simon Wright
2020-07-10 4:17 ` J-P. Rosen
2020-07-10 6:04 ` Paul Rubin
2020-07-10 7:47 ` J-P. Rosen
2020-07-10 7:42 ` Stéphane Rivière
2020-07-10 9:16 ` Nasser M. Abbasi [this message]
2020-07-10 9:20 ` Nasser M. Abbasi
2020-07-23 10:17 ` mockturtle
2020-09-03 10:32 ` c+
2020-09-12 4:30 ` sumde121
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox