CakeML Regression Test

Job 607

CakeML:583572eb9c634f521665ea7c32211eaa0d9072f2
  Fix mangled Theorem statement [Dec 04 05:09:44]
#572 (cleanup)
Merging into:8b46c3a87cb343ec13b54a05bfb531841eb60955
  Fix bug in tag_name (picks an unused cons name) [Dec 03 04:19:52]
HOL:0f41b430dba6521a505fd78da96fbf00252bfaa9
  Fix errors introduced by over-enthusiastic reformatting in 97b7d1900 [Dec 04 03:50:15]
Machine:oven2 4.13.0-37-generic x86_64 GNU/Linux

Dec 04 06:48:33 Claimed job
Dec 04 06:48:42 Reusing HOL
Dec 04 06:48:56 Starting developers
Dec 04 06:48:58 Finished developers                                               0s  21MB
Dec 04 06:48:58 Starting developers/bin
Dec 04 06:49:31 Finished developers/bin                                          31s 201MB
Dec 04 06:49:31 Starting semantics/ffi
Dec 04 06:49:40 Finished semantics/ffi                                            8s 211MB
Dec 04 06:49:41 Starting semantics
Dec 04 06:50:57 Finished semantics                                             1m14s 867MB
Dec 04 06:50:57 Starting semantics/proofs
Dec 04 06:54:00 Finished semantics/proofs                                      3m01s   1GB
Dec 04 06:54:01 Starting basis/pure Dec 04 06:54:01 0s