├── .gitignore ├── LICENSE.txt ├── README.md ├── design-notes.md ├── requirements.txt ├── setup.py ├── src └── tlacli │ ├── __init__.py │ ├── cfg.py │ ├── tla2tools.jar │ ├── tlacli.py │ └── tools │ ├── __init__.py │ ├── pluscal.py │ ├── readme.md │ └── tlc.py └── tests ├── conftest.py ├── fixtures └── 1.cfg └── test_cfg.py /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/tlacli/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/tlacli/HEAD/LICENSE.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/tlacli/HEAD/README.md -------------------------------------------------------------------------------- /design-notes.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/tlacli/HEAD/design-notes.md -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/tlacli/HEAD/requirements.txt -------------------------------------------------------------------------------- /setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/tlacli/HEAD/setup.py -------------------------------------------------------------------------------- /src/tlacli/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/tlacli/cfg.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/tlacli/HEAD/src/tlacli/cfg.py -------------------------------------------------------------------------------- /src/tlacli/tla2tools.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/tlacli/HEAD/src/tlacli/tla2tools.jar -------------------------------------------------------------------------------- /src/tlacli/tlacli.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/tlacli/HEAD/src/tlacli/tlacli.py -------------------------------------------------------------------------------- /src/tlacli/tools/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/tlacli/tools/pluscal.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/tlacli/HEAD/src/tlacli/tools/pluscal.py -------------------------------------------------------------------------------- /src/tlacli/tools/readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/tlacli/HEAD/src/tlacli/tools/readme.md -------------------------------------------------------------------------------- /src/tlacli/tools/tlc.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/tlacli/HEAD/src/tlacli/tools/tlc.py -------------------------------------------------------------------------------- /tests/conftest.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/tlacli/HEAD/tests/conftest.py -------------------------------------------------------------------------------- /tests/fixtures/1.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/tlacli/HEAD/tests/fixtures/1.cfg -------------------------------------------------------------------------------- /tests/test_cfg.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/tlacli/HEAD/tests/test_cfg.py --------------------------------------------------------------------------------