Job 2173

CakeML:6a6ceafba86179cd5be5976e0c9efc55bb0c44cf
  Merge pull request #963 from CakeML/bvl_to_bvi_aux_names [Jul 21 16:54:16]
HOL:3ce4e267119a5d713010067128d3af2b628f444d
  Add a Holmakefile to examples/vector to ensure it builds [Jul 17 07:06:06]
Machine:pavlova
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Jul 21 17:01:08 Claimed job
Jul 21 17:01:15 Building HOL
Jul 21 17:14:14 Starting developers
Jul 21 17:14:17 Finished developers                                               2s 206MB
Jul 21 17:14:18 Starting developers/bin
Jul 21 17:14:28 Finished developers/bin                                           9s   1GB
Jul 21 17:14:29 Starting compiler/proofs
Jul 21 18:58:24 Finished compiler/proofs                                    1h43m53s  24GB
Jul 21 18:58:25 Starting compiler/bootstrap/translation
Jul 22 02:51:15 Finished compiler/bootstrap/translation                     7h52m48s  74GB
Jul 22 02:51:16 Starting semantics/ffi
Jul 22 02:51:25 Finished semantics/ffi                                            7s 560MB
Jul 22 02:51:25 Starting semantics
Jul 22 02:51:27 Finished semantics                                                0s  63MB
Jul 22 02:51:27 Starting semantics/proofs
Jul 22 02:52:03 Finished semantics/proofs                                        34s   1GB
Jul 22 02:52:04 Starting semantics/alt_semantics
Jul 22 02:52:46 Finished semantics/alt_semantics                                 41s   1GB
Jul 22 02:52:46 Starting semantics/alt_semantics/proofs
Jul 22 03:03:40 Finished semantics/alt_semantics/proofs                       10m52s   6GB
Jul 22 03:03:40 Starting basis/pure
Jul 22 03:03:42 Finished basis/pure                                               0s  75MB
Jul 22 03:03:43 Starting translator
Jul 22 03:05:30 Finished translator                                            1m46s   3GB
Jul 22 03:05:31 Starting compiler/parsing
Jul 22 03:05:32 Finished compiler/parsing                                         0s  69MB
Jul 22 03:05:33 Starting characteristic
Jul 22 03:05:34 Finished characteristic                                           0s  93MB
Jul 22 03:05:35 Starting translator/monadic
Jul 22 03:05:37 Finished translator/monadic                                       0s  90MB
Jul 22 03:05:38 Starting basis
Jul 22 03:09:31 Finished basis                                                 3m52s   4GB
Jul 22 03:09:31 Starting compiler/inference
Jul 22 03:09:33 Finished compiler/inference                                       0s  82MB
Jul 22 03:09:34 Starting compiler/backend/reg_alloc
Jul 22 03:09:35 Finished compiler/backend/reg_alloc                               0s  68MB
Jul 22 03:09:36 Starting compiler/backend/gc
Jul 22 03:09:37 Finished compiler/backend/gc                                      0s 138MB
Jul 22 03:09:38 Starting compiler/backend
Jul 22 03:09:55 Finished compiler/backend                                        15s   1GB
Jul 22 03:09:56 Starting compiler/encoders/asm
Jul 22 03:09:57 Finished compiler/encoders/asm                                    0s  89MB
Jul 22 03:09:58 Starting compiler/encoders/x64
Jul 22 03:09:59 Finished compiler/encoders/x64                                    0s  90MB
Jul 22 03:10:00 Starting compiler/encoders/arm7
Jul 22 03:10:02 Finished compiler/encoders/arm7                                   0s  90MB
Jul 22 03:10:02 Starting compiler/encoders/arm8
Jul 22 03:10:04 Finished compiler/encoders/arm8                                   0s  90MB
Jul 22 03:10:05 Starting compiler/encoders/arm8_asl
Jul 22 05:31:06 Finished compiler/encoders/arm8_asl                         2h20m59s  49GB
Jul 22 05:31:07 Starting compiler/encoders/mips
Jul 22 05:31:08 Finished compiler/encoders/mips                                   0s  90MB
Jul 22 05:31:09 Starting compiler/encoders/riscv
Jul 22 05:31:11 Finished compiler/encoders/riscv                                  0s  90MB
Jul 22 05:31:11 Starting compiler/encoders/ag32
Jul 22 05:31:13 Finished compiler/encoders/ag32                                   0s  89MB
Jul 22 05:31:14 Starting compiler/backend/x64
Jul 22 05:31:15 Finished compiler/backend/x64                                     0s 129MB
Jul 22 05:31:16 Starting compiler/backend/arm7
Jul 22 05:31:18 Finished compiler/backend/arm7                                    0s 130MB
Jul 22 05:31:19 Starting compiler/backend/arm8
Jul 22 05:31:20 Finished compiler/backend/arm8                                    0s 130MB
Jul 22 05:31:21 Starting compiler/backend/mips
Jul 22 05:31:23 Finished compiler/backend/mips                                    0s 130MB
Jul 22 05:31:24 Starting compiler/backend/riscv
Jul 22 05:31:25 Finished compiler/backend/riscv                                   0s 130MB
Jul 22 05:31:26 Starting compiler/backend/ag32
Jul 22 05:32:48 Finished compiler/backend/ag32                                 1m21s   3GB
Jul 22 05:32:49 Starting compiler/parsing/proofs
Jul 22 05:32:50 Finished compiler/parsing/proofs                                  0s  72MB
Jul 22 05:32:51 Starting compiler/inference/proofs
Jul 22 05:32:52 Finished compiler/inference/proofs                                0s  80MB
Jul 22 05:32:53 Starting compiler/backend/semantics
Jul 22 05:34:18 Finished compiler/backend/semantics                            1m23s   2GB
Jul 22 05:34:19 Starting compiler/backend/reg_alloc/proofs
Jul 22 05:34:20 Finished compiler/backend/reg_alloc/proofs                        0s  98MB
Jul 22 05:34:21 Starting compiler/backend/proofs
Jul 22 05:35:24 Finished compiler/backend/proofs                               1m01s   3GB
Jul 22 05:35:25 Starting compiler/backend/serialiser
Jul 22 05:35:27 Finished compiler/backend/serialiser                              1s 181MB
Jul 22 05:35:28 Starting compiler/encoders/x64/proofs
Jul 22 05:45:01 Finished compiler/encoders/x64/proofs                          9m32s   5GB
Jul 22 05:45:02 Starting compiler/encoders/arm7/proofs
Jul 22 05:58:05 Finished compiler/encoders/arm7/proofs                        13m02s  10GB
Jul 22 05:58:06 Starting compiler/encoders/arm8/proofs
Jul 22 06:04:42 Finished compiler/encoders/arm8/proofs                         6m34s   4GB
Jul 22 06:04:42 Starting compiler/encoders/arm8_asl/proofs
Jul 22 06:52:34 Finished compiler/encoders/arm8_asl/proofs                    47m50s  11GB
Jul 22 06:52:35 Starting compiler/encoders/mips/proofs
Jul 22 07:03:02 Finished compiler/encoders/mips/proofs                        10m25s   8GB
Jul 22 07:03:02 Starting compiler/encoders/riscv/proofs
Jul 22 07:11:36 Finished compiler/encoders/riscv/proofs                        8m32s   4GB
Jul 22 07:11:37 Starting compiler/encoders/ag32/proofs
Jul 22 07:14:06 Finished compiler/encoders/ag32/proofs                         2m28s   2GB
Jul 22 07:14:07 Starting compiler/backend/x64/proofs
Jul 22 07:14:49 Finished compiler/backend/x64/proofs                             41s   3GB
Jul 22 07:14:50 Starting compiler/backend/arm7/proofs
Jul 22 07:15:35 Finished compiler/backend/arm7/proofs                            44s   2GB
Jul 22 07:15:36 Starting compiler/backend/arm8/proofs
Jul 22 07:16:17 Finished compiler/backend/arm8/proofs                            40s   2GB
Jul 22 07:16:18 Starting compiler/backend/arm8_asl
Jul 22 07:16:47 Finished compiler/backend/arm8_asl                               27s   2GB
Jul 22 07:16:48 Starting compiler/backend/mips/proofs
Jul 22 07:17:32 Finished compiler/backend/mips/proofs                            43s   3GB
Jul 22 07:17:33 Starting compiler/backend/riscv/proofs
Jul 22 07:18:26 Finished compiler/backend/riscv/proofs                           51s   3GB
Jul 22 07:18:26 Starting compiler/backend/ag32/proofs
Jul 22 07:31:52 Finished compiler/backend/ag32/proofs                         13m24s   5GB
Jul 22 07:31:53 Starting candle/set-theory
Jul 22 07:32:37 Finished candle/set-theory                                       43s   1GB
Jul 22 07:32:38 Starting candle/syntax-lib
Jul 22 07:32:39 Finished candle/syntax-lib                                        0s  75MB
Jul 22 07:32:40 Starting candle/standard/syntax
Jul 22 07:32:55 Finished candle/standard/syntax                                  14s   1GB
Jul 22 07:32:56 Starting candle/standard/semantics
Jul 22 07:35:23 Finished candle/standard/semantics                             2m25s   3GB
Jul 22 07:35:24 Starting candle/standard/monadic
Jul 22 07:35:25 Finished candle/standard/monadic                                  0s 105MB
Jul 22 07:35:26 Starting candle/standard/ml_kernel
Jul 22 07:37:15 Finished candle/standard/ml_kernel                             1m48s   6GB
Jul 22 07:37:16 Starting candle/overloading/syntax
Jul 22 07:40:43 Finished candle/overloading/syntax                             3m26s   3GB
Jul 22 07:40:44 Starting candle/overloading/semantics
Jul 22 07:52:19 Finished candle/overloading/semantics                         11m34s   7GB
Jul 22 07:52:20 Starting candle/overloading/monadic
Jul 22 07:54:52 Finished candle/overloading/monadic                            2m29s   2GB
Jul 22 07:54:53 Starting candle/overloading/ml_kernel
Jul 22 08:02:28 Finished candle/overloading/ml_kernel                          7m34s   6GB
Jul 22 08:02:29 Starting candle/overloading/ml_checker
Jul 22 08:05:01 Finished candle/overloading/ml_checker                         2m31s   7GB
Jul 22 08:05:01 Starting candle/prover
Jul 22 08:14:53 Finished candle/prover                                         9m51s   5GB
Jul 22 08:14:54 Starting pancake
Jul 22 08:15:53 Finished pancake                                                 58s   1GB
Jul 22 08:15:54 Starting pancake/ffi
Jul 22 08:15:55 Finished pancake/ffi                                              0s  20MB
Jul 22 08:15:56 Starting pancake/semantics
Jul 22 08:18:14 Finished pancake/semantics                                     2m16s   2GB
Jul 22 08:18:15 Starting pancake/parser
Jul 22 08:18:38 Finished pancake/parser                                          22s   1GB
Jul 22 08:18:39 Starting pancake/proofs
Jul 22 08:48:21 Finished pancake/proofs                                       29m41s   8GB
Jul 22 08:48:22 Starting characteristic/examples
Jul 22 08:49:56 Finished characteristic/examples                               1m32s   6GB
Jul 22 08:49:57 Starting tutorial/solutions
Jul 22 09:05:19 Finished tutorial/solutions                                   15m19s  12GB
Jul 22 09:05:20 Starting translator/monadic/examples
Jul 22 09:08:58 Finished translator/monadic/examples                           3m36s   5GB
Jul 22 09:08:59 Starting examples
Jul 22 09:23:29 Finished examples                                             14m29s   7GB
Jul 22 09:23:30 Starting examples/compilation/x64
Jul 22 11:19:03 Finished examples/compilation/x64                           1h55m32s  21GB
Jul 22 11:19:04 Starting examples/compilation/x64/proofs
Jul 22 11:22:49 Finished examples/compilation/x64/proofs                       3m43s   6GB
Jul 22 11:22:50 Starting examples/compilation/ag32
Jul 22 11:53:07 Finished examples/compilation/ag32                            30m16s   9GB
Jul 22 11:53:08 Starting examples/compilation/ag32/proofs
Jul 22 11:54:34 Finished examples/compilation/ag32/proofs                      1m25s   7GB
Jul 22 11:54:35 Starting examples/compilation/to_word
Jul 22 11:58:30 Finished examples/compilation/to_word                          3m54s  12GB
Jul 22 11:58:31 Starting examples/lpr_checker
Jul 22 11:59:46 Finished examples/lpr_checker                                  1m13s   2GB
Jul 22 11:59:47 Starting examples/lpr_checker/array
Jul 22 12:34:39 Finished examples/lpr_checker/array                           34m50s  13GB
Jul 22 12:34:40 Starting examples/lpr_checker/array/compilation
Jul 22 13:08:39 Finished examples/lpr_checker/array/compilation               33m58s  51GB
Jul 22 13:08:40 Starting examples/lpr_checker/array/compilation/proofs
Jul 22 13:10:33 Finished examples/lpr_checker/array/compilation/proofs         1m52s  10GB
Jul 22 13:10:34 Starting examples/opentheory
Jul 22 13:21:20 Finished examples/opentheory                                  10m44s   7GB
Jul 22 13:21:20 Starting examples/opentheory
Jul 22 13:21:22 Finished examples/opentheory                                      0s 133MB
Jul 22 13:21:23 Starting examples/opentheory/compilation
Jul 22 13:57:45 Finished examples/opentheory/compilation                      36m20s  50GB
Jul 22 13:57:45 Starting examples/opentheory/compilation/proofs
Jul 22 13:59:12 Finished examples/opentheory/compilation/proofs                1m25s   6GB
Jul 22 13:59:12 Starting examples/opentheory/compilation/ag32
Jul 22 14:30:52 Finished examples/opentheory/compilation/ag32                 31m39s  47GB
Jul 22 14:30:53 Starting examples/opentheory/compilation/ag32/proofs
Jul 22 14:33:14 Finished examples/opentheory/compilation/ag32/proofs           2m20s  11GB
Jul 22 14:33:15 Starting examples/sat_encodings
Jul 22 14:35:51 Finished examples/sat_encodings                                2m34s   1GB
Jul 22 14:35:52 Starting examples/sat_encodings/case_studies
Jul 22 14:37:51 Finished examples/sat_encodings/case_studies                   1m57s   2GB
Jul 22 14:37:51 Starting examples/sat_encodings/translation
Jul 22 14:43:59 Finished examples/sat_encodings/translation                    6m07s   7GB
Jul 22 14:44:00 Starting examples/sat_encodings/translation/compilation
Jul 22 15:18:58 Finished examples/sat_encodings/translation/compilation       34m55s  35GB
Jul 22 15:18:59 Starting examples/deflate
Jul 22 15:20:14 Finished examples/deflate                                      1m14s   1GB
Jul 22 15:20:15 Starting examples/deflate/translation
Jul 22 15:21:50 Finished examples/deflate/translation                          1m34s   7GB
Jul 22 15:21:51 Starting examples/deflate/translation/compilation
Jul 22 15:37:55 Finished examples/deflate/translation/compilation             16m03s  21GB
Jul 22 15:37:56 Starting examples/vipr
Jul 22 15:41:58 Finished examples/vipr                                         4m01s   5GB
Jul 22 15:41:59 Starting examples/vipr/compilation
Jul 22 16:01:59 Finished examples/vipr/compilation                            19m59s  38GB
Jul 22 16:02:00 Starting translator/okasaki-examples
Jul 22 16:06:54 Finished translator/okasaki-examples                           4m53s   3GB
Jul 22 16:06:55 Starting translator/other-examples
Jul 22 16:10:29 Finished translator/other-examples                             3m32s   3GB
Jul 22 16:10:29 Starting compiler/parsing/tests
Jul 22 16:11:03 Finished compiler/parsing/tests                                  32s   1GB
Jul 22 16:11:04 Starting compiler/inference/tests
Jul 22 16:18:37 Finished compiler/inference/tests                              7m32s   8GB
Jul 22 16:18:38 Starting compiler/printing/test
Jul 22 16:22:08 Finished compiler/printing/test                                3m28s   6GB
Jul 22 16:22:09 Starting icing/flover
Jul 22 16:57:14 Finished icing/flover                                         35m04s   3GB
Jul 22 16:57:15 Starting icing/
Jul 22 17:53:44 Finished icing/                                               56m25s  29GB
Jul 22 17:53:45 Starting icing/examples
Jul 22 17:55:26 Finished icing/examples                                        1m40s   8GB
Jul 22 17:55:27 Starting compiler/repl
Jul 22 18:04:07 Finished compiler/repl                                         8m39s   9GB
Jul 22 18:04:08 Starting unverified/sexpr-bootstrap/x64/64
Jul 22 18:15:21 Finished unverified/sexpr-bootstrap/x64/64                    10m50s  16GB
Jul 22 18:15:22 Starting unverified/sexpr-bootstrap/x64/32
Jul 22 18:24:46 Finished unverified/sexpr-bootstrap/x64/32                     9m06s  12GB
Jul 22 18:24:47 Starting compiler/benchmarks
Jul 22 18:25:32 Finished compiler/benchmarks                                     43s 713MB
Jul 22 18:25:32 Starting compiler/bootstrap/compilation/x64/64
Jul 23 08:22:18 Finished compiler/bootstrap/compilation/x64/64             13h56m33s 163GB
Jul 23 08:22:19 Starting compiler/bootstrap/compilation/x64/64/proofs
Jul 23 08:43:16 Finished compiler/bootstrap/compilation/x64/64/proofs         20m56s  38GB
Jul 23 08:43:17 Starting compiler/bootstrap/compilation/x64/32
Jul 23 15:39:59 Finished compiler/bootstrap/compilation/x64/32              6h56m32s 109GB
Jul 23 15:39:59 Starting compiler/bootstrap/compilation/x64/32/proofs
Jul 23 15:43:29 Finished compiler/bootstrap/compilation/x64/32/proofs          3m28s  18GB
Jul 23 15:43:30 Starting compiler/bootstrap/compilation/ag32/32
Jul 23 22:49:20 Finished compiler/bootstrap/compilation/ag32/32             7h05m48s 109GB
Jul 23 22:49:20 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jul 23 22:56:35 Finished compiler/bootstrap/compilation/ag32/32/proofs         7m13s  42GB
Jul 23 22:56:36 SUCCESS