search

rems-project / cerberus

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

[CN] Rename the `extract` statement to `focus` #499

Open cp526 opened 2 months ago

cp526 commented 2 months ago

as suggested by Benjamin ( https://github.com/rems-project/cn-tutorial/issues/51 ). The current name "extract" does not reflect the semantics of the CN statement very well.

dc-mak commented 2 months ago

Also related: #498, #471, #361, #357, #320, #311, #256

jprider63 commented 2 months ago

It sounds like this involves renaming "extract" to "focus" and adding a deprecation warning on "extract". Does that seem accurate @cp526? If so, maybe this is a good next issue for me to work on.

bcpierce00 commented 2 months ago

In the spirit of getting as much "naming tidying" done as possible while some of our attention is focused there, I'd say yes...

Message ID: @.***>

jprider63 commented 2 months ago

Sounds good. If @cp526 is on board, I can look at that after adding benchmarking to CI.

cp526 commented 2 months ago

Sounds good to me!