CakeML Regression Test

Job 677

CakeML:d80a3895dec9070653b55eaf21ac7ff513e0051c
  Merge remote-tracking branch 'origin/master' into better-names [Jan 14 07:06:38]
#591 (better-names)
Merging into:901708feeaa4cd0a8263ec24d39144eeb1f6d15d
  Merge pull request #599 from CakeML/lem-readme [Jan 14 09:15:32]
HOL:9884befd7ef626e7a20cde7aedb6f358330d8ba4
  Merge remote-tracking branch 'origin/pr/637' into develop [Jan 11 23:27:51]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Jan 14 16:54:27 Claimed job
Jan 14 16:54:31 Reusing HOL
Jan 14 16:54:45 Starting developers
Jan 14 16:54:46 Finished developers                                               0s  38MB
Jan 14 16:54:47 Starting developers/bin
Jan 14 16:55:19 Finished developers/bin                                          31s 141MB
Jan 14 16:55:20 Starting semantics/ffi
Jan 14 16:55:29 Finished semantics/ffi                                            7s 234MB
Jan 14 16:55:29 Starting semantics
Jan 14 16:56:50 Finished semantics                                             1m20s   1GB
Jan 14 16:56:51 Starting semantics/proofs
Jan 14 17:00:07 Finished semantics/proofs                                      3m14s   1GB
Jan 14 17:00:08 Starting basis/pure
Jan 14 17:00:58 Finished basis/pure                                              49s 748MB
Jan 14 17:00:59 Starting translator
Jan 14 17:02:39 Finished translator                                            1m38s   1GB
Jan 14 17:02:40 Starting compiler/parsing
Jan 14 17:03:44 Finished compiler/parsing                                      1m03s   1GB
Jan 14 17:03:45 Starting characteristic
Jan 14 17:06:56 Finished characteristic                                        3m10s   1GB
Jan 14 17:06:57 Starting translator/monadic
Jan 14 17:08:23 Finished translator/monadic                                    1m25s   1GB
Jan 14 17:08:24 Starting basis
Jan 14 17:24:13 Finished basis                                                15m48s   3GB
Jan 14 17:24:14 Starting compiler/inference
Jan 14 17:25:54 Finished compiler/inference                                    1m38s   1GB
Jan 14 17:25:55 Starting compiler/backend/reg_alloc
Jan 14 17:26:46 Finished compiler/backend/reg_alloc                              50s   1GB
Jan 14 17:26:47 Starting compiler/backend/gc
Jan 14 17:34:34 Finished compiler/backend/gc                                   7m46s   1GB
Jan 14 17:34:35 Starting compiler/backend
Jan 14 17:34:38 Finished compiler/backend                                         1s  18MB
Jan 14 17:34:39 Starting compiler/encoders/asm
Jan 14 17:34:40 Finished compiler/encoders/asm                                    0s  16MB
Jan 14 17:34:41 Starting compiler/encoders/x64
Jan 14 17:35:05 Finished compiler/encoders/x64                                   23s 997MB
Jan 14 17:35:06 Starting compiler/encoders/arm6
Jan 14 17:35:58 Finished compiler/encoders/arm6                                  50s   1GB
Jan 14 17:35:59 Starting compiler/encoders/arm8
Jan 14 17:36:12 Finished compiler/encoders/arm8                                  12s 546MB
Jan 14 17:36:13 Starting compiler/encoders/mips
Jan 14 17:36:30 Finished compiler/encoders/mips                                  16s   1GB
Jan 14 17:36:30 Starting compiler/encoders/riscv
Jan 14 17:36:45 Finished compiler/encoders/riscv                                 13s 688MB
Jan 14 17:36:45 Starting compiler/encoders/ag32
Jan 14 17:37:02 Finished compiler/encoders/ag32                                  16s 798MB
Jan 14 17:37:03 Starting compiler/backend/x64
Jan 14 17:37:20 Finished compiler/backend/x64                                    15s 856MB
Jan 14 17:37:20 Starting compiler/backend/arm6
Jan 14 17:37:39 Finished compiler/backend/arm6                                   18s   1GB
Jan 14 17:37:40 Starting compiler/backend/arm8
Jan 14 17:37:59 Finished compiler/backend/arm8                                   17s 937MB
Jan 14 17:37:59 Starting compiler/backend/mips
Jan 14 17:38:18 Finished compiler/backend/mips                                   17s   1GB
Jan 14 17:38:18 Starting compiler/backend/riscv
Jan 14 17:38:35 Finished compiler/backend/riscv                                  16s 957MB
Jan 14 17:38:36 Starting compiler/backend/ag32
Jan 14 17:39:48 Finished compiler/backend/ag32                                 1m10s   1GB
Jan 14 17:39:49 Starting compiler/parsing/proofs
Jan 14 17:45:46 Finished compiler/parsing/proofs                               5m55s 990MB
Jan 14 17:45:47 Starting compiler/inference/proofs
Jan 14 17:48:41 Finished compiler/inference/proofs                             2m53s   1GB
Jan 14 17:48:41 Starting compiler/backend/semantics
Jan 14 17:56:16 Finished compiler/backend/semantics                            7m33s   2GB
Jan 14 17:56:17 Starting compiler/backend/reg_alloc/proofs
Jan 14 17:59:01 Finished compiler/backend/reg_alloc/proofs                     2m42s 802MB
Jan 14 17:59:02 Starting compiler/backend/proofs Jan 14 17:59:02 3065s