search

rems-project / cerberus

Cerberus C semantics
https://www.cl.cam.ac.uk/~pes20/cerberus/
Other
49 stars 25 forks source link

[CN] Consider renaming `predicate` keyword #525

Open dc-mak opened 3 weeks ago

dc-mak commented 3 weeks ago 
          No keyword sounds even better.  But "traversal" in the interim is not bad.  Or maybe "extractor" or something like that?

_Originally posted by @bcpierce00 in https://github.com/rems-project/cn-tutorial/pull/79#discussion_r1727389994_

bcpierce00 commented 2 weeks ago

"resource" and "traversal" seem to be the leading contenders. I like "traversal" personally.