Define a parser for the mCRL2 syntax using Pest

mlaveaux / mCRL2-rust

A rust wrapper for the library functionality of the mCRL2 toolset

https://mlaveaux.github.io/mCRL2-rust/

Boost Software License 1.0

0 stars 0 forks source link

Define a parser for the mCRL2 syntax using Pest #5

Open mlaveaux opened 4 months ago

mlaveaux commented 4 months ago

This is an experiment to see if a PEG based parser is sufficiently powerful, together with Pratt parsing for the associativity and priority of operators, to parse the mCRL2 syntax.

TODO:

[x] Parse modal formulas
[ ] Parse regular expressions with a+b and a+ +b
[ ] Parse PBES/PRES
[x] Parse action rename
[ ] Add operator precedence
[ ] Benchmark vs dparser