CakeML Regression Test

Job 597

CakeML:1b447042a65d0ce7c62341a3592d12b1a99eb144
  Fix word_elimProof for latest HOL [Nov 30 00:19:38]
HOL:8649983c4924097c8a62e531247200c9bf24067c
  Fix bug in lexing of strings like x'0 followed by symbolic chars [Nov 29 10:32:10]
Machine:oven2 4.13.0-37-generic x86_64 GNU/Linux

Nov 30 04:53:59 Claimed job
Nov 30 04:54:07 Reusing HOL
Nov 30 04:54:20 Starting developers/bin
Nov 30 04:54:56 Finished developers/bin                                          34s 140MB
Nov 30 04:54:57 Starting semantics/ffi
Nov 30 04:55:07 Finished semantics/ffi                                           10s 269MB
Nov 30 04:55:08 Starting semantics
Nov 30 04:56:32 Finished semantics                                             1m22s 942MB
Nov 30 04:56:32 Starting semantics/proofs
Nov 30 04:59:35 Finished semantics/proofs                                      3m02s   1GB
Nov 30 04:59:36 Starting basis/pure
Nov 30 05:00:29 Finished basis/pure                                              52s 666MB
Nov 30 05:00:30 Starting translator
Nov 30 05:03:48 Finished translator                                            3m17s   1GB
Nov 30 05:03:49 Starting compiler/parsing Nov 30 05:03:49 0s