undefined | Better HN

0 pointsi-con4mo ago0 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.

0 comments

tremon4mo ago

That links gives me a 404. Does it require membership of some organization before you're allowed to view it?

i-conOP4mo ago

Sorry, yes 2014. Fixed it.

j / k navigate · click thread line to collapse

0 pointsi-con4mo ago0 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.

tremon4mo ago

That links gives me a 404. Does it require membership of some organization before you're allowed to view it?

i-conOP4mo ago

Sorry, yes 2014. Fixed it.

j / k navigate · click thread line to collapse