RTIC on the f4xx nucleo
Low level bindings for KLEE.
Course material for the 2020 installment.
Examples for KLEE usage.
KLEE panic handler, binds to LLVM abort.
Simple example of a procedural macro
Erode, all errors of Rust!