Viewing profile — Fabien_C

Another options would be to only have the TOML files and generate gprbuild file on the fly. I think that is something we will consider.

Thanks for your feedback :) - there doesn't seem to be a way to browse the source of the projects. That's true, so far the contributors for crates have the option to provide a link…

They are starting to: https://www.adacore.com/press/adacore-enhances-security-crit... https://www.adacore.com/press/iso-26262 https://www.adacore.com/press/jtekt-spark-pro-automoti…

> Various fairly essential libraries maintained by AdaCore are under GPL, so you could not use them for non-GPL software that is distributed. That's not true, the AdaCore libraries…

I don't see the point with "zero-cost abstractions", overflow check is not an abstraction. And of course the run-time checks can also be disabled for Ada of course, and usually are…

NVIDIA is starting to use Ada and SPARK for their autonomous vehicle products: https://blogs.nvidia.com/blog/2019/02/05/adacore-secure-auto...

And only for the Community release.

There's a little benchmark project here: https://github.com/frol/completely-unscientific-benchmarks The Ada implementation is the second fastest behind C++.

The installer over there should be everything you need: https://www.adacore.com/download

For those who want to try SPARK, we just launched an interactive learning website: https://learn.adacore.com

Ada has built-in C/C++ interfacing: https://gcc.gnu.org/onlinedocs/gnat_ugn/Interfacing-to-C.htm... For instanced I used it here to write Ada programs for the C API of the Pebble s…

Thanks for your comment. - The software architecture is inspired by GRBL. The split of motion blocks into segments is more manageable for the software, and if you choose a segments…

Author is aware that there are many Gcode simulators.The specificity of this one, thanks to Ada portability, is that the simulator code is 100% the same as the code running in the …

Hey, I know you :) I used your web Gcode simulator a lot: https://nraynaud.github.io/webgcode/

When was this? The tools working for me (either Linux or Windows). In fact we released a new version today: http://libre.adacore.com/download/configurations And we are also working…