Felipe R. Monteiro

icon indicating a website link https://feliperodri.github.io

icon company Amazon Web Services @aws icon location New York

Results 12 comments of Felipe R. Monteiro

Proof readme files are out of date

Related to https://github.com/model-checking/cbmc-starter-kit/issues/25

Suppress unhelpful warnings for better user experience

cc. @jimgrundy