diff options
Diffstat (limited to 'formal/promela/src/src/modules/promela_yacc/README.md')
-rw-r--r-- | formal/promela/src/src/modules/promela_yacc/README.md | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/formal/promela/src/src/modules/promela_yacc/README.md b/formal/promela/src/src/modules/promela_yacc/README.md new file mode 100644 index 00000000..5340e23b --- /dev/null +++ b/formal/promela/src/src/modules/promela_yacc/README.md @@ -0,0 +1,27 @@ +[![Build Status][build_img]][travis] +[![Coverage Status][coverage]][coveralls] + + +About +===== + +A parser for the Promela modeling language. +[PLY](https://pypi.python.org/pypi/ply/3.4) (Python `lex`-`yacc`) is used to generate the parser. +Classes for a Promela abstract tree are included and used for representing the result of parsing. +A short tutorial can be found in the file `doc.md`. +To install: + +``` +pip install promela +``` + + +License +======= +[BSD-3](http://opensource.org/licenses/BSD-3-Clause), see `LICENSE` file. + + +[build_img]: https://travis-ci.org/johnyf/promela.svg?branch=master +[travis]: https://travis-ci.org/johnyf/promela +[coverage]: https://coveralls.io/repos/johnyf/promela/badge.svg?branch=master +[coveralls]: https://coveralls.io/r/johnyf/promela?branch=master
\ No newline at end of file |