CakeML Regression Test

Job 1214

CakeML:b4b1448ff5f8804e156636363cea0cca87648ba7
  Fix byteScript following change in HOL [Mar 30 07:05:39]
HOL:6b4719d7d8f08e26a916ae574f5dda24c6fc4245
  Fix proofs broken by 508f79ea974 [Mar 25 05:16:14]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Mar 30 07:25:11 Claimed job
Mar 30 07:25:13 Reusing HOL
Mar 30 07:26:06 Starting developers
Mar 30 07:26:10 Finished developers                                               4s  67MB
Mar 30 07:26:10 Starting developers/bin
Mar 30 07:26:18 Finished developers/bin                                           7s   1GB
Mar 30 07:26:18 Starting semantics/ffi
Mar 30 07:26:28 Finished semantics/ffi                                           10s 228MB
Mar 30 07:26:29 Starting semantics
Mar 30 07:27:54 Finished semantics                                             1m24s   1GB
Mar 30 07:27:54 Starting semantics/proofs
Mar 30 07:31:25 Finished semantics/proofs                                      3m30s   1GB
Mar 30 07:31:25 Starting semantics/alt_semantics
Mar 30 07:31:33 Finished semantics/alt_semantics                                  8s 299MB
Mar 30 07:31:34 Starting semantics/alt_semantics/proofs
Mar 30 07:33:41 Finished semantics/alt_semantics/proofs                        2m07s   1GB
Mar 30 07:33:41 Starting basis/pure
Mar 30 07:36:45 Finished basis/pure                                            3m03s 775MB
Mar 30 07:36:45 Starting translator
Mar 30 07:39:24 Finished translator                                            2m38s   1GB
Mar 30 07:39:25 Starting compiler/parsing
Mar 30 07:40:35 Finished compiler/parsing                                      1m10s   2GB
Mar 30 07:40:35 Starting characteristic
Mar 30 07:46:36 Finished characteristic                                        6m00s   2GB
Mar 30 07:46:36 Starting translator/monadic
Mar 30 07:48:14 Finished translator/monadic                                    1m37s   1GB
Mar 30 07:48:14 Starting basis
Mar 30 08:21:42 Finished basis                                                33m27s  15GB
Mar 30 08:21:42 Starting compiler/inference
Mar 30 08:22:52 Finished compiler/inference                                    1m10s   1GB
Mar 30 08:22:52 Starting compiler/backend/reg_alloc
Mar 30 08:23:56 Finished compiler/backend/reg_alloc                            1m02s   1GB
Mar 30 08:23:56 Starting compiler/backend/gc
Mar 30 08:27:27 Finished compiler/backend/gc                                   3m30s   2GB
Mar 30 08:27:27 Starting compiler/backend
Mar 30 08:32:04 Finished compiler/backend                                      4m36s   3GB
Mar 30 08:32:04 Starting compiler/encoders/asm
Mar 30 08:32:27 Finished compiler/encoders/asm                                   22s 956MB
Mar 30 08:32:27 Starting compiler/encoders/x64
Mar 30 08:33:25 Finished compiler/encoders/x64                                   57s 947MB
Mar 30 08:33:25 Starting compiler/encoders/arm7
Mar 30 08:35:17 Finished compiler/encoders/arm7                                1m51s   1GB
Mar 30 08:35:17 Starting compiler/encoders/arm8
Mar 30 08:35:50 Finished compiler/encoders/arm8                                  32s 743MB
Mar 30 08:35:50 Starting compiler/encoders/mips
Mar 30 08:37:01 Finished compiler/encoders/mips                                1m10s 860MB
Mar 30 08:37:01 Starting compiler/encoders/riscv
Mar 30 08:38:28 Finished compiler/encoders/riscv                               1m27s   1GB
Mar 30 08:38:28 Starting compiler/encoders/ag32
Mar 30 08:38:46 Finished compiler/encoders/ag32                                  17s 762MB
Mar 30 08:38:46 Starting compiler/backend/x64
Mar 30 08:39:06 Finished compiler/backend/x64                                    18s   1GB
Mar 30 08:39:06 Starting compiler/backend/arm7
Mar 30 08:39:26 Finished compiler/backend/arm7                                   20s   1GB
Mar 30 08:39:26 Starting compiler/backend/arm8
Mar 30 08:39:45 Finished compiler/backend/arm8                                   18s   1GB
Mar 30 08:39:45 Starting compiler/backend/mips
Mar 30 08:40:04 Finished compiler/backend/mips                                   19s   1GB
Mar 30 08:40:05 Starting compiler/backend/riscv
Mar 30 08:40:23 Finished compiler/backend/riscv                                  18s   1GB
Mar 30 08:40:23 Starting compiler/backend/ag32
Mar 30 08:41:33 Finished compiler/backend/ag32                                 1m09s   1GB
Mar 30 08:41:33 Starting compiler/parsing/proofs
Mar 30 08:47:22 Finished compiler/parsing/proofs                               5m49s   1GB
Mar 30 08:47:23 Starting compiler/inference/proofs
Mar 30 08:49:54 Finished compiler/inference/proofs                             2m31s 921MB
Mar 30 08:49:54 Starting compiler/backend/semantics Mar 30 08:49:54 197s