|
|
|
|
|
|
by debugnik
533 days ago
|
|
|
> As far as I'm aware, the compiler AdaCore sells is just GCC. The compiler yes, but I'm convinced FOSS gnatprove must be outdated in some way: Last time I tried following AdaCore's SPARK manuals, certain basic aspects and pragmas didn't work correctly on the latest version. Not to mention when SPARK aspects sometimes broke the LSP and formatter. |
|
|