I spent virtually this entire weekend horizontally in bed, but at least today I managed to write quite a bit of introductory documentation for the Thread Checker. The description of @Combine-style annotations and invariant inheritance is still missing, though, as is a description of how to invoke the bytecode rewriting process for offline instrumentation or the custom class loader for on-the-fly instrumentation.
Most of today was spent grading the 311 exams, though. With one man short, it took us from about 1:30 PM to 8:30 PM. I also hand-graded my share of the assignment 6 submissions, which means the only major task left as part of my TA requirement is hand-grade a few assignment 7 submissions, and then I’m done. Unless I am forced to pick up someone else’s slack…
