From: "Anonyme !" <00120260a@gmail.com>
Subject: Re: Genode OS Framework 19.05 goes SPARK
Date: Tue, 18 Jun 2019 03:09:44 -0700 (PDT)
Date: 2019-06-18T03:09:44-07:00 [thread overview]
Message-ID: <c24e1da0-def8-4198-8883-fcec4de72725@googlegroups.com> (raw)
In-Reply-To: <ddc80169-7473-487e-aeaf-b0e9c8da8017@googlegroups.com>
I don't understand why they put c++ on one end and SPARK on the other... Don't they know "normal" Ada includes quite enough "non-static" features ? Or is that compatibility with existing libraries the problem ? Not really said in that article.
next prev parent reply other threads:[~2019-06-18 10:09 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-06-17 10:43 Genode OS Framework 19.05 goes SPARK Kay-Uwe Genz
2019-06-18 10:09 ` Anonyme ! [this message]
2019-06-19 14:30 ` Kay-Uwe Genz
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox