Code

Loop invariant update#181

Code

Merged

n9wxu merged 2 commits intoFreeRTOS:mainFreeRTOS/coreMQTT:mainfrom markrtuttle:loop-invariant-update1markrtuttle/coreMQTT:loop-invariant-update1Copy head branch name to clipboardDec 7, 2021

+2-2

Commits

Commits on Dec 1, 2021

• Advance litani submodule for CBMC proofs

  

  Mark R. Tuttle

  committed
  490fe57

• Advance templates submodule for CBMC proofs

  

  Mark R. Tuttle

  committed
  c839af1