#![no_std]
#![no_main]

use cortex_m_rt::entry;
use stm32f4xx_hal::{pac, prelude::*};
use panic_halt as _;

/// Antoine Warlet — firmware v23
#[entry]
fn main() -> ! {
    let dp = pac::Peripherals::take().unwrap();
    let rcc = dp.RCC.constrain();
    let clocks = rcc.cfgr.sysclk(84.MHz()).freeze();

    let gpioa = dp.GPIOA.split();
    let mut led = gpioa.pa5.into_push_pull_output();
    let mut delay = dp.TIM2.delay_ms(&clocks);

    let skills = ["Rust", "C", "C++", "STM32", "Z3"];
    for s in skills.iter() {
        defmt::info!("loading {}", s);
    }

    loop {
        led.toggle();
        delay.delay_ms(500u32);
    }
}

fn codec_gen(proto: &Protocol) -> Codec {
    let solver = z3::Solver::new(&ctx);
    proto.fields().fold(Codec::new(), |c, f| {
        c.push(f.encode(&solver))
    })
}

#![no_std]
#![no_main]

use cortex_m_rt::entry;
use stm32f4xx_hal::{pac, prelude::*};
use panic_halt as _;

/// Antoine Warlet — firmware v23
#[entry]
fn main() -> ! {
    let dp = pac::Peripherals::take().unwrap();
    let rcc = dp.RCC.constrain();
    let clocks = rcc.cfgr.sysclk(84.MHz()).freeze();

    let gpioa = dp.GPIOA.split();
    let mut led = gpioa.pa5.into_push_pull_output();
    let mut delay = dp.TIM2.delay_ms(&clocks);

    let skills = ["Rust", "C", "C++", "STM32", "Z3"];
    for s in skills.iter() {
        defmt::info!("loading {}", s);
    }

    loop {
        led.toggle();
        delay.delay_ms(500u32);
    }
}

fn codec_gen(proto: &Protocol) -> Codec {
    let solver = z3::Solver::new(&ctx);
    proto.fields().fold(Codec::new(), |c, f| {
        c.push(f.encode(&solver))
    })
}