A slow day

The plan from yesterday was to continue with the liveness analysis. I did get a start on the gen function which is needed for the liveness analysis. It's mostly done, although there are some todos and questions:

I didn't get to do my end-of-week review today. I'll try to write something over the weekend, possibly updating this post.