machine-check-avr 0.7.1

System crate for machine-check for verification of AVR microcontrollers
Documentation 
1

mod programs_2025_04;