Skip to content

Releases: 17451k/eventb-to-txt

v1.6

11 Sep 16:00
Compare
Choose a tag to compare
  • Fix an issue with outputting hidden files in some cases
  • Fix broken --merge option

v1.5

20 Jun 10:32
Compare
Choose a tag to compare
  • Support output to stdout (by @evdenis)
  • Support running on individual *.buc or *.bum files (by @evdenis)

v1.4

15 Mar 12:09
Compare
Choose a tag to compare
  • Use CamilleX txt format by default

v1.3.2

15 Apr 16:02
Compare
Choose a tag to compare
  • Always save output files with LF line endings
  • Make output files consistent between Windows, Linux and macOS

v1.3.1

11 Mar 11:51
Compare
Choose a tag to compare
  • Trim trailing whitespaces

v1.3

11 Mar 11:21
Compare
Choose a tag to compare
  • 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