The debugger for mbeddr is making good progress. We can essentially debug all of C, and we have proof-of-concepts for debugging state machines and components. The screenshot below (click to see full size) shows an example debug session for components.
MPS comes with a framework for building debuggers. However, this is relatively low-level and we have added a set of abstractions on top of it. This includes simple ways of defining the debugging behavior for custom language concepts. We are still in the process of cleaning up the API, but we are very happy with the progress.
The debugger is already part of the open sourced code, but we still haven’t described in the documentation how to set up MPS so that the debugger works — we need some additional libraries. We hope to do this in the next month. Stay tuned 🙂