Not working much on holiday. I was using Math-o-mir to analyze a simple AVR microcontroller programmer. Found many bugs, of course :).

Advertisements