search

rems-project / cerberus

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

[CN] Add CI for executable spec #417

Closed dc-mak closed 4 weeks ago

dc-mak commented 1 month ago

Continuation of https://github.com/rems-project/cerberus/issues/343

dc-mak commented 1 month ago

@septract is working on this. These are related: https://github.com/rems-project/cerberus/pull/439 https://github.com/rems-project/cn-tutorial/commit/115464f217f81ea032144d49e96c3a991cd56861

septract commented 1 month ago

See draft PR here: #458

dc-mak commented 4 weeks ago

I reduced the scope of this so I can mark it closed, and moved the remaining tasks to #480.