Updates based on delivery notes#2

Open

hohn wants to merge 28 commits intonicolaswill:mainfrom

Commits on May 9, 2023

Commits on May 10, 2023

change to session-based workshop
hohn
committed

Commits on May 12, 2023

Commits on May 16, 2023

Commits on May 18, 2023

Added interim step 7a, detailing some predicate derivation
hohn
committed

Commits on May 19, 2023

Include size comparison in example7b, from 8
hohn
committed

Commits on May 20, 2023

Commits on May 22, 2023

Clarified the alloc and buffer access check intention
hohn
committed
step 8a: Find /some/ problematic accesses by reverting to simple var+const checks
hohn
committed