Comment on Open-Source Ada: From Gateware to ApplicationparentComments−i-con10moSPARK tools are also open source. The main tool `gnatprove` is based on GCC as well. https://github.com/AdaCore/spark2014It's not a community project, AFAICT. Few people know how to build it from source.−tremon10moThat 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 ?−i-con10moSorry, yes 2014. Fixed it.
Comments
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.
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 ?
Sorry, yes 2014. Fixed it.