Add support for RML language #1659
Conversation
Add dataExp_with state, fixed rule for '>' symbol
Fixed dataExp_with state and indentation warnings from rake tests
|
Hello @tancnle. Are there any updates on this? Thank you for your work |
|
Thanks for the ping @pie-catt. I will have a look at it this week. Thank you for your patience. Really appreciated 🙇🏼 |
There was a problem hiding this comment.
Thank you for your contribution @pie-catt ❤️ I have added some suggestions for your consideration. Could you also add an entry to the Languages.md doc? Please let me know what you think.
tancnle
added
the
author-action
Fixed code indentation, renamed variables names to snake-case, removed superfluous and closing comments. Added language entry in Languages.md file
|
Thank you so much for your support @tancnle 🙏🏼. I updated my pull request with your suggestions. I fixed code indentation, renamed variables names to snake-case, removed superfluous and closing comments. I also added RML language entry in Languages.md file. Thank you for your work |
|
Thank you for considering the suggestions @pie-catt 🙇🏼 LGTM. Let's launch this into orbit 🚀 |
Add support for RML language.
https://rmlatdibris.github.io/
RML is a rewriting-based and system agnostic Domain Specific Language for Runtime Verification which decouples monitoring from instrumentation by allowing users to write specifications and to synthesize monitors from them, independently of the System Under Scrutiny (SUS) and its instrumentation.
RML has been developed and is currently maintained by DIBRIS - University of Genoa