CakeML:5d575deeddbcf6deac8b9c9f8845e05a49d788c4 Add optional timnig in ml_translatorLib [Sep 25 06:03:34] HOL:5df8a044439fc1f7dbdf0f90fcbb83db01be4f91 Merge pull request #593 from lorenzleutgeb/docker [Sep 25 02:40:59] Machine:oven1 4.15.9-300.fc27.x86_64 x86_64 GNU/Linux Sep 25 09:25:50 Claimed job