3 ms·
(I have no horse in this race, just curious.) Are there any non-proprietary implementations of Ada/SPARK which don't place limitations on the compiler output?
by Quekid5 5y ago
(I have no horse in this race, just curious.)
Are there any non-proprietary implementations of Ada/SPARK which don't place limitations on the compiler output?
- MaxBarraclough 5y agoApparently [0][1] the FSF distribution of GNAT permits development of non-GPL software. [0] https://news.ycombinator.com/item?id=24492653 https://news.ycombinator.com/item?id=24492653 [1] https://old.reddit.com/r/ada/comments/3989f4/gnat_gpl_restrictions/ https://old.reddit.com/r/ada/comments/3989f4/gnat_gpl_restri...
- Quekid5 5y agoI was asking the opposite question, I think. I know of GNAT, but I was asking whether there's any Ada/Spark that has a GPL (or whatever non-proprietary) license.