Code

MCS: cherry-pick CLib rules#682

Code

Merged

corlewis merged 4 commits intoseL4:rtseL4/l4v:rtfrom corlewis:rtcorlewis/l4v:rtCopy head branch name to clipboardOct 17, 2023

+283-155

Commits

Commits on Oct 17, 2023

• clib: improve ccorres_call_getter_setter

  Show description for e0c58e9
  

  michaelmcinerney

  authored and

  corlewis

  committed
  e0c58e9

• clib: add some rules for hoarep

  Show description for 27687bf
  

  michaelmcinerney

  authored and

  corlewis

  committed
  27687bf

• clib+crefine: improve and consolidate variants of ccorres_to_vcg

  Show description for cb22921
  

  michaelmcinerney

  authored and

  corlewis

  committed
  cb22921

• clib: improve ccorres_While

  Show description for b3917f1
  

  michaelmcinerney

  authored and

  corlewis

  committed
  b3917f1