Peasy ExtensionPeasy Extension provides compilation support, a custom theme, syntax highlighting, a testing framework, error tracing visualization Installation Launch VS Code Quick Open ( Ctrl+P), paste the following command, and press enter.Copied to clipboard |
Peasy: An Easy-to-Use Development Environment for PP is a state machine based programming language for formal modeling and analysis of distributed systems. Peasy is a step towards making application of P in practice easy-peasy 😃. Peasy is a VS Code language extension for the P language. Peasy supports syntax highlighting, compilation and error reporting, unit testing, state machine visualization, and error tracing visualization. Navigate to the Peasy webpage for in-depth description and demo videos of all these features of the Peasy extension. With ❤️ from the P Team @ Amazon Web Services (AWS). |