17451k / eventb-to-txt / 21

Builds Branch Commit Type Ran Committer Via Coverage
21 master Travis still doesn't have proper Python 3.7 push 17451k travis-ci pending completion   set done
20 master Drop support for Python 3.4 push 17451k travis-ci pending completion   set done
19 master Add support for archived Event-B models push 17451k travis-ci pending completion   set done
18 master Make "--in" argument positional push 17451k travis-ci pending completion   set done
17 master Restructure .travis.yml push 17451k travis-ci pending completion   set done
16 master Add tests for main function push 17451k travis-ci pending completion   set done
15 master Add test for machines without events push 17451k travis-ci pending completion   set done
14 master Add test for theorem-guards push 17451k travis-ci pending completion   set done
13 master Remove unused code push 17451k travis-ci pending completion   set done
12 master Add support for Coveralls push 17451k travis-ci pending completion   set done