17451k's Repositories

17451k / clade

84%
Build #484:   Handle decoding errors of CIF output on branch v3.2-update over 4 years ago
v3.2-update: 83%
LAST BUILD BRANCH: v3.2-update
DEFAULT BRANCH: master

17451k / eventb-to-txt

98%
Build #40:   Save output with LF line endings on branch master over 5 years ago
master: 98%
DEFAULT BRANCH: master