From: Optikos <ZUERCHER_Andreas@outlook.com>
Subject: Re: Ada on Apple's new procesors
Date: Wed, 24 Jun 2020 11:55:31 -0700 (PDT) [thread overview]
Message-ID: <8ba473c8-edee-4b35-af90-78f38c6027e0o@googlegroups.com> (raw)
In-Reply-To: <5eda7cff-7fb6-4519-995c-269e62ecbacfo@googlegroups.com>
On Wednesday, June 24, 2020 at 1:18:58 PM UTC-5, Stephen Leake wrote:
> On Wednesday, June 24, 2020 at 10:59:24 AM UTC-7, Luke A. Guest wrote:
> > On 24/06/2020 17:35, Simon Wright wrote:
> >
> > > As a side note, the README.md in gnat-llvm says "This is a
> > > work-in-progress research project that’s not meant for and shouldn’t be
> > > used for industrial purposes. It’s meant to show the feasibility of
> > > generating LLVM bitcode for Ada and to open the LLVM ecosystem to Ada,
> > > including tools such as KLEE."
> > >
> >
> > Then for Apple stuff, we're all screwed :D
>
> Until someone pays AdaCore to fully support LLVM. This stuff doesn't happen for free!
But if someone pays AdaCore to fully support LLVM, why would AdaCore merge LLVM stuff into FSF? Although RMS is less connected nowadays due to a political-correctness gaffe or two, a shotgun marriage of FSF and LLVM through the Ada backdoor would most certainly ruffle a few feathers at FSF, I would think.
next prev parent reply other threads:[~2020-06-24 18:55 UTC|newest]
Thread overview: 71+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-06-22 22:53 Ada on Apple's new procesors Jerry
2020-06-23 10:42 ` Vadim Godunko
2020-06-23 10:43 ` Luke A. Guest
2020-06-23 16:16 ` Optikos
2020-06-23 17:52 ` Luke A. Guest
2020-06-23 20:25 ` Optikos
2020-06-23 23:07 ` Luke A. Guest
2020-06-24 1:02 ` Optikos
2020-06-24 10:48 ` Luke A. Guest
2020-06-24 15:12 ` Optikos
2020-06-24 15:38 ` Luke A. Guest
2020-06-24 16:35 ` Simon Wright
2020-06-24 17:58 ` Luke A. Guest
2020-06-24 18:18 ` Stephen Leake
2020-06-24 18:30 ` Luke A. Guest
2020-06-24 18:37 ` Wesley Pan
2020-06-24 18:55 ` Optikos [this message]
2020-06-24 19:58 ` Luke A. Guest
2020-06-24 19:06 ` Optikos
2020-06-24 19:26 ` Simon Wright
2020-06-24 20:03 ` Luke A. Guest
2020-06-25 10:25 ` Simon Wright
2020-06-25 10:49 ` Luke A. Guest
2020-06-25 11:08 ` Simon Wright
2020-06-24 20:02 ` Luke A. Guest
2020-06-25 7:21 ` charlet
2020-06-25 9:55 ` Luke A. Guest
2020-06-25 10:14 ` charlet
2020-06-25 11:03 ` Simon Wright
2020-06-25 11:25 ` Luke A. Guest
2020-06-25 12:50 ` Luke A. Guest
2020-06-29 10:33 ` Luke A. Guest
2020-06-25 16:15 ` Optikos
2020-06-30 11:16 ` Fabien Chouteau
2020-06-30 12:28 ` Optikos
2020-06-30 13:28 ` Luke A. Guest
2020-06-30 13:26 ` Luke A. Guest
2020-06-30 14:35 ` charlet
2020-06-30 14:46 ` Luke A. Guest
2020-06-30 14:59 ` charlet
2020-06-30 15:15 ` Luke A. Guest
2020-06-30 19:12 ` Optikos
2020-06-30 20:15 ` Simon Wright
2020-06-30 20:20 ` Dennis Lee Bieber
2020-06-30 20:20 ` Luke A. Guest
2020-06-30 22:07 ` Wesley Pan
2020-06-30 23:25 ` Luke A. Guest
2020-07-01 4:46 ` Optikos
2020-07-01 9:23 ` Fabien Chouteau
2020-07-01 11:03 ` Simon Wright
2020-07-01 12:55 ` Optikos
2020-07-03 0:51 ` Wesley Pan
2020-07-03 11:08 ` gautier_niouzes
2020-06-30 20:01 ` Simon Wright
2020-06-30 20:23 ` Luke A. Guest
2020-06-30 21:57 ` Simon Wright
2020-06-30 23:27 ` Luke A. Guest
2020-07-01 11:47 ` Simon Wright
2020-07-02 9:54 ` Simon Wright
2020-07-02 19:56 ` Optikos
2020-07-03 17:18 ` antispam
2020-07-03 18:31 ` Optikos
2020-06-24 19:18 ` Simon Wright
2020-06-24 20:06 ` Luke A. Guest
2020-06-24 20:09 ` Luke A. Guest
2020-06-25 0:33 ` Optikos
2021-02-09 4:51 ` Jerry
2021-02-09 7:07 ` Luke A. Guest
2021-02-09 12:24 ` Simon Wright
2021-02-09 18:21 ` Brian Drummond
2021-02-12 19:14 ` Andreas ZEURCHER
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox