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.
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.