Job 2168

CakeML:56a83d59d928f8670f6a12210c89b29fdc084d27
  More permissive no_closures and minor tidy up [Jul 13 21:09:55]
#962 (fix-no-clos)
Merging into:c530285ee87d71e48f9f1f5689976e9dca729e35
  Merge pull request #960 from CakeML/pan_parse_build [Jul 13 08:44:54]
HOL:b0b4d6822b4ca1fb28417db0427d08d61e121d17
  Fix Unicode; other minor tidy-ups [Jul 05 06:01:40]
Machine:pavlova

Jul 15 10:42:58 Claimed job
Jul 15 10:43:02 Reusing HOL
Jul 15 10:43:12 Starting developers
Jul 15 10:43:15 Finished developers                                               2s 197MB
Jul 15 10:43:16 Starting developers/bin
Jul 15 10:43:26 Finished developers/bin                                           9s   1GB
Jul 15 10:43:27 Starting compiler/proofs
Jul 15 12:24:45 Finished compiler/proofs                                    1h41m16s  38GB
Jul 15 12:24:46 Starting compiler/bootstrap/translation
Jul 15 20:17:08 Finished compiler/bootstrap/translation                     7h52m20s  82GB
Jul 15 20:17:09 Starting semantics/ffi
Jul 15 20:17:17 Finished semantics/ffi                                            7s 617MB
Jul 15 20:17:18 Starting semantics
Jul 15 20:17:19 Finished semantics                                                0s  64MB
Jul 15 20:17:20 Starting semantics/proofs
Jul 15 20:17:55 Finished semantics/proofs                                        34s   2GB
Jul 15 20:17:56 Starting semantics/alt_semantics
Jul 15 20:18:35 Finished semantics/alt_semantics                                 38s   1GB
Jul 15 20:18:36 Starting semantics/alt_semantics/proofs
Jul 15 20:29:35 Finished semantics/alt_semantics/proofs                       10m58s   3GB
Jul 15 20:29:36 Starting basis/pure
Jul 15 20:29:38 Finished basis/pure                                               0s  68MB
Jul 15 20:29:38 Starting translator
Jul 15 20:31:22 Finished translator                                            1m42s   3GB
Jul 15 20:31:23 Starting compiler/parsing
Jul 15 20:31:24 Finished compiler/parsing                                         0s  69MB
Jul 15 20:31:25 Starting characteristic
Jul 15 20:31:26 Finished characteristic                                           0s  92MB
Jul 15 20:31:27 Starting translator/monadic
Jul 15 20:31:29 Finished translator/monadic                                       0s  93MB
Jul 15 20:31:29 Starting basis
Jul 15 20:35:21 Finished basis                                                 3m50s   5GB
Jul 15 20:35:22 Starting compiler/inference
Jul 15 20:35:23 Finished compiler/inference                                       0s  81MB
Jul 15 20:35:24 Starting compiler/backend/reg_alloc
Jul 15 20:35:25 Finished compiler/backend/reg_alloc                               0s  68MB
Jul 15 20:35:26 Starting compiler/backend/gc
Jul 15 20:35:28 Finished compiler/backend/gc                                      0s 137MB
Jul 15 20:35:28 Starting compiler/backend
Jul 15 20:35:46 Finished compiler/backend                                        16s   1GB
Jul 15 20:35:47 Starting compiler/encoders/asm
Jul 15 20:35:48 Finished compiler/encoders/asm                                    0s  88MB
Jul 15 20:35:49 Starting compiler/encoders/x64
Jul 15 20:35:51 Finished compiler/encoders/x64                                    0s  90MB
Jul 15 20:35:51 Starting compiler/encoders/arm7
Jul 15 20:35:53 Finished compiler/encoders/arm7                                   0s  90MB
Jul 15 20:35:54 Starting compiler/encoders/arm8
Jul 15 20:35:55 Finished compiler/encoders/arm8                                   0s  90MB
Jul 15 20:35:56 Starting compiler/encoders/arm8_asl
Jul 15 20:38:21 Finished compiler/encoders/arm8_asl                            2m24s   1GB
Jul 15 20:38:22 Starting compiler/encoders/mips
Jul 15 20:38:23 Finished compiler/encoders/mips                                   0s  89MB
Jul 15 20:38:24 Starting compiler/encoders/riscv
Jul 15 20:38:26 Finished compiler/encoders/riscv                                  0s  90MB
Jul 15 20:38:26 Starting compiler/encoders/ag32
Jul 15 20:38:28 Finished compiler/encoders/ag32                                   0s  89MB
Jul 15 20:38:29 Starting compiler/backend/x64
Jul 15 20:38:30 Finished compiler/backend/x64                                     0s 128MB
Jul 15 20:38:31 Starting compiler/backend/arm7
Jul 15 20:38:33 Finished compiler/backend/arm7                                    0s 128MB
Jul 15 20:38:34 Starting compiler/backend/arm8
Jul 15 20:38:35 Finished compiler/backend/arm8                                    0s 128MB
Jul 15 20:38:36 Starting compiler/backend/mips
Jul 15 20:38:38 Finished compiler/backend/mips                                    0s 128MB
Jul 15 20:38:39 Starting compiler/backend/riscv
Jul 15 20:38:40 Finished compiler/backend/riscv                                   0s 128MB
Jul 15 20:38:41 Starting compiler/backend/ag32
Jul 15 20:40:03 Finished compiler/backend/ag32                                 1m20s   2GB
Jul 15 20:40:03 Starting compiler/parsing/proofs
Jul 15 20:40:05 Finished compiler/parsing/proofs                                  0s  72MB
Jul 15 20:40:06 Starting compiler/inference/proofs
Jul 15 20:40:07 Finished compiler/inference/proofs                                0s  82MB
Jul 15 20:40:08 Starting compiler/backend/semantics
Jul 15 20:41:33 Finished compiler/backend/semantics                            1m24s   3GB
Jul 15 20:41:34 Starting compiler/backend/reg_alloc/proofs
Jul 15 20:41:36 Finished compiler/backend/reg_alloc/proofs                        0s  98MB
Jul 15 20:41:36 Starting compiler/backend/proofs
Jul 15 20:42:40 Finished compiler/backend/proofs                               1m02s   4GB
Jul 15 20:42:41 Starting compiler/backend/serialiser
Jul 15 20:42:43 Finished compiler/backend/serialiser                              1s 193MB
Jul 15 20:42:44 Starting compiler/encoders/x64/proofs
Jul 15 20:52:22 Finished compiler/encoders/x64/proofs                          9m37s   5GB
Jul 15 20:52:23 Starting compiler/encoders/arm7/proofs
Jul 15 21:05:30 Finished compiler/encoders/arm7/proofs                        13m06s   9GB
Jul 15 21:05:31 Starting compiler/encoders/arm8/proofs
Jul 15 21:12:16 Finished compiler/encoders/arm8/proofs                         6m44s   4GB
Jul 15 21:12:17 Starting compiler/encoders/arm8_asl/proofs
Jul 15 21:26:21 Finished compiler/encoders/arm8_asl/proofs                    14m03s   4GB
Jul 15 21:26:22 Starting compiler/encoders/mips/proofs
Jul 15 21:36:23 Finished compiler/encoders/mips/proofs                         9m59s   6GB
Jul 15 21:36:23 Starting compiler/encoders/riscv/proofs
Jul 15 21:45:08 Finished compiler/encoders/riscv/proofs                        8m43s   5GB
Jul 15 21:45:09 Starting compiler/encoders/ag32/proofs
Jul 15 21:47:35 Finished compiler/encoders/ag32/proofs                         2m25s   2GB
Jul 15 21:47:36 Starting compiler/backend/x64/proofs
Jul 15 21:48:16 Finished compiler/backend/x64/proofs                             39s   2GB
Jul 15 21:48:17 Starting compiler/backend/arm7/proofs
Jul 15 21:48:59 Finished compiler/backend/arm7/proofs                            41s   2GB
Jul 15 21:49:00 Starting compiler/backend/arm8/proofs
Jul 15 21:49:40 Finished compiler/backend/arm8/proofs                            39s   3GB
Jul 15 21:49:41 Starting compiler/backend/arm8_asl
Jul 15 21:50:11 Finished compiler/backend/arm8_asl                               28s   2GB
Jul 15 21:50:11 Starting compiler/backend/mips/proofs
Jul 15 21:50:54 Finished compiler/backend/mips/proofs                            42s   3GB
Jul 15 21:50:55 Starting compiler/backend/riscv/proofs
Jul 15 21:51:46 Finished compiler/backend/riscv/proofs                           49s   3GB
Jul 15 21:51:47 Starting compiler/backend/ag32/proofs
Jul 15 22:04:59 Finished compiler/backend/ag32/proofs                         13m11s   6GB
Jul 15 22:05:00 Starting candle/set-theory
Jul 15 22:05:44 Finished candle/set-theory                                       43s   1GB
Jul 15 22:05:45 Starting candle/syntax-lib
Jul 15 22:05:46 Finished candle/syntax-lib                                        0s  73MB
Jul 15 22:05:47 Starting candle/standard/syntax
Jul 15 22:06:03 Finished candle/standard/syntax                                  15s   1GB
Jul 15 22:06:04 Starting candle/standard/semantics
Jul 15 22:08:28 Finished candle/standard/semantics                             2m22s   3GB
Jul 15 22:08:29 Starting candle/standard/monadic
Jul 15 22:08:30 Finished candle/standard/monadic                                  0s 104MB
Jul 15 22:08:31 Starting candle/standard/ml_kernel
Jul 15 22:10:23 Finished candle/standard/ml_kernel                             1m51s   6GB
Jul 15 22:10:24 Starting candle/overloading/syntax
Jul 15 22:13:53 Finished candle/overloading/syntax                             3m28s   3GB
Jul 15 22:13:54 Starting candle/overloading/semantics
Jul 15 22:25:21 Finished candle/overloading/semantics                         11m25s   4GB
Jul 15 22:25:21 Starting candle/overloading/monadic
Jul 15 22:27:59 Finished candle/overloading/monadic                            2m35s   3GB
Jul 15 22:28:00 Starting candle/overloading/ml_kernel
Jul 15 22:35:35 Finished candle/overloading/ml_kernel                          7m34s   6GB
Jul 15 22:35:36 Starting candle/overloading/ml_checker
Jul 15 22:38:11 Finished candle/overloading/ml_checker                         2m33s   7GB
Jul 15 22:38:11 Starting candle/prover
Jul 15 22:48:05 Finished candle/prover                                         9m52s   5GB
Jul 15 22:48:05 Starting pancake
Jul 15 22:49:04 Finished pancake                                                 57s   1GB
Jul 15 22:49:05 Starting pancake/ffi
Jul 15 22:49:05 Finished pancake/ffi                                              0s  21MB
Jul 15 22:49:06 Starting pancake/semantics
Jul 15 22:51:22 Finished pancake/semantics                                     2m15s   2GB
Jul 15 22:51:23 Starting pancake/parser
Jul 15 22:51:47 Finished pancake/parser                                          23s   1GB
Jul 15 22:51:48 Starting pancake/proofs
Jul 15 23:21:30 Finished pancake/proofs                                       29m41s   8GB
Jul 15 23:21:31 Starting characteristic/examples
Jul 15 23:23:02 Finished characteristic/examples                               1m30s   6GB
Jul 15 23:23:03 Starting tutorial/solutions
Jul 15 23:38:07 Finished tutorial/solutions                                   15m03s  12GB
Jul 15 23:38:08 Starting translator/monadic/examples
Jul 15 23:41:52 Finished translator/monadic/examples                           3m43s   5GB
Jul 15 23:41:53 Starting examples
Jul 15 23:56:43 Finished examples                                             14m49s   7GB
Jul 15 23:56:44 Starting examples/compilation/x64
Jul 16 01:52:39 Finished examples/compilation/x64                           1h55m53s  19GB
Jul 16 01:52:40 Starting examples/compilation/x64/proofs
Jul 16 01:56:20 Finished examples/compilation/x64/proofs                       3m39s   6GB
Jul 16 01:56:21 Starting examples/compilation/ag32
Jul 16 02:25:55 Finished examples/compilation/ag32                            29m33s  16GB
Jul 16 02:25:56 Starting examples/compilation/ag32/proofs
Jul 16 02:27:28 Finished examples/compilation/ag32/proofs                      1m31s   7GB
Jul 16 02:27:29 Starting examples/compilation/to_word
Jul 16 02:31:17 Finished examples/compilation/to_word                          3m47s  11GB
Jul 16 02:31:18 Starting examples/lpr_checker
Jul 16 02:32:33 Finished examples/lpr_checker                                  1m14s   2GB
Jul 16 02:32:34 Starting examples/lpr_checker/array
Jul 16 03:07:33 Finished examples/lpr_checker/array                           34m57s   8GB
Jul 16 03:07:34 Starting examples/lpr_checker/array/compilation
Jul 16 03:42:06 Finished examples/lpr_checker/array/compilation               34m30s  36GB
Jul 16 03:42:06 Starting examples/lpr_checker/array/compilation/proofs
Jul 16 03:43:59 Finished examples/lpr_checker/array/compilation/proofs         1m51s   9GB
Jul 16 03:44:00 Starting examples/opentheory
Jul 16 03:54:49 Finished examples/opentheory                                  10m48s   7GB
Jul 16 03:54:50 Starting examples/opentheory
Jul 16 03:54:52 Finished examples/opentheory                                      0s 128MB
Jul 16 03:54:53 Starting examples/opentheory/compilation
Jul 16 04:30:24 Finished examples/opentheory/compilation                      35m29s  51GB
Jul 16 04:30:24 Starting examples/opentheory/compilation/proofs
Jul 16 04:31:53 Finished examples/opentheory/compilation/proofs                1m28s   7GB
Jul 16 04:31:54 Starting examples/opentheory/compilation/ag32
Jul 16 05:03:34 Finished examples/opentheory/compilation/ag32                 31m39s  35GB
Jul 16 05:03:35 Starting examples/opentheory/compilation/ag32/proofs
Jul 16 05:05:51 Finished examples/opentheory/compilation/ag32/proofs           2m15s  11GB
Jul 16 05:05:52 Starting examples/sat_encodings
Jul 16 05:08:26 Finished examples/sat_encodings                                2m33s   1GB
Jul 16 05:08:27 Starting examples/sat_encodings/case_studies
Jul 16 05:10:26 Finished examples/sat_encodings/case_studies                   1m57s   1GB
Jul 16 05:10:26 Starting examples/sat_encodings/translation
Jul 16 05:16:32 Finished examples/sat_encodings/translation                    6m05s   7GB
Jul 16 05:16:33 Starting examples/sat_encodings/translation/compilation
Jul 16 05:50:54 Finished examples/sat_encodings/translation/compilation       34m18s  20GB
Jul 16 05:50:55 Starting examples/deflate
Jul 16 05:52:09 Finished examples/deflate                                      1m13s   1GB
Jul 16 05:52:10 Starting examples/deflate/translation
Jul 16 05:53:47 Finished examples/deflate/translation                          1m36s   7GB
Jul 16 05:53:48 Starting examples/deflate/translation/compilation
Jul 16 06:10:59 Finished examples/deflate/translation/compilation             17m10s  19GB
Jul 16 06:11:00 Starting examples/vipr
Jul 16 06:15:00 Finished examples/vipr                                         3m59s   7GB
Jul 16 06:15:01 Starting examples/vipr/compilation
Jul 16 06:35:08 Finished examples/vipr/compilation                            20m06s  21GB
Jul 16 06:35:09 Starting translator/okasaki-examples
Jul 16 06:40:04 Finished translator/okasaki-examples                           4m53s   4GB
Jul 16 06:40:04 Starting translator/other-examples
Jul 16 06:41:12 Finished translator/other-examples                             1m06s   3GB
Jul 16 06:41:13 Starting compiler/parsing/tests
Jul 16 06:41:46 Finished compiler/parsing/tests                                  32s   1GB
Jul 16 06:41:47 Starting compiler/inference/tests
Jul 16 06:49:16 Finished compiler/inference/tests                              7m28s   7GB
Jul 16 06:49:17 Starting compiler/printing/test
Jul 16 06:52:48 Finished compiler/printing/test                                3m28s   6GB
Jul 16 06:52:49 Starting icing/flover
Jul 16 07:29:01 Finished icing/flover                                         36m11s   4GB
Jul 16 07:29:02 Starting icing/
Jul 16 08:26:01 Finished icing/                                               56m57s  31GB
Jul 16 08:26:02 Starting icing/examples
Jul 16 08:27:45 Finished icing/examples                                        1m41s   8GB
Jul 16 08:27:45 Starting compiler/repl
Jul 16 08:36:35 Finished compiler/repl                                         8m49s   9GB
Jul 16 08:36:36 Starting unverified/sexpr-bootstrap/x64/64
Jul 16 08:47:25 Finished unverified/sexpr-bootstrap/x64/64                    10m47s  15GB
Jul 16 08:47:26 Starting unverified/sexpr-bootstrap/x64/32
Jul 16 08:56:11 Finished unverified/sexpr-bootstrap/x64/32                     8m44s  14GB
Jul 16 08:56:11 Starting compiler/benchmarks
Jul 16 08:56:56 Finished compiler/benchmarks                                     43s 713MB
Jul 16 08:56:57 Starting compiler/bootstrap/compilation/x64/64
Jul 16 22:48:29 Finished compiler/bootstrap/compilation/x64/64             13h51m30s 161GB
Jul 16 22:48:30 Starting compiler/bootstrap/compilation/x64/64/proofs
Jul 16 23:09:19 Finished compiler/bootstrap/compilation/x64/64/proofs         20m48s  41GB
Jul 16 23:09:20 Starting compiler/bootstrap/compilation/x64/32
Jul 17 06:01:57 Finished compiler/bootstrap/compilation/x64/32              6h52m35s 118GB
Jul 17 06:01:58 Starting compiler/bootstrap/compilation/x64/32/proofs
Jul 17 06:05:28 Finished compiler/bootstrap/compilation/x64/32/proofs          3m29s  17GB
Jul 17 06:05:29 Starting compiler/bootstrap/compilation/ag32/32
Jul 17 13:19:13 Finished compiler/bootstrap/compilation/ag32/32             7h13m41s 119GB
Jul 17 13:19:14 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jul 17 13:26:48 Finished compiler/bootstrap/compilation/ag32/32/proofs         7m33s  49GB
Jul 17 13:26:49 SUCCESS