Parser and abstract syntax tree for the temporal logic of actions TLA+.
Project description
[![Build Status][build_img]][travis] [![Coverage Status][coverage]][coveralls]
About
A parser for the Temporal Logic of Actions (TLA+). [PLY](https://pypi.python.org/pypi/ply/3.4) (Python lex-yacc) is used to generate the parser. Classes for a TLA+ abstract tree are included and used for representing the result of parsing.
To install:
` pip install tla `
License
[BSD-3](http://opensource.org/licenses/BSD-3-Clause), see LICENSE file.
[build_img]: https://travis-ci.org/johnyf/tla.svg?branch=master [travis]: https://travis-ci.org/johnyf/tla [coverage]: https://coveralls.io/repos/johnyf/tla/badge.svg?branch=master [coveralls]: https://coveralls.io/r/johnyf/tla?branch=master
