Job 2163

CakeML:23b458869d6cee82f5c6fb8f93f3ca797267490b
  Merge pull request #958 from CakeML/pan_compose [Jul 05 12:35:24]
HOL:b0b4d6822b4ca1fb28417db0427d08d61e121d17
  Fix Unicode; other minor tidy-ups [Jul 05 06:01:40]
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 13 08:26:13 Claimed job
Jul 13 08:26:17 Reusing HOL
Jul 13 08:26:27 Starting developers
Jul 13 08:26:30 Finished developers                                               2s 207MB
Jul 13 08:26:31 Starting developers/bin
Jul 13 08:26:41 Finished developers/bin                                           9s   1GB
Jul 13 08:26:42 Starting compiler/proofs
Jul 13 10:07:28 Finished compiler/proofs                                    1h40m44s  26GB
Jul 13 10:07:29 Starting compiler/bootstrap/translation
Jul 13 18:06:40 Finished compiler/bootstrap/translation                     7h59m09s  65GB
Jul 13 18:06:41 Starting semantics/ffi
Jul 13 18:06:49 Finished semantics/ffi                                            7s 617MB
Jul 13 18:06:50 Starting semantics
Jul 13 18:06:51 Finished semantics                                                0s  63MB
Jul 13 18:06:52 Starting semantics/proofs
Jul 13 18:07:27 Finished semantics/proofs                                        34s   2GB
Jul 13 18:07:28 Starting semantics/alt_semantics
Jul 13 18:08:06 Finished semantics/alt_semantics                                 36s   1GB
Jul 13 18:08:07 Starting semantics/alt_semantics/proofs
Jul 13 18:19:03 Finished semantics/alt_semantics/proofs                       10m55s   3GB
Jul 13 18:19:04 Starting basis/pure
Jul 13 18:19:05 Finished basis/pure                                               0s  68MB
Jul 13 18:19:06 Starting translator
Jul 13 18:20:49 Finished translator                                            1m41s   3GB
Jul 13 18:20:49 Starting compiler/parsing
Jul 13 18:20:51 Finished compiler/parsing                                         0s  69MB
Jul 13 18:20:51 Starting characteristic
Jul 13 18:20:53 Finished characteristic                                           0s  92MB
Jul 13 18:20:54 Starting translator/monadic
Jul 13 18:20:55 Finished translator/monadic                                       0s  92MB
Jul 13 18:20:56 Starting basis
Jul 13 18:24:51 Finished basis                                                 3m54s   5GB
Jul 13 18:24:52 Starting compiler/inference
Jul 13 18:24:53 Finished compiler/inference                                       0s  81MB
Jul 13 18:24:54 Starting compiler/backend/reg_alloc
Jul 13 18:24:55 Finished compiler/backend/reg_alloc                               0s  68MB
Jul 13 18:24:56 Starting compiler/backend/gc
Jul 13 18:24:58 Finished compiler/backend/gc                                      0s 137MB
Jul 13 18:24:59 Starting compiler/backend
Jul 13 18:25:17 Finished compiler/backend                                        17s   1GB
Jul 13 18:25:18 Starting compiler/encoders/asm
Jul 13 18:25:19 Finished compiler/encoders/asm                                    0s  88MB
Jul 13 18:25:20 Starting compiler/encoders/x64
Jul 13 18:25:21 Finished compiler/encoders/x64                                    0s  89MB
Jul 13 18:25:22 Starting compiler/encoders/arm7
Jul 13 18:25:23 Finished compiler/encoders/arm7                                   0s  90MB
Jul 13 18:25:24 Starting compiler/encoders/arm8
Jul 13 18:25:26 Finished compiler/encoders/arm8                                   0s  90MB
Jul 13 18:25:26 Starting compiler/encoders/arm8_asl
Jul 13 18:27:37 Finished compiler/encoders/arm8_asl                            2m09s   1GB
Jul 13 18:27:37 Starting compiler/encoders/mips
Jul 13 18:27:39 Finished compiler/encoders/mips                                   0s  90MB
Jul 13 18:27:40 Starting compiler/encoders/riscv
Jul 13 18:27:41 Finished compiler/encoders/riscv                                  0s  90MB
Jul 13 18:27:42 Starting compiler/encoders/ag32
Jul 13 18:27:43 Finished compiler/encoders/ag32                                   0s  89MB
Jul 13 18:27:44 Starting compiler/backend/x64
Jul 13 18:27:46 Finished compiler/backend/x64                                     0s 128MB
Jul 13 18:27:46 Starting compiler/backend/arm7
Jul 13 18:27:48 Finished compiler/backend/arm7                                    0s 128MB
Jul 13 18:27:49 Starting compiler/backend/arm8
Jul 13 18:27:51 Finished compiler/backend/arm8                                    0s 128MB
Jul 13 18:27:51 Starting compiler/backend/mips
Jul 13 18:27:53 Finished compiler/backend/mips                                    0s 128MB
Jul 13 18:27:54 Starting compiler/backend/riscv
Jul 13 18:27:56 Finished compiler/backend/riscv                                   0s 128MB
Jul 13 18:27:56 Starting compiler/backend/ag32
Jul 13 18:29:17 Finished compiler/backend/ag32                                 1m20s   2GB
Jul 13 18:29:18 Starting compiler/parsing/proofs
Jul 13 18:29:20 Finished compiler/parsing/proofs                                  0s  72MB
Jul 13 18:29:20 Starting compiler/inference/proofs
Jul 13 18:29:22 Finished compiler/inference/proofs                                0s  81MB
Jul 13 18:29:23 Starting compiler/backend/semantics
Jul 13 18:30:48 Finished compiler/backend/semantics                            1m24s   3GB
Jul 13 18:30:49 Starting compiler/backend/reg_alloc/proofs
Jul 13 18:30:50 Finished compiler/backend/reg_alloc/proofs                        0s  98MB
Jul 13 18:30:51 Starting compiler/backend/proofs
Jul 13 18:31:52 Finished compiler/backend/proofs                                 59s   2GB
Jul 13 18:31:52 Starting compiler/backend/serialiser
Jul 13 18:31:54 Finished compiler/backend/serialiser                              1s 193MB
Jul 13 18:31:55 Starting compiler/encoders/x64/proofs
Jul 13 18:41:31 Finished compiler/encoders/x64/proofs                          9m34s   5GB
Jul 13 18:41:32 Starting compiler/encoders/arm7/proofs
Jul 13 18:54:29 Finished compiler/encoders/arm7/proofs                        12m56s  11GB
Jul 13 18:54:30 Starting compiler/encoders/arm8/proofs
Jul 13 19:00:59 Finished compiler/encoders/arm8/proofs                         6m27s   4GB
Jul 13 19:01:00 Starting compiler/encoders/arm8_asl/proofs
Jul 13 19:15:17 Finished compiler/encoders/arm8_asl/proofs                    14m15s   4GB
Jul 13 19:15:18 Starting compiler/encoders/mips/proofs
Jul 13 19:25:37 Finished compiler/encoders/mips/proofs                        10m18s   5GB
Jul 13 19:25:38 Starting compiler/encoders/riscv/proofs
Jul 13 19:33:53 Finished compiler/encoders/riscv/proofs                        8m14s   4GB
Jul 13 19:33:54 Starting compiler/encoders/ag32/proofs
Jul 13 19:36:19 Finished compiler/encoders/ag32/proofs                         2m24s   2GB
Jul 13 19:36:20 Starting compiler/backend/x64/proofs
Jul 13 19:37:01 Finished compiler/backend/x64/proofs                             39s   2GB
Jul 13 19:37:01 Starting compiler/backend/arm7/proofs
Jul 13 19:37:47 Finished compiler/backend/arm7/proofs                            44s   3GB
Jul 13 19:37:48 Starting compiler/backend/arm8/proofs
Jul 13 19:38:26 Finished compiler/backend/arm8/proofs                            37s   2GB
Jul 13 19:38:27 Starting compiler/backend/arm8_asl
Jul 13 19:38:56 Finished compiler/backend/arm8_asl                               27s   2GB
Jul 13 19:38:57 Starting compiler/backend/mips/proofs
Jul 13 19:39:40 Finished compiler/backend/mips/proofs                            42s   3GB
Jul 13 19:39:41 Starting compiler/backend/riscv/proofs
Jul 13 19:40:31 Finished compiler/backend/riscv/proofs                           49s   3GB
Jul 13 19:40:32 Starting compiler/backend/ag32/proofs
Jul 13 19:53:56 Finished compiler/backend/ag32/proofs                         13m22s   4GB
Jul 13 19:53:57 Starting candle/set-theory
Jul 13 19:54:40 Finished candle/set-theory                                       42s   1GB
Jul 13 19:54:41 Starting candle/syntax-lib
Jul 13 19:54:42 Finished candle/syntax-lib                                        0s  73MB
Jul 13 19:54:43 Starting candle/standard/syntax
Jul 13 19:55:00 Finished candle/standard/syntax                                  15s   1GB
Jul 13 19:55:00 Starting candle/standard/semantics
Jul 13 19:57:25 Finished candle/standard/semantics                             2m24s   3GB
Jul 13 19:57:26 Starting candle/standard/monadic
Jul 13 19:57:28 Finished candle/standard/monadic                                  0s 105MB
Jul 13 19:57:29 Starting candle/standard/ml_kernel
Jul 13 19:59:21 Finished candle/standard/ml_kernel                             1m51s   6GB
Jul 13 19:59:21 Starting candle/overloading/syntax
Jul 13 20:02:47 Finished candle/overloading/syntax                             3m24s   2GB
Jul 13 20:02:47 Starting candle/overloading/semantics
Jul 13 20:14:17 Finished candle/overloading/semantics                         11m29s   6GB
Jul 13 20:14:18 Starting candle/overloading/monadic
Jul 13 20:16:57 Finished candle/overloading/monadic                            2m36s   3GB
Jul 13 20:16:58 Starting candle/overloading/ml_kernel
Jul 13 20:24:28 Finished candle/overloading/ml_kernel                          7m29s   6GB
Jul 13 20:24:29 Starting candle/overloading/ml_checker
Jul 13 20:26:57 Finished candle/overloading/ml_checker                         2m27s   7GB
Jul 13 20:26:58 Starting candle/prover
Jul 13 20:36:50 Finished candle/prover                                         9m51s   5GB
Jul 13 20:36:50 Starting pancake
Jul 13 20:37:51 Finished pancake                                                 59s   1GB
Jul 13 20:37:52 Starting pancake/ffi
Jul 13 20:37:52 Finished pancake/ffi                                              0s  20MB
Jul 13 20:37:53 Starting pancake/semantics
Jul 13 20:40:11 Finished pancake/semantics                                     2m16s   2GB
Jul 13 20:40:12 Starting pancake/proofs
Jul 13 21:10:21 Finished pancake/proofs                                       30m08s   7GB
Jul 13 21:10:21 Starting characteristic/examples
Jul 13 21:11:55 Finished characteristic/examples                               1m32s   5GB
Jul 13 21:11:56 Starting tutorial/solutions
Jul 13 21:27:10 Finished tutorial/solutions                                   15m12s  11GB
Jul 13 21:27:11 Starting translator/monadic/examples
Jul 13 21:30:54 Finished translator/monadic/examples                           3m41s   5GB
Jul 13 21:30:54 Starting examples
Jul 13 21:45:10 Finished examples                                             14m15s   7GB
Jul 13 21:45:11 Starting examples/compilation/x64
Jul 13 23:41:16 Finished examples/compilation/x64                           1h56m02s  16GB
Jul 13 23:41:17 Starting examples/compilation/x64/proofs
Jul 13 23:45:02 Finished examples/compilation/x64/proofs                       3m44s   5GB
Jul 13 23:45:03 Starting examples/compilation/ag32
Jul 14 00:14:37 Finished examples/compilation/ag32                            29m32s  10GB
Jul 14 00:14:37 Starting examples/compilation/ag32/proofs
Jul 14 00:16:04 Finished examples/compilation/ag32/proofs                      1m25s   6GB
Jul 14 00:16:05 Starting examples/compilation/to_word
Jul 14 00:19:55 Finished examples/compilation/to_word                          3m48s  11GB
Jul 14 00:19:56 Starting examples/lpr_checker
Jul 14 00:21:13 Finished examples/lpr_checker                                  1m16s   2GB
Jul 14 00:21:14 Starting examples/lpr_checker/array
Jul 14 00:56:43 Finished examples/lpr_checker/array                           35m28s  24GB
Jul 14 00:56:44 Starting examples/lpr_checker/array/compilation
Jul 14 01:29:40 Finished examples/lpr_checker/array/compilation               32m55s  35GB
Jul 14 01:29:41 Starting examples/lpr_checker/array/compilation/proofs
Jul 14 01:31:33 Finished examples/lpr_checker/array/compilation/proofs         1m51s   9GB
Jul 14 01:31:34 Starting examples/opentheory
Jul 14 01:42:23 Finished examples/opentheory                                  10m48s   7GB
Jul 14 01:42:24 Starting examples/opentheory
Jul 14 01:42:26 Finished examples/opentheory                                      0s 128MB
Jul 14 01:42:26 Starting examples/opentheory/compilation
Jul 14 02:18:28 Finished examples/opentheory/compilation                      36m00s  50GB
Jul 14 02:18:29 Starting examples/opentheory/compilation/proofs
Jul 14 02:19:55 Finished examples/opentheory/compilation/proofs                1m25s   6GB
Jul 14 02:19:56 Starting examples/opentheory/compilation/ag32
Jul 14 02:51:44 Finished examples/opentheory/compilation/ag32                 31m46s  46GB
Jul 14 02:51:45 Starting examples/opentheory/compilation/ag32/proofs
Jul 14 02:54:12 Finished examples/opentheory/compilation/ag32/proofs           2m26s  12GB
Jul 14 02:54:13 Starting examples/sat_encodings
Jul 14 02:56:49 Finished examples/sat_encodings                                2m35s   1GB
Jul 14 02:56:50 Starting examples/sat_encodings/case_studies
Jul 14 02:58:49 Finished examples/sat_encodings/case_studies                   1m58s   2GB
Jul 14 02:58:50 Starting examples/sat_encodings/translation
Jul 14 03:04:56 Finished examples/sat_encodings/translation                    6m04s   7GB
Jul 14 03:04:56 Starting examples/sat_encodings/translation/compilation
Jul 14 03:39:11 Finished examples/sat_encodings/translation/compilation       34m13s  39GB
Jul 14 03:39:12 Starting examples/deflate
Jul 14 03:40:27 Finished examples/deflate                                      1m13s   1GB
Jul 14 03:40:28 Starting examples/deflate/translation
Jul 14 03:42:03 Finished examples/deflate/translation                          1m34s   7GB
Jul 14 03:42:04 Starting examples/deflate/translation/compilation
Jul 14 03:58:54 Finished examples/deflate/translation/compilation             16m48s  25GB
Jul 14 03:58:54 Starting examples/vipr
Jul 14 04:02:58 Finished examples/vipr                                         4m02s   7GB
Jul 14 04:02:59 Starting examples/vipr/compilation
Jul 14 04:22:40 Finished examples/vipr/compilation                            19m40s  20GB
Jul 14 04:22:41 Starting translator/okasaki-examples
Jul 14 04:27:37 Finished translator/okasaki-examples                           4m54s   4GB
Jul 14 04:27:38 Starting translator/other-examples
Jul 14 04:28:47 Finished translator/other-examples                             1m09s   3GB
Jul 14 04:28:48 Starting compiler/parsing/tests
Jul 14 04:29:22 Finished compiler/parsing/tests                                  33s   1GB
Jul 14 04:29:23 Starting compiler/inference/tests
Jul 14 04:36:48 Finished compiler/inference/tests                              7m24s   5GB
Jul 14 04:36:49 Starting compiler/printing/test
Jul 14 04:40:22 Finished compiler/printing/test                                3m31s   6GB
Jul 14 04:40:23 Starting icing/flover
Jul 14 05:16:08 Finished icing/flover                                         35m43s   5GB
Jul 14 05:16:09 Starting icing/
Jul 14 06:12:12 Finished icing/                                               56m01s  43GB
Jul 14 06:12:13 Starting icing/examples
Jul 14 06:13:55 Finished icing/examples                                        1m40s   8GB
Jul 14 06:13:56 Starting compiler/repl
Jul 14 06:22:42 Finished compiler/repl                                         8m44s   9GB
Jul 14 06:22:42 Starting unverified/sexpr-bootstrap/x64/64
Jul 14 06:33:49 Finished unverified/sexpr-bootstrap/x64/64                    10m43s  15GB
Jul 14 06:33:49 Starting unverified/sexpr-bootstrap/x64/32
Jul 14 06:43:03 Finished unverified/sexpr-bootstrap/x64/32                     8m57s  12GB
Jul 14 06:43:04 Starting compiler/benchmarks
Jul 14 06:43:49 Finished compiler/benchmarks                                     43s 713MB
Jul 14 06:43:50 Starting compiler/bootstrap/compilation/x64/64
Jul 14 20:25:58 Finished compiler/bootstrap/compilation/x64/64             13h41m46s 145GB
Jul 14 20:25:58 Starting compiler/bootstrap/compilation/x64/64/proofs
Jul 14 20:46:32 Finished compiler/bootstrap/compilation/x64/64/proofs         20m32s  37GB
Jul 14 20:46:32 Starting compiler/bootstrap/compilation/x64/32
Jul 15 03:34:20 Finished compiler/bootstrap/compilation/x64/32              6h47m40s 119GB
Jul 15 03:34:21 Starting compiler/bootstrap/compilation/x64/32/proofs
Jul 15 03:37:51 Finished compiler/bootstrap/compilation/x64/32/proofs          3m29s  18GB
Jul 15 03:37:52 Starting compiler/bootstrap/compilation/ag32/32
Jul 15 10:35:38 Finished compiler/bootstrap/compilation/ag32/32             6h57m44s 112GB
Jul 15 10:35:38 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jul 15 10:42:54 Finished compiler/bootstrap/compilation/ag32/32/proofs         7m14s  47GB
Jul 15 10:42:55 SUCCESS