-
- Use the same field "actions" for parsed and typed transitions - Rename confusing types in Promelaast - Reorganized Promelaoutput to mirror the naming convention
7fcc03cc
- Use the same field "actions" for parsed and typed transitions - Rename confusing types in Promelaast - Reorganized Promelaoutput to mirror the naming convention