kani icon indicating copy to clipboard operation
kani copied to clipboard
verified publisher icon model-checking

Consider moving our copyright etc checks to use repolinter

Open danielsn opened this issue 3 years ago • 0 comments

https://github.com/todogroup/repolinter/blob/main/docs/rules.md#file-contents

danielsn avatar Aug 03 '22 20:08 danielsn