Merge pull request #254 from ragerdl/master

3 CLs
Merge pull request #256 from ragerdl/master

Enabling provisional certification for tau-bounders