search

goblint / cil

C Intermediate Language
https://goblint.github.io/cil/
Other
40 stars 16 forks source link

Add "Goblint" to Generated by comments #141

Closed sim642 closed 1 year ago

sim642 commented 1 year ago

A small addition I wanted a while ago. This makes it clearer which files are produced by our fork instead of checking the version number and whether the original CIL (or any other fork of it, e.g. in Klever) doesn't coincidentally have (or ever get) the same version number.

michael-schwarz commented 1 year ago

I would go with goblint-CIL to be consistent with what we have in the README. Other than that, looks good!

sim642 commented 1 year ago

Sure, I added the dashes now. I also capitalized Goblint-CIL where it wasn't, because Goblint itself normally is.