veriflies 1.2 - Release 19 December 2016