2 ms·

So I guess I'm not clear about this -- have they implemented a fresh new compiler that runs on the GNAT toolchain? Or is this a stable/certified fork of the exi

So I guess I'm not clear about this -- have they implemented a fresh new compiler that runs on the GNAT toolchain? Or is this a stable/certified fork of the existing Rust LLVM-based toolchain with a GNAT branding overtop of it? Or something inbetween? What about associated tools like Cargo? Rustanalyzer, Rustfmt, etc.? What version of Rust do they currently target? What about 3rd party crates support etc? FWIW I work professionally in a space which is likely one of their target markets (autonomous/precision agriculture) on a system in Rust (and C++). I skimmed through the pages but didn't find a technical explanation of what they're offering.

jiehong 3y ago
> GNAT Pro for Rust is currently in early-access for select customers and provides a compiler (rustc), a build and package manager (cargo), and a debugger (gdb) for x86_64 Linux and Linux cross targets.
- filiphorvat 3y ago
  So are they basically packaging a toolchain and selling support for it like RHEL or what? Because I doubt they managed to create a full rust spec.
  - cmrdporcupine 3y ago
    It just seems crazy to put the GNAT label on it... when it isn't GNAT. Unless they're doing something clever like taking LLVM IR and translating and putting it through the GNAT backend or something?
simon_void 3y ago
So I'm pretty sure they're doing something similar to Ferrous systems, since they worked together with them until very recently, Qualifying Rust without forking: https://ferrous-systems.com/blog/qualifying-rust-without-forking/ https://ferrous-systems.com/blog/qualifying-rust-without-for...
dgacmu 3y ago
I'm in a related area and I'd be pretty surprised if this is directly relevant -- are you doing ISO-9001 certification? Right now, they're just offering rust, but with the ability to use it in a certified environment. In the future they plan to offer Ada+rust interop.

jiehong 3y ago

> GNAT Pro for Rust is currently in early-access for select customers and provides a compiler (rustc), a build and package manager (cargo), and a debugger (gdb) for x86_64 Linux and Linux cross targets.

filiphorvat 3y ago
So are they basically packaging a toolchain and selling support for it like RHEL or what? Because I doubt they managed to create a full rust spec.
- cmrdporcupine 3y ago
  It just seems crazy to put the GNAT label on it... when it isn't GNAT. Unless they're doing something clever like taking LLVM IR and translating and putting it through the GNAT backend or something?

simon_void 3y ago

So I'm pretty sure they're doing something similar to Ferrous systems, since they worked together with them until very recently, Qualifying Rust without forking: https://ferrous-systems.com/blog/qualifying-rust-without-forking/ https://ferrous-systems.com/blog/qualifying-rust-without-for...

dgacmu 3y ago

I'm in a related area and I'd be pretty surprised if this is directly relevant -- are you doing ISO-9001 certification? Right now, they're just offering rust, but with the ability to use it in a certified environment. In the future they plan to offer Ada+rust interop.