pseuCo-Promela-Compiler
This is a compiler from pseuCo to Promela, the modelling language of Spin.
@pseuco/pseuco-promela-compiler
1.1.0 • Public • Published Dependencies (15)
- @types/lodash
- @types/tmp
- @types/yargs
- @typescript-eslint/eslint-plugin
- @typescript-eslint/parser
- gulp
- gulp-eslint
- gulp-mocha
- gulp-sourcemaps
- gulp-typescript
- should
- source-map-support
- tmp
- typescript
- yargs
Dev Dependencies (2)
Package Sidebar
Install
npm i @pseuco/pseuco-promela-compiler
Weekly Downloads
3
Version
1.1.0
License
ISC
Unpacked Size
615 kB
Total Files
44