CakeML Regression Test

Job 1349

CakeML:aced251f056eb8714178746a7df203a936cc6991
  Fix compiler/parsing/Holmakefile to make parsingComputeLib build [Sep 18 08:05:26]
HOL:2f42c306fae86f050b635244d83cad0953433259
  kolmogorov: work on Lbiased invariant preserved by code-tree insertion [Sep 15 05:48:51]
Machine:oven3s 5.7.19 x86_64 GNU/Linux

Sep 19 00:54:22 Claimed job
Sep 19 00:54:26 Building HOL
Sep 19 01:05:58 Starting developers
Sep 19 01:06:00 Finished developers                                               1s 102MB
Sep 19 01:06:00 Starting developers/bin
Sep 19 01:06:12 Finished developers/bin                                          11s   1GB
Sep 19 01:06:12 Starting semantics/ffi
Sep 19 01:06:21 Finished semantics/ffi                                            8s   1GB
Sep 19 01:06:21 Starting semantics
Sep 19 01:07:40 Finished semantics                                             1m17s   2GB
Sep 19 01:07:40 Starting semantics/proofs
Sep 19 01:10:38 Finished semantics/proofs                                      2m57s   2GB
Sep 19 01:10:38 Starting semantics/alt_semantics
Sep 19 01:10:45 Finished semantics/alt_semantics                                  6s   1GB
Sep 19 01:10:46 Starting semantics/alt_semantics/proofs
Sep 19 01:12:44 Finished semantics/alt_semantics/proofs                        1m57s   2GB
Sep 19 01:12:44 Starting basis/pure
Sep 19 01:15:04 Finished basis/pure                                            2m19s   2GB
Sep 19 01:15:04 Starting translator
Sep 19 01:17:28 Finished translator                                            2m23s   3GB
Sep 19 01:17:28 Starting compiler/parsing
Sep 19 01:18:32 Finished compiler/parsing                                      1m03s   4GB
Sep 19 01:18:32 Starting characteristic
Sep 19 01:23:56 Finished characteristic                                        5m23s   2GB
Sep 19 01:23:57 Starting translator/monadic
Sep 19 01:25:24 Finished translator/monadic                                    1m26s   2GB
Sep 19 01:25:25 Starting basis
Sep 19 01:58:51 Finished basis                                                33m25s  16GB
Sep 19 01:58:51 Starting compiler/inference
Sep 19 01:59:52 Finished compiler/inference                                    1m00s   2GB
Sep 19 01:59:52 Starting compiler/backend/reg_alloc
Sep 19 02:00:44 Finished compiler/backend/reg_alloc                              51s   2GB
Sep 19 02:00:45 Starting compiler/backend/gc
Sep 19 02:03:54 Finished compiler/backend/gc                                   3m08s   2GB
Sep 19 02:03:54 Starting compiler/backend
Sep 19 02:08:07 Finished compiler/backend                                      4m12s   5GB
Sep 19 02:08:08 Starting compiler/encoders/asm
Sep 19 02:08:28 Finished compiler/encoders/asm                                   19s   2GB
Sep 19 02:08:28 Starting compiler/encoders/x64
Sep 19 02:09:24 Finished compiler/encoders/x64                                   55s   1GB
Sep 19 02:09:24 Starting compiler/encoders/arm7
Sep 19 02:11:18 Finished compiler/encoders/arm7                                1m53s   2GB
Sep 19 02:11:18 Starting compiler/encoders/arm8
Sep 19 02:11:53 Finished compiler/encoders/arm8                                  34s   1GB
Sep 19 02:11:54 Starting compiler/encoders/mips
Sep 19 02:13:09 Finished compiler/encoders/mips                                1m14s   2GB
Sep 19 02:13:09 Starting compiler/encoders/riscv
Sep 19 02:14:32 Finished compiler/encoders/riscv                               1m22s   2GB
Sep 19 02:14:32 Starting compiler/encoders/ag32
Sep 19 02:14:49 Finished compiler/encoders/ag32                                  16s   1GB
Sep 19 02:14:49 Starting compiler/backend/x64
Sep 19 02:15:06 Finished compiler/backend/x64                                    16s   2GB
Sep 19 02:15:06 Starting compiler/backend/arm7
Sep 19 02:15:24 Finished compiler/backend/arm7                                   17s   2GB
Sep 19 02:15:24 Starting compiler/backend/arm8
Sep 19 02:15:41 Finished compiler/backend/arm8                                   16s   2GB
Sep 19 02:15:41 Starting compiler/backend/mips
Sep 19 02:15:58 Finished compiler/backend/mips                                   16s   2GB
Sep 19 02:15:59 Starting compiler/backend/riscv
Sep 19 02:16:16 Finished compiler/backend/riscv                                  17s   2GB
Sep 19 02:16:17 Starting compiler/backend/ag32
Sep 19 02:17:17 Finished compiler/backend/ag32                                 1m00s   2GB
Sep 19 02:17:17 Starting compiler/parsing/proofs
Sep 19 02:21:29 Finished compiler/parsing/proofs                               4m11s   2GB
Sep 19 02:21:30 Starting compiler/inference/proofs
Sep 19 02:23:38 Finished compiler/inference/proofs                             2m07s   2GB
Sep 19 02:23:38 Starting compiler/backend/semantics
Sep 19 02:47:30 Finished compiler/backend/semantics                           23m51s   3GB
Sep 19 02:47:30 Starting compiler/backend/reg_alloc/proofs
Sep 19 02:50:26 Finished compiler/backend/reg_alloc/proofs                     2m55s   2GB
Sep 19 02:50:26 Starting compiler/backend/proofs
Sep 19 03:38:10 Finished compiler/backend/proofs                              47m43s  18GB
Sep 19 03:38:10 Starting compiler/encoders/x64/proofs
Sep 19 03:47:17 Finished compiler/encoders/x64/proofs                          9m06s   4GB
Sep 19 03:47:17 Starting compiler/encoders/arm7/proofs
Sep 19 03:59:28 Finished compiler/encoders/arm7/proofs                        12m10s   5GB
Sep 19 03:59:29 Starting compiler/encoders/arm8/proofs
Sep 19 04:05:36 Finished compiler/encoders/arm8/proofs                         6m07s   2GB
Sep 19 04:05:42 Starting compiler/encoders/mips/proofs
Sep 19 04:15:19 Finished compiler/encoders/mips/proofs                         9m36s   2GB
Sep 19 04:15:19 Starting compiler/encoders/riscv/proofs
Sep 19 04:23:06 Finished compiler/encoders/riscv/proofs                        7m47s   2GB
Sep 19 04:23:07 Starting compiler/encoders/ag32/proofs
Sep 19 04:25:21 Finished compiler/encoders/ag32/proofs                         2m13s   2GB
Sep 19 04:25:21 Starting compiler/backend/x64/proofs
Sep 19 04:25:40 Finished compiler/backend/x64/proofs                             18s   2GB
Sep 19 04:25:41 Starting compiler/backend/arm7/proofs
Sep 19 04:26:02 Finished compiler/backend/arm7/proofs                            20s   2GB
Sep 19 04:26:02 Starting compiler/backend/arm8/proofs
Sep 19 04:26:20 Finished compiler/backend/arm8/proofs                            17s   2GB
Sep 19 04:26:20 Starting compiler/backend/mips/proofs
Sep 19 04:26:42 Finished compiler/backend/mips/proofs                            20s   2GB
Sep 19 04:26:42 Starting compiler/backend/riscv/proofs
Sep 19 04:27:02 Finished compiler/backend/riscv/proofs                           19s   2GB
Sep 19 04:27:02 Starting compiler/backend/ag32/proofs
Sep 19 04:39:14 Finished compiler/backend/ag32/proofs                         12m11s   9GB
Sep 19 04:39:15 Starting compiler/proofs
Sep 19 04:40:54 Finished compiler/proofs                                       1m38s   3GB
Sep 19 04:40:54 Starting candle/set-theory
Sep 19 04:41:19 Finished candle/set-theory                                       24s   1GB
Sep 19 04:41:19 Starting candle/syntax-lib
Sep 19 04:41:29 Finished candle/syntax-lib                                        9s   1GB
Sep 19 04:41:29 Starting candle/standard/syntax
Sep 19 04:43:07 Finished candle/standard/syntax                                1m37s   2GB
Sep 19 04:43:08 Starting candle/standard/semantics
Sep 19 04:44:44 Finished candle/standard/semantics                             1m35s   3GB
Sep 19 04:44:44 Starting candle/standard/monadic
Sep 19 04:46:14 Finished candle/standard/monadic                               1m29s   2GB
Sep 19 04:46:14 Starting candle/standard/ml_kernel
Sep 19 04:51:08 Finished candle/standard/ml_kernel                             4m53s   5GB
Sep 19 04:51:09 Starting candle/overloading/syntax
Sep 19 04:53:49 Finished candle/overloading/syntax                             2m40s   2GB
Sep 19 04:53:49 Starting candle/overloading/semantics
Sep 19 05:04:45 Finished candle/overloading/semantics                         10m55s   5GB
Sep 19 05:04:45 Starting characteristic/examples
Sep 19 05:06:05 Finished characteristic/examples                               1m18s   7GB
Sep 19 05:06:05 Starting tutorial/solutions
Sep 19 07:06:38 Finished tutorial/solutions                                 2h00m32s  85GB
Sep 19 07:06:38 Starting translator/monadic/examples
Sep 19 07:09:20 Finished translator/monadic/examples                           2m42s   3GB
Sep 19 07:09:21 Starting examples
Sep 19 07:17:35 Finished examples                                              8m13s  12GB
Sep 19 07:17:35 Starting examples/compilation/x64 Sep 19 07:17:35 577s