2 ms·
There's a GPL version of GNATprove, which you can install with Alire (https://alire.ada.dev https://alire.ada.dev). That's the version I use.
by ajxs 2y ago
There's a GPL version of GNATprove, which you can install with Alire (https://alire.ada.dev https://alire.ada.dev). That's the version I use.