Job 444

CakeML:d86a96f948707a057f76a5d6f77df6a5bf2283f6
  Reintroduce stateful simplifier in eq_lemma proof [Aug 22 15:44:50]
#512 (translator-module-ctors)
Merging into:aaf2ed85060093cef59942b039fb2a53841b0c95
  Merge pull request #513 from CakeML/cf-ffidiv [Aug 22 05:07:53]
HOL:86ff704677ae31e64e05944c653f5f95e62afa1a
  Use UTF8 functions for fiddling with strings in testutil output [Aug 21 07:18:54]
Machine:oven1 (2) 4.15.9-300.fc27.x86_64 x86_64 GNU/Linux

Aug 22 15:47:38 Claimed job