Fabien_C

9 ms·

1.
by Fabien_C 6y ago
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.
2.
by Fabien_C 6y ago
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 to a website. This link can be to the repo, but i
3.
by Fabien_C 6y ago
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-aut
4.
by Fabien_C 6y ago
> 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 are covered by the Runtime Library Exception of GPL
5.
by Fabien_C 7y ago
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 for release build.
6.
by Fabien_C 8y ago
NVIDIA is starting to use Ada and SPARK for their autonomous vehicle products: https://blogs.nvidia.com/blog/2019/02/05/adacore-secure-auto...
7.
by Fabien_C 8y ago
And only for the Community release.
8.
by Fabien_C 8y ago
There's a little benchmark project here: https://github.com/frol/completely-unscientific-benchmarks The Ada implementation is the second fastest behind C++.
9.
by Fabien_C 8y ago
The installer over there should be everything you need: https://www.adacore.com/download
10.
by Fabien_C 8y ago
For those who want to try SPARK, we just launched an interactive learning website: https://learn.adacore.com
11.
by Fabien_C 9y ago
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 smartwatch: https:/&#x2
12.
Ada on the first RISC-V micro-controller(blog.adacore.com)
2 points by Fabien_C 9y ago|0 comments
13.
Make with Ada: DIY instant camera(blog.adacore.com)
1 points by Fabien_C 10y ago|0 comments
14.
Ada Driver Library for ARM Cortex-M/R, Part 2(community.arm.com)
28 points by Fabien_C 10y ago|0 comments
15.
Make with Ada Competition Entries So Far(makewithada.org)
2 points by Fabien_C 10y ago|0 comments
16.
Ada Driver Library for ARM Cortex-M/R – Part 1(community.arm.com)
1 points by Fabien_C 10y ago|0 comments
17.
'Make with Ada' Programming Competition (with cash prizes)(makewithada.org)
5 points by Fabien_C 10y ago|0 comments
18.
C library bindings: GCC plugins to the rescue(blog.adacore.com)
5 points by Fabien_C 10y ago|0 comments
19.
by Fabien_C 10y ago
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 size small enough, the acceleration will be very smooth. -
20.
by Fabien_C 10y ago
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 embedded controller.
21.
by Fabien_C 10y ago
Hey, I know you :) I used your web Gcode simulator a lot: https://nraynaud.github.io/webgcode/
22.
by Fabien_C 10y ago
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 on a bare-metal driver library for AR
23.
Make with Ada: ARM Cortex-M CNC controller(blog.adacore.com)
63 points by Fabien_C 10y ago|13 comments
24.
11 Myths About Ada(electronicdesign.com)
2 points by Fabien_C 11y ago|0 comments