CakeML Regression Test

Job 1437

CakeML:a9023d9e6927c03f80b9e84229540f5acb2ac1dc
  Add sub-sptree computation to `backendComputeLib` [Jan 09 15:49:17]
#810 (master)
Merging into:3c6495906dc020e093e2f5cf101cea1cba2fc468
  Fix breakage caused by change to sorted_map in HOL [Jan 05 15:57:59]
HOL:07dca05c1eb441bb9b18556ae55f275d2518bade
  Fix bugs in Makefiles/lib files preventing Lassie from compiling [Jan 06 06:03:07]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Jan 13 16:30:01 Claimed job
Jan 13 16:30:03 Reusing HOL
Jan 13 16:30:50 Starting developers
Jan 13 16:30:54 Finished developers                                               4s 103MB
Jan 13 16:30:54 Starting developers/bin
Jan 13 16:31:01 Finished developers/bin                                           6s   1GB
Jan 13 16:31:01 Starting semantics/ffi
Jan 13 16:31:13 Finished semantics/ffi                                           11s 246MB
Jan 13 16:31:13 Starting semantics
Jan 13 16:32:42 Finished semantics                                             1m29s   1GB
Jan 13 16:32:42 Starting semantics/proofs
Jan 13 16:36:17 Finished semantics/proofs                                      3m34s   1GB
Jan 13 16:36:17 Starting semantics/alt_semantics
Jan 13 16:36:26 Finished semantics/alt_semantics                                  8s 263MB
Jan 13 16:36:27 Starting semantics/alt_semantics/proofs
Jan 13 16:38:45 Finished semantics/alt_semantics/proofs                        2m17s 878MB
Jan 13 16:38:45 Starting basis/pure
Jan 13 16:39:37 Finished basis/pure                                              52s 806MB
Jan 13 16:39:38 Starting translator
Jan 13 16:42:34 Finished translator                                            2m54s   1GB
Jan 13 16:42:34 Starting compiler/parsing
Jan 13 16:44:03 Finished compiler/parsing                                      1m27s   2GB
Jan 13 16:44:03 Starting characteristic
Jan 13 16:50:44 Finished characteristic                                        6m41s   1GB
Jan 13 16:50:45 Starting translator/monadic
Jan 13 16:52:30 Finished translator/monadic                                    1m45s   2GB
Jan 13 16:52:31 Starting basis
Jan 13 17:30:17 Finished basis                                                37m45s  10GB
Jan 13 17:30:17 Starting compiler/inference
Jan 13 17:31:32 Finished compiler/inference                                    1m15s   1GB
Jan 13 17:31:32 Starting compiler/backend/reg_alloc
Jan 13 17:32:40 Finished compiler/backend/reg_alloc                            1m07s   1GB
Jan 13 17:32:41 Starting compiler/backend/gc
Jan 13 17:36:55 Finished compiler/backend/gc                                   4m14s   2GB
Jan 13 17:36:55 Starting compiler/backend
Jan 13 17:42:44 Finished compiler/backend                                      5m48s   4GB
Jan 13 17:42:44 Starting compiler/encoders/asm
Jan 13 17:43:09 Finished compiler/encoders/asm                                   24s 756MB
Jan 13 17:43:09 Starting compiler/encoders/x64
Jan 13 17:44:16 Finished compiler/encoders/x64                                 1m06s 769MB
Jan 13 17:44:16 Starting compiler/encoders/arm7
Jan 13 17:46:35 Finished compiler/encoders/arm7                                2m18s   1GB
Jan 13 17:46:35 Starting compiler/encoders/arm8
Jan 13 17:47:18 Finished compiler/encoders/arm8                                  42s 960MB
Jan 13 17:47:18 Starting compiler/encoders/mips
Jan 13 17:48:57 Finished compiler/encoders/mips                                1m39s   1GB
Jan 13 17:48:57 Starting compiler/encoders/riscv
Jan 13 17:50:50 Finished compiler/encoders/riscv                               1m52s   1GB
Jan 13 17:50:50 Starting compiler/encoders/ag32
Jan 13 17:51:10 Finished compiler/encoders/ag32                                  19s 596MB
Jan 13 17:51:10 Starting compiler/backend/x64 Jan 13 17:51:10 20s