Event-B to txt converter
Project description
Event-B to txt converter
The eventb-to-txt script simply converts Event-B machines and contexts (.bum and .buc files) to the plain text. This text itself is a valid Event-B model that can be used in the CamilleX editor.
Compatible with Event-B models created with Rodin 3.0 and above.
Installation
$ python3 -m pip install eventb-to-txt
Usage
usage: eventb-to-txt [-h] [-o PATH] [-m] [in_path]
positional arguments:
in_path path to the Event-B model directory or zipfile
optional arguments:
-h, --help show this help message and exit
-o PATH, --out PATH PATH to the output directory
-m, --merge merge all generated txt files into a single txt file
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
eventb-to-txt-1.6.tar.gz
(8.0 kB
view details)
Built Distribution
File details
Details for the file eventb-to-txt-1.6.tar.gz.
File metadata
- Download URL: eventb-to-txt-1.6.tar.gz
- Upload date:
- Size: 8.0 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/4.0.2 CPython/3.11.5
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | e886f3e53105a10d4241865e24a63cfacfed77492ff161e9a48250867d68a69b |
|
| MD5 | 0107811c5e13b2a3c704707d9f1931a3 |
|
| BLAKE2b-256 | 105a683b84407b0e9c217463499f4cc23b0b0f452347ac6697ecd2bcac439bc5 |
File details
Details for the file eventb_to_txt-1.6-py3-none-any.whl.
File metadata
- Download URL: eventb_to_txt-1.6-py3-none-any.whl
- Upload date:
- Size: 10.0 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/4.0.2 CPython/3.11.5
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | ddfd7e4b5e17392008ca4e0e9d8056bfaf60ad05874d44b947bfa8a89f73fd9e |
|
| MD5 | a30ad87e6ddf2525b190db4a2b42e69d |
|
| BLAKE2b-256 | 7e216483fe5351e28e74ec4c7c188dd66fea536ce479cc075a8c74b033e4f012 |
