comp.lang.ada
 help / color / mirror / Atom feed
* My new post on dev.to about SPARK
@ 2020-07-09 14:16 mockturtle
  2020-07-09 15:21 ` Fabien Chouteau
                   ` (6 more replies)
  0 siblings, 7 replies; 14+ messages in thread
From: mockturtle @ 2020-07-09 14:16 UTC (permalink / raw)


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 

^ permalink raw reply	[flat|nested] 14+ messages in thread

end of thread, other threads:[~2020-09-12  4:30 UTC | newest]

Thread overview: 14+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
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
2020-09-03 10:32 ` c+
2020-09-12  4:30 ` sumde121

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox