Eventb-to-txt

Latest version: v1.6

Safety actively analyzes 683530 Python packages for vulnerabilities to keep your Python projects secure.

Scan your dependencies

1.6

* Fix an issue with outputting hidden files in some cases
* Fix broken `--merge` option

1.5

* Support output to stdout (by evdenis)
* Support running on individual *.buc or *.bum files (by evdenis)

1.4

* Use CamilleX txt format by default

1.3.2

* Always save output files with LF line endings
* Make output files consistent between Windows, Linux and macOS

1.3.1

* Trim trailing whitespaces

1.3

* Replace Windows new lines by UNIX
* Correctly print models with side refinement levels
* Add support for printing multiple models at once
* Create output directory if it does not exist
* Test compatibility with Python 3.8
* Various small improvements

Links

Releases

© 2024 Safety CLI Cybersecurity Inc. All Rights Reserved.