damaki / libkeccak

SHA-3 and other Keccak related algorithms in SPARK/Ada.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Support for GNATStack analysis please

rod-chapman opened this issue · comments

Could we add
-fcallgraph-info=su,da
-fstack-usage

to the standard compiler options to enable GNATStack analysis please?

This is resolved by #30. Many thanks for the contribution!