CakeML Regression Test

Job 621

CakeML:726e2d5b2688f471f56c465bbd919a1113255f51
  Merge branch 'origin/master' into local [Dec 08 22:32:12]
#577 (local)
Merging into:fc7210e6e390f10177982607373a07ef1e4b5808
  Update for new s-expression syntax (using  [Dec 09 05:04:39]
HOL:5e4369a4a208507b43df4343e08b5fca51872a25
  Slightly extend documentation of fn-update syntax with more example [Dec 08 10:49:26]
Machine:oven1 4.15.9-300.fc27.x86_64 x86_64 GNU/Linux

Dec 09 10:30:48 Claimed job
Dec 09 10:32:04 Building HOL
Dec 09 10:41:24 Starting developers
Dec 09 10:41:26 Finished developers                                               2s  21MB
Dec 09 10:41:27 Starting developers/bin
Dec 09 10:42:35 Finished developers/bin                                        1m06s 916MB
Dec 09 10:42:35 Starting semantics/ffi
Dec 09 10:43:14 Finished semantics/ffi                                           38s 493MB
Dec 09 10:43:15 Starting semantics
Dec 09 10:44:51 Finished semantics                                             1m35s   1GB
Dec 09 10:44:52 Starting semantics/proofs
Dec 09 10:47:55 Finished semantics/proofs                                      3m02s   1GB
Dec 09 10:47:56 Starting basis/pure
Dec 09 10:51:35 Finished basis/pure                                            3m38s 694MB
Dec 09 10:51:36 Starting translator
Dec 09 10:52:54 Finished translator                                            1m17s 879MB
Dec 09 10:52:54 Starting compiler/parsing
Dec 09 10:54:11 Finished compiler/parsing                                      1m15s   1GB
Dec 09 10:54:11 Starting characteristic
Dec 09 10:56:50 Finished characteristic                                        2m37s   1GB
Dec 09 10:56:51 Starting translator/monadic
Dec 09 10:58:22 Finished translator/monadic                                    1m30s   1GB
Dec 09 10:58:22 Starting basis
Dec 09 11:14:49 Finished basis                                                16m25s   3GB
Dec 09 11:14:50 Starting compiler/inference
Dec 09 11:16:50 Finished compiler/inference                                    1m59s   1GB
Dec 09 11:16:51 Starting compiler/backend/reg_alloc
Dec 09 11:17:41 Finished compiler/backend/reg_alloc                              49s   1GB
Dec 09 11:17:42 Starting compiler/backend/gc Dec 09 11:17:42 1s