search

AdaCore / RecordFlux

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Apache License 2.0
107 stars 7 forks source link

Add 'api' subtype for Ada code blocks #1245

Closed senier closed 2 years ago

senier commented 2 years ago

Fixes #1240

I decided to add an api subtype to Ada code blocks, as this seems to be the main unsupported use case in the manual.

With the api subtype, code is only syntax checked (-gnats), but style checks are also enforced (gnaty + gnatwe).