The library is already working for small projects. One example is Paracooba. This also includes an example definition file.
- Refine saving traces to be thread-local and done in-memory.
- Better causal-link-recovery using possibly a SMT solver
- Improved analysis possibilities
- Automatic network syncing