3 ms·

SPARK tools are also open source. The main tool `gnatprove` is based on GCC as well. https://github.com/AdaCore/spark2014 https://github.com/AdaCore/spark2014

by i-con 11mo ago

SPARK tools are also open source. The main tool `gnatprove` is based on GCC as well. https://github.com/AdaCore/spark2014 https://github.com/AdaCore/spark2014 It's not a community project, AFAICT. Few people know how to build it from source.

tremon 11mo ago
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 https://github.com/AdaCore/spark2014 ?
- i-con 11mo ago
  Sorry, yes 2014. Fixed it.