pseuCo-Promela-CompilerThis is a compiler from pseuCo to Promela, the modelling language of Spin.15 dependencies2 versions@types/lodash@types/tmp@types/yargs@typescript-eslint/eslint-plugin@typescript-eslint/parsergulpgulp-eslintgulp-mochagulp-sourcemapsgulp-typescriptshouldsource-map-supporttmptypescriptyargs1.1.02 years ago1.0.03 years ago