Skip to content

CrabIRSem

Jump to bottom
caballa edited this page Mar 16, 2022 · 2 revisions

These slides describe the concrete semantics for the CrabIR statements that manipulate memory regions.

Clone this wiki locally