test

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

    options:
    -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

Pass -o - to merge all components and write the result to stdout instead of to files.

Metadata

Release files for eventb-to-txt 1.7

For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.

Source distribution (sdist)

Source distribution for eventb-to-txt 1.7
File	Size	Uploaded
eventb_to_txt-1.7.tar.gz	8.9 kB	Jun 1, 2026	Details

Built distribution (wheel)

Table of built distributions (wheels) for eventb-to-txt 1.7
File	Interpreter	ABI	Platform	Reset
eventb_to_txt-1.7-py3-none-any.whl 10.3 kB Jun 1, 2026	Python 3	none	any	Details

Total release size: 19.2 kB

Release files / eventb_to_txt-1.7.tar.gz

Download URL	eventb_to_txt-1.7.tar.gz
Size	8.9 kB
Tags	Source
SHA-256 checksum How to use checksums	`2f9c066d4b28bd4b4359be9b1287a4c83fd2e25035767c08b5eef379751bd4f9`
BLAKE2b-256 checksum How to use checksums	`863ec74b2cfefbabd4476e37fd05afd1fec2934efff4cea359bdbb821565c2b3`
Upload date	Jun 1, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/6.1.0 CPython/3.13.13`

Provenance

Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/eventb-rossi/eventb-to-txt
Publishing commit: github.com/eventb-rossi/eventb-to-txt/tree/7688948e8934a4d642affeeaf6626a44c0402614

Workflow

Publishing configuration: github.com/eventb-rossi/eventb-to-txt/blob/7688948e8934a4d642affeeaf6626a44c0402614/.github/workflows/deploy.yml
Publishing logs: github.com/eventb-rossi/eventb-to-txt/actions/runs/26733782282/attempts/1

Artifact

Subject: eventb_to_txt-1.7.tar.gz
SHA-256 checksum: 2f9c066d4b28bd4b4359be9b1287a4c83fd2e25035767c08b5eef379751bd4f9 Verifying attestations

Release files / eventb_to_txt-1.7-py3-none-any.whl

Download URL	eventb_to_txt-1.7-py3-none-any.whl
Size	10.3 kB
Tags	Python 3
SHA-256 checksum How to use checksums	`016d2170ca9a86c1aa380f3f118b30bab0e70f0a27fe1c2b31ae7e44a073e2b3`
BLAKE2b-256 checksum How to use checksums	`de462e2abdb71d272153eb0a877ef71cfa305cf0711a3c40be9c7fdc5a94b331`
Upload date	Jun 1, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/6.1.0 CPython/3.13.13`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/eventb-rossi/eventb-to-txt
Publishing commit: github.com/eventb-rossi/eventb-to-txt/tree/7688948e8934a4d642affeeaf6626a44c0402614

Workflow

Publishing configuration: github.com/eventb-rossi/eventb-to-txt/blob/7688948e8934a4d642affeeaf6626a44c0402614/.github/workflows/deploy.yml
Publishing logs: github.com/eventb-rossi/eventb-to-txt/actions/runs/26733782282/attempts/1

Artifact

Subject: eventb_to_txt-1.7-py3-none-any.whl
SHA-256 checksum: 016d2170ca9a86c1aa380f3f118b30bab0e70f0a27fe1c2b31ae7e44a073e2b3 Verifying attestations