rucc-safety 0.5.1

The memory safety monitor: check insertion over the IR.
Documentation