machine-check-avr 0.5.0

Crate for the formal verification of AVR microcontrollers by machine-check
Documentation