From: stevenselectronicmail@gmail.com
Subject: Can I get some code review on some Ada SPARK 2014 code?
Date: Sat, 28 Jan 2017 16:18:54 -0800 (PST)
Date: 2017-01-28T16:18:54-08:00 [thread overview]
Message-ID: <4c37d9c4-73f0-4a22-8276-8174856cd42e@googlegroups.com> (raw)
In particular I'm still struggling to get a handle on Abstract_State specifications.
https://gitlab.com/linted/linted/blob/7cd64941f902f08095c1a9326d83004afbe2971b/src/ada-core/src/linted-io_pool.adb
next reply other threads:[~2017-01-29 0:18 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-01-29 0:18 stevenselectronicmail [this message]
2017-01-29 9:09 ` Can I get some code review on some Ada SPARK 2014 code? Jacob Sparre Andersen
2017-02-02 4:00 ` stevenselectronicmail
2017-02-02 11:52 ` G.B.
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox