Skip to content
Snippets Groups Projects
Commit 27c6c689 authored by Per's avatar Per
Browse files

fix

parent eb590361
Branches
No related tags found
No related merge requests found
......@@ -9,15 +9,17 @@ Symbolic execution engine for MIR internal format
---
## LED Audio (taken)
Blink leds according to audio input
- Blink leds according to audio input
---
## Drivers for NXP (Axel)
---
## WCET analysis for RTFM models using KLEE (Henrik)
- Automated testebed, integrated as cargo sub-command
---
## USB-Hid (Johannes)
---
## ETM Tracing
- Develop an API for setting up ETM trace
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment