Olav Bunte
Results
2
issues of
Olav Bunte
This issue describes features, enhancements and bugs that are planned to be addressed in the (near) future for mcrl2ide. Feel free to add anything yourself by leaving a comment. **FEATURES**...
enhancement
When contacting the developer of dparser concerning issue #1665, he did not only fix and improve dparser to fix this issue, but he also gave some advice on how he...
enhancement
long term