search

rems-project / cerberus

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

[CN] Support modulus `%` #424

Closed dc-mak closed 2 months ago

dc-mak commented 2 months ago

https://github.com/rems-project/cn-tutorial/issues/62 @MedranoApol is working on this. Putting here for project board tracking.

dc-mak commented 2 months ago

Duplicate of https://github.com/rems-project/cerberus/issues/231