From: mockturtle <framefritti@gmail.com>
Subject: Re: My new post on dev.to about SPARK
Date: Thu, 23 Jul 2020 03:17:10 -0700 (PDT) [thread overview]
Message-ID: <aa3aabc4-58ac-46ff-89a1-d2b155fb3489n@googlegroups.com> (raw)
In-Reply-To: <re9blp$1k20$1@gioia.aioe.org>
On Friday, July 10, 2020 at 11:16:48 AM UTC+2, Nasser M. Abbasi wrote:
> 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.
>
>
OK, I'll try, but I am afraid it is not possible. You see, the code is written in markdown between ```ada ... ``` and the rendering is done by dev.to. Maybe there is some hidden option somewhere to control this. I'll check.
next prev parent reply other threads:[~2020-07-23 10:17 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
2020-07-10 9:20 ` Nasser M. Abbasi
2020-07-23 10:17 ` mockturtle [this message]
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