rvm-parser

Parsing RVM and MOP specifications using K framework

build

Install K (version 4)
kompile:
- for rvm: kompile —syntax-module RVM-SYNTAX path/to/project/src/rvm/rvm-syntax.k
- for mop: kompile —syntax-module MOP-SYNTAX path/to/project/src/mop/mop-syntax.k

run

kast:
- for rvm: kast -s RVM path/to/spec.rvm
- for mop: kast -s MOP path/to/spec.mop