machine-check-avr 0.4.0

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