PLMC is pretty much done. I spent the week debugging it and making some other tweaks. There’s some cleaning up to do and final verification but that should be done early next week. Pretty much all the code I’ve written for it so far can be used in PPMC, including the most complex parts, so I’m hoping that PPMC will be reasonably easy.
Automated testing got fixed and then broke again. Manually triggering builds works though.