Loop invariant update - Githubissues

FreeRTOS / FreeRTOS-Cellular-Interface

FreeRTOS Cellular Interface implementation of the 3GPP TS v27.007 standard.

MIT License

85 stars 59 forks source link

Closed markrtuttle closed 2 years ago

markrtuttle commented 2 years ago

Advance litani and template submodules to current release for CBMC proofs.