CakeML:e1650fc504837c0fbd3931cc5066914ffdc9d877 Merge pull request #1184 from CakeML/bnn_checker [May 30 18:07:55] HOL:cf6bf25b01eb56ffbc8c6810e9c548ba4327ed2f Merge branch 'develop' into mcandidate [Jun 07 22:57:21] Machine:lammmington Jun 09 16:34:56 Claimed job