From: Shark8 <onewingedshark@gmail.com>
Subject: Re: AdaCore's survey regarding the future of GNAT Community Edition
Date: Tue, 28 Jul 2020 14:34:57 -0700 (PDT) [thread overview]
Message-ID: <7eb81f02-b843-4da9-89d2-951cf56e8362o@googlegroups.com> (raw)
In-Reply-To: <lyh7trehb6.fsf@pushface.org>
Sure, once you have the infrastructure porting new architecture [via Forth] is a matter of writing the "about thirty" words in machine code. The technique is from seedforth, as illustrated in the FOSDEM video: https://fosdem.org/2020/schedule/event/forth_new_synthesis/
If you did it with a SPARK verified Ada compiler, with the goal of passing the FAA certifications, you also get that level of assurance "for free" allowing you to only have to build a SPARK verified native-generation backend for getting a new FAA capable/certified compiler -- and considering there's literally a sector of the industry there that makes their money off providing virtual-machines of older hardware so that they don't have to re-certify the compiler, there's certainly incentive here.
next prev parent reply other threads:[~2020-07-28 21:34 UTC|newest]
Thread overview: 41+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-07-24 21:42 AdaCore's survey regarding the future of GNAT Community Edition Wesley Pan
2020-07-25 2:17 ` Stephen Leake
2020-07-25 10:35 ` Stéphane Rivière
2020-07-27 8:36 ` Fabien Chouteau
2020-07-25 10:35 ` Stéphane Rivière
2020-07-27 8:07 ` DrPi
2020-07-27 8:38 ` Fabien Chouteau
2020-07-28 13:06 ` DrPi
2020-07-28 14:38 ` Shark8
2020-07-28 16:27 ` Simon Wright
2020-07-28 21:34 ` Shark8 [this message]
2020-07-29 9:44 ` foo wong
2020-07-29 16:44 ` Simon Wright
2020-07-29 20:59 ` foo wong
2020-08-01 5:32 ` ldries46
2020-08-02 23:43 ` Stephen Leake
2020-08-15 16:38 ` Kevin K
2020-08-16 2:24 ` Roger Mc
2020-08-16 10:08 ` Simon Wright
2020-08-16 12:08 ` Stephen Leake
2020-08-16 12:54 ` Roger Mc
2020-08-19 14:29 ` Simon Wright
2020-08-19 18:09 ` Andreas ZEURCHER
2020-08-19 19:11 ` Dmitry A. Kazakov
2020-08-19 20:21 ` Luke A. Guest
2020-08-20 5:48 ` Roger Mc
2020-08-20 6:43 ` Stéphane Rivière
2020-08-31 14:54 ` Vincent DIEMUNSCH
2020-09-01 18:22 ` Stephen Leake
2020-09-01 18:59 ` Dmitry A. Kazakov
2020-08-19 20:17 ` Simon Wright
2020-08-19 20:19 ` Luke A. Guest
2020-08-19 20:50 ` Simon Wright
2020-08-19 21:35 ` Luke A. Guest
2020-08-20 5:53 ` Roger Mc
2020-08-20 6:12 ` st...@cunningsystems.com
2020-08-20 9:04 ` Simon Wright
2020-08-20 5:42 ` Roger Mc
2020-08-20 6:01 ` Roger Mc
2020-08-16 2:42 ` Luke A. Guest
2020-08-17 8:51 ` Stéphane Rivière
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox