Job 437

CakeML:b6f77f74a1cdcef0b29ca859caba9433cfb4a2ee
  Fix dynamic translation post-processing [Aug 20 13:49:21]
#512 (translator-module-ctors)
Merging into:e12dc542637af6649c97ecf8b12bc490db3840e1
  Fix more missing ERRs [Aug 19 08:01:39]
HOL:086d621de511411ec077f271bd7a73f3f37f99d6
  Another missing ERR definition [Aug 20 07:01:20]
Machine:oven1 (2) 4.15.9-300.fc27.x86_64 x86_64 GNU/Linux

Aug 20 13:52:25 Claimed job
Aug 20 13:52:37 Building HOL
Aug 20 14:01:23 Starting developers/bin
Aug 20 14:01:59 Finished developers/bin                                          34s 911MB
Aug 20 14:01:59 Starting semantics/ffi
Aug 20 14:02:39 Finished semantics/ffi                                           38s 407MB
Aug 20 14:02:39 Starting semantics
Aug 20 14:04:05 Finished semantics                                             1m24s 898MB
Aug 20 14:04:06 Starting semantics/proofs
Aug 20 14:06:47 Finished semantics/proofs                                      2m40s   1GB
Aug 20 14:06:48 Starting basis/pure
Aug 20 14:10:18 Finished basis/pure                                            3m29s 586MB
Aug 20 14:10:19 Starting translator
Aug 20 14:11:30 Finished translator                                            1m10s   1GB
Aug 20 14:11:31 Starting compiler/parsing
Aug 20 14:13:03 Finished compiler/parsing                                      1m32s   1GB
Aug 20 14:13:04 Starting characteristic
Aug 20 14:15:26 Finished characteristic                                        2m21s   1GB
Aug 20 14:15:27 Starting translator/monadic
Aug 20 14:16:53 Finished translator/monadic                                    1m25s   1GB
Aug 20 14:16:54 Starting basis
Aug 20 14:32:51 Finished basis                                                15m56s   3GB
Aug 20 14:32:51 Starting compiler/inference
Aug 20 14:34:34 Finished compiler/inference                                    1m41s   1GB
Aug 20 14:34:35 Starting compiler/backend/reg_alloc
Aug 20 14:35:08 Finished compiler/backend/reg_alloc                              32s   1GB
Aug 20 14:35:09 Starting compiler/backend/gc
Aug 20 14:43:52 Finished compiler/backend/gc                                   8m42s   3GB
Aug 20 14:43:52 Starting compiler/backend
Aug 20 14:43:56 Finished compiler/backend                                         2s  16MB
Aug 20 14:43:57 Starting compiler/encoders/asm
Aug 20 14:43:59 Finished compiler/encoders/asm                                    1s  13MB
Aug 20 14:43:59 Starting compiler/encoders/x64
Aug 20 14:44:52 Finished compiler/encoders/x64                                   52s 638MB
Aug 20 14:44:53 Starting compiler/encoders/arm6
Aug 20 14:46:38 Finished compiler/encoders/arm6                                1m44s   1GB
Aug 20 14:46:38 Starting compiler/encoders/arm8
Aug 20 14:47:04 Finished compiler/encoders/arm8                                  25s 521MB
Aug 20 14:47:05 Starting compiler/encoders/mips
Aug 20 14:48:03 Finished compiler/encoders/mips                                  57s 833MB
Aug 20 14:48:04 Starting compiler/encoders/riscv
Aug 20 14:49:05 Finished compiler/encoders/riscv                               1m00s 681MB
Aug 20 14:49:05 Starting compiler/backend/x64
Aug 20 14:49:23 Finished compiler/backend/x64                                    16s 908MB
Aug 20 14:49:23 Starting compiler/backend/arm6
Aug 20 14:49:44 Finished compiler/backend/arm6                                   19s   1GB
Aug 20 14:49:45 Starting compiler/backend/arm8
Aug 20 14:50:04 Finished compiler/backend/arm8                                   18s   1GB
Aug 20 14:50:04 Starting compiler/backend/mips
Aug 20 14:50:23 Finished compiler/backend/mips                                   17s 767MB
Aug 20 14:50:23 Starting compiler/backend/riscv
Aug 20 14:50:42 Finished compiler/backend/riscv                                  18s   1GB
Aug 20 14:50:43 Starting compiler/parsing/proofs
Aug 20 14:56:54 Finished compiler/parsing/proofs                               6m09s 787MB
Aug 20 14:56:54 Starting compiler/inference/proofs
Aug 20 14:59:43 Finished compiler/inference/proofs                             2m48s   1GB
Aug 20 14:59:44 Starting compiler/backend/semantics
Aug 20 15:08:37 Finished compiler/backend/semantics                            8m51s   2GB
Aug 20 15:08:37 Starting compiler/backend/reg_alloc/proofs
Aug 20 15:09:25 Finished compiler/backend/reg_alloc/proofs                       47s 468MB
Aug 20 15:09:26 Starting compiler/backend/proofs
Aug 20 15:44:34 Finished compiler/backend/proofs                              35m07s   4GB
Aug 20 15:44:35 Starting compiler/encoders/x64/proofs
Aug 20 15:51:50 Finished compiler/encoders/x64/proofs                          7m13s   5GB
Aug 20 15:51:50 Starting compiler/encoders/arm6/proofs
Aug 20 15:59:22 Finished compiler/encoders/arm6/proofs                         7m30s   3GB
Aug 20 15:59:22 Starting compiler/encoders/arm8/proofs
Aug 20 16:04:36 Finished compiler/encoders/arm8/proofs                         5m12s   1GB
Aug 20 16:04:36 Starting compiler/encoders/mips/proofs
Aug 20 16:12:02 Finished compiler/encoders/mips/proofs                         7m24s   1GB
Aug 20 16:12:02 Starting compiler/encoders/riscv/proofs
Aug 20 16:19:51 Finished compiler/encoders/riscv/proofs                        7m48s 841MB
Aug 20 16:19:52 Starting compiler/backend/x64/proofs
Aug 20 16:20:11 Finished compiler/backend/x64/proofs                             19s 803MB
Aug 20 16:20:12 Starting compiler/backend/arm6/proofs
Aug 20 16:20:36 Finished compiler/backend/arm6/proofs                            23s   1GB
Aug 20 16:20:37 Starting compiler/backend/arm8/proofs
Aug 20 16:20:57 Finished compiler/backend/arm8/proofs                            19s 717MB
Aug 20 16:20:57 Starting compiler/backend/mips/proofs
Aug 20 16:21:18 Finished compiler/backend/mips/proofs                            20s 922MB
Aug 20 16:21:19 Starting compiler/backend/riscv/proofs
Aug 20 16:21:40 Finished compiler/backend/riscv/proofs                           19s   1GB
Aug 20 16:21:40 Starting compiler/proofs
Aug 20 16:22:58 Finished compiler/proofs                                       1m17s   2GB
Aug 20 16:22:58 Starting candle/set-theory
Aug 20 16:23:30 Finished candle/set-theory                                       31s 588MB
Aug 20 16:23:31 Starting candle/syntax-lib
Aug 20 16:23:42 Finished candle/syntax-lib                                       10s 661MB
Aug 20 16:23:42 Starting candle/standard/syntax
Aug 20 16:25:16 Finished candle/standard/syntax                                1m32s 620MB
Aug 20 16:25:16 Starting candle/standard/semantics
Aug 20 16:26:38 Finished candle/standard/semantics                             1m20s 962MB
Aug 20 16:26:38 Starting candle/standard/monadic
Aug 20 16:28:04 Finished candle/standard/monadic                               1m25s 944MB
Aug 20 16:28:05 Starting candle/standard/ml_kernel
Aug 20 16:31:32 Finished candle/standard/ml_kernel                             3m26s   2GB
Aug 20 16:31:33 Starting candle/standard/opentheory
Aug 20 16:31:48 Finished candle/standard/opentheory                              14s 618MB
Aug 20 16:31:49 Starting characteristic/examples
Aug 20 16:33:20 Finished characteristic/examples                               1m30s   2GB
Aug 20 16:33:21 Starting tutorial/solutions
Aug 20 16:46:41 Finished tutorial/solutions                                   13m19s   6GB
Aug 20 16:46:42 Starting translator/monadic/examples
Aug 20 16:48:31 Finished translator/monadic/examples                           1m48s   2GB
Aug 20 16:48:32 Starting examples
Aug 20 16:54:18 Finished examples                                              5m46s   3GB
Aug 20 16:54:19 Starting examples/compilation
Aug 20 18:48:35 Finished examples/compilation                               1h54m14s  11GB
Aug 20 18:48:35 Starting examples/compilation/proofs
Aug 20 18:50:31 Finished examples/compilation/proofs                           1m54s   3GB
Aug 20 18:50:32 Starting compiler/benchmarks
Aug 20 18:50:33 Finished compiler/benchmarks                                      0s   5MB
Aug 20 18:50:33 Starting translator/okasaki-examples
Aug 20 18:54:07 Finished translator/okasaki-examples                           3m32s   1GB
Aug 20 18:54:08 Starting translator/other-examples
Aug 20 18:57:38 Finished translator/other-examples                             3m29s 844MB
Aug 20 18:57:39 Starting compiler/parsing/tests
Aug 20 18:58:04 Finished compiler/parsing/tests                                  24s 360MB
Aug 20 18:58:04 Starting compiler/inference/tests
Aug 20 18:59:00 Finished compiler/inference/tests                                54s   2GB
Aug 20 18:59:01 Starting compiler/bootstrap/translation Aug 20 18:59:01 19471s