←back to thread

Open-Source Ada: From Gateware to Application

(blog.adacore.com)
60 points Bogdanp | 7 comments | 01 Nov 25 15:21 UTC | HN request time: 0.686s | source | bottom
Show context
no_wizard ◴[01 Nov 25 19:33 UTC] No.45784599[source]▶
This is specifically for hardware. Looks really cool!

I’ve always been confused about Ada the language and its licensing though. I know this project is open source but is the language as well? It’s unclear to me, though I may be missing information

replies(4): >>45784727 #>>45784833 #>>45784878 #>>45787306 #
1. tremon ◴[01 Nov 25 19:59 UTC] No.45784833[source]▶
What do you mean with "is the language open source"? The Ada specification is public [0] but not open source -- but the C and C++ specifications are not open source either, in the normal sense of the term. And like with C and C++, there are both open source and proprietary compilers for Ada, see e.g. [1]

What's mostly not open source (FAFAIK) is SPARK, the formal verification framework for Ada.

[0] https://www.adaic.org/ada-resources/standards/ada22/

[1] https://github.com/ohenley/awesome-ada#compilers

replies(2): >>45784914 #>>45785806 #
2. i-con ◴[01 Nov 25 20:10 UTC] No.45784914[source]▶
SPARK tools are also open source. The main tool `gnatprove` is based on GCC as well. https://github.com/AdaCore/spark2014

It's not a community project, AFAICT. Few people know how to build it from source.

replies(1): >>45784940 #
3. tremon ◴[01 Nov 25 20:13 UTC] No.45784940[source]▶
That links gives me a 404. Does it require membership of some organization before you're allowed to view it?

edit: did you mean https://github.com/AdaCore/spark2014 ?

replies(1): >>45784964 #
4. i-con ◴[01 Nov 25 20:19 UTC] No.45784964{3}[source]▶
Sorry, yes 2014. Fixed it.
5. RossBencina ◴[01 Nov 25 22:00 UTC] No.45785806[source]▶
The C++ (draft) standards are open source:

https://github.com/cplusplus/draft

Last time I looked I could not find an equivalent repository for the C standards.

replies(1): >>45785912 #
6. AlotOfReading ◴[01 Nov 25 22:13 UTC] No.45785912[source]▶
There isn't one. They publish completed drafts on the working group website:

https://www.open-std.org/jtc1/sc22/wg14/www/wg14_document_lo...

replies(1): >>45794918 #
7. RossBencina ◴[03 Nov 25 01:05 UTC] No.45794918{3}[source]▶
.pdf unfortunately. The C++ sources that I linked to are machine readable .tex.