Discover projects, groups and snippets. Share your projects with others
Experiment with procedural macros.
Hardware lab assignment for E7020E 2021
Examples for KLEE usage.
Course material for the 2020 installment.
Low level bindings for KLEE.
Experimental widget development for druid
KLEE panic handler, binds to LLVM abort.
Course material for E7020E Design of Embedded Systems at Luleå University of Technology 2021.
RTIC on the f4xx nucleo