Matters related to ACSL specifications and/or the use of Frama-C.
Issues that relate to the assurance of the system, whether via models, code, informal, or formal.
This issue is blocked on some other task, issue, merge request, or person.
Issues that relate to our build system, both on development systems as well as in continuous integra
Issues that relate to our continuous integration/development/verification infrastructure.
A label used to indicate that a merge request is ready for formal review for merge.
Issues related to our Cryptol specifications, or use thereof.
Issues that relate to documentation about the system, including user and developer docs, source code
Issues related to our Lando or Lobot specifications.
Quality assurance issue; validation, testing, and formal assurance.
Issues that are not required by our current contract, but we'd like to attend to someday.
Issues that relate to source code implementation.
Issues that relate to system specifications, whether of models, code, protocols, or otherwise.
Issues related to our SysML specifications, or use thereof.