The last version tag so far is v0.12.4, dated October, 2017. Currently we are using commit 6d18edf, which, at the item of my creation of this issue, is the head commit of the master branch. It would be quite useful to have a new version tag at this point or, perhaps, after the merge of the infinite loop pull request (#90).