Job 2205

CakeML:e9d26022bc47c1472f4ebcbb46ef1405c8d09136
  Fix parsing of x.(y) in Candle [Aug 25 17:37:59]
#971 (candle-parser-bugs)
Merging into:f5af8f6fad29f971d59e39b47ae2e4d8bfaed74a
  Merge pull request #969 from CakeML/issue-916 [Aug 24 14:33:31]
HOL:6fd1cd2ed6786825d8fb2ab4da513ea370b8d65c
  Get close to tailcall-ification of unify algorithm [Aug 21 07:16:05]
Machine:pavlova

Aug 26 20:50:58 Claimed job
Aug 26 20:51:05 Building HOL
Aug 26 21:05:59 Starting developers
Aug 26 21:06:02 Finished developers                                               2s 189MB
Aug 26 21:06:03 Starting developers/bin
Aug 26 21:06:14 Finished developers/bin                                           9s   1GB
Aug 26 21:06:15 Starting compiler/proofs
Aug 26 22:51:23 Finished compiler/proofs                                    1h45m07s  36GB
Aug 26 22:51:24 Starting compiler/bootstrap/translation
Aug 27 06:49:37 Finished compiler/bootstrap/translation                     7h58m08s  71GB
Aug 27 06:49:38 Starting semantics/ffi
Aug 27 06:49:46 Finished semantics/ffi                                            7s 592MB
Aug 27 06:49:47 Starting semantics
Aug 27 06:49:48 Finished semantics                                                0s  65MB
Aug 27 06:49:49 Starting semantics/proofs
Aug 27 06:50:27 Finished semantics/proofs                                        37s   1GB
Aug 27 06:50:27 Starting semantics/alt_semantics
Aug 27 06:51:05 Finished semantics/alt_semantics                                 36s   1GB
Aug 27 06:51:06 Starting semantics/alt_semantics/proofs
Aug 27 07:01:57 Finished semantics/alt_semantics/proofs                       10m50s   3GB
Aug 27 07:01:58 Starting basis/pure
Aug 27 07:02:00 Finished basis/pure                                               0s  72MB
Aug 27 07:02:00 Starting translator
Aug 27 07:03:44 Finished translator                                            1m42s   4GB
Aug 27 07:03:44 Starting compiler/parsing
Aug 27 07:03:46 Finished compiler/parsing                                         0s  71MB
Aug 27 07:03:47 Starting characteristic
Aug 27 07:03:48 Finished characteristic                                           0s  90MB
Aug 27 07:03:49 Starting translator/monadic
Aug 27 07:03:50 Finished translator/monadic                                       0s  97MB
Aug 27 07:03:51 Starting basis
Aug 27 07:07:43 Finished basis                                                 3m51s   5GB
Aug 27 07:07:44 Starting compiler/inference
Aug 27 07:07:46 Finished compiler/inference                                       0s  84MB
Aug 27 07:07:46 Starting compiler/backend/reg_alloc
Aug 27 07:07:48 Finished compiler/backend/reg_alloc                               0s  65MB
Aug 27 07:07:49 Starting compiler/backend/gc
Aug 27 07:07:50 Finished compiler/backend/gc                                      0s 126MB
Aug 27 07:07:51 Starting compiler/backend
Aug 27 07:08:09 Finished compiler/backend                                        17s   1GB
Aug 27 07:08:10 Starting compiler/encoders/asm
Aug 27 07:08:12 Finished compiler/encoders/asm                                    0s  82MB
Aug 27 07:08:12 Starting compiler/encoders/x64
Aug 27 07:08:14 Finished compiler/encoders/x64                                    0s  94MB
Aug 27 07:08:15 Starting compiler/encoders/arm7
Aug 27 07:08:16 Finished compiler/encoders/arm7                                   0s  94MB
Aug 27 07:08:17 Starting compiler/encoders/arm8
Aug 27 07:08:18 Finished compiler/encoders/arm8                                   0s  89MB
Aug 27 07:08:19 Starting compiler/encoders/arm8_asl
Aug 27 09:17:50 Finished compiler/encoders/arm8_asl                         2h09m30s  39GB
Aug 27 09:17:51 Starting compiler/encoders/mips
Aug 27 09:17:53 Finished compiler/encoders/mips                                   0s  86MB
Aug 27 09:17:54 Starting compiler/encoders/riscv
Aug 27 09:17:55 Finished compiler/encoders/riscv                                  0s  87MB
Aug 27 09:17:56 Starting compiler/encoders/ag32
Aug 27 09:17:57 Finished compiler/encoders/ag32                                   0s  89MB
Aug 27 09:17:58 Starting compiler/backend/x64
Aug 27 09:18:00 Finished compiler/backend/x64                                     0s 122MB
Aug 27 09:18:00 Starting compiler/backend/arm7
Aug 27 09:18:02 Finished compiler/backend/arm7                                    0s 122MB
Aug 27 09:18:03 Starting compiler/backend/arm8
Aug 27 09:18:05 Finished compiler/backend/arm8                                    0s 128MB
Aug 27 09:18:05 Starting compiler/backend/mips
Aug 27 09:18:07 Finished compiler/backend/mips                                    0s 122MB
Aug 27 09:18:08 Starting compiler/backend/riscv
Aug 27 09:18:10 Finished compiler/backend/riscv                                   0s 122MB
Aug 27 09:18:11 Starting compiler/backend/ag32
Aug 27 09:19:31 Finished compiler/backend/ag32                                 1m19s   2GB
Aug 27 09:19:32 Starting compiler/parsing/proofs
Aug 27 09:19:33 Finished compiler/parsing/proofs                                  0s  72MB
Aug 27 09:19:34 Starting compiler/inference/proofs
Aug 27 09:19:35 Finished compiler/inference/proofs                                0s  85MB
Aug 27 09:19:36 Starting compiler/backend/semantics
Aug 27 09:21:03 Finished compiler/backend/semantics                            1m25s   3GB
Aug 27 09:21:03 Starting compiler/backend/reg_alloc/proofs
Aug 27 09:21:05 Finished compiler/backend/reg_alloc/proofs                        0s  90MB
Aug 27 09:21:06 Starting compiler/backend/proofs
Aug 27 09:22:08 Finished compiler/backend/proofs                               1m00s   3GB
Aug 27 09:22:08 Starting compiler/backend/serialiser
Aug 27 09:22:10 Finished compiler/backend/serialiser                              1s 180MB
Aug 27 09:22:12 Starting compiler/encoders/x64/proofs
Aug 27 09:31:45 Finished compiler/encoders/x64/proofs                          9m32s   6GB
Aug 27 09:31:46 Starting compiler/encoders/arm7/proofs
Aug 27 09:44:56 Finished compiler/encoders/arm7/proofs                        13m08s   8GB
Aug 27 09:44:57 Starting compiler/encoders/arm8/proofs
Aug 27 09:51:18 Finished compiler/encoders/arm8/proofs                         6m20s   4GB
Aug 27 09:51:19 Starting compiler/encoders/arm8_asl/proofs
Aug 27 10:39:14 Finished compiler/encoders/arm8_asl/proofs                    47m54s  11GB
Aug 27 10:39:15 Starting compiler/encoders/mips/proofs
Aug 27 10:49:27 Finished compiler/encoders/mips/proofs                        10m10s   7GB
Aug 27 10:49:28 Starting compiler/encoders/riscv/proofs
Aug 27 10:57:47 Finished compiler/encoders/riscv/proofs                        8m18s   4GB
Aug 27 10:57:48 Starting compiler/encoders/ag32/proofs
Aug 27 11:00:16 Finished compiler/encoders/ag32/proofs                         2m26s   3GB
Aug 27 11:00:17 Starting compiler/backend/x64/proofs
Aug 27 11:00:57 Finished compiler/backend/x64/proofs                             39s   2GB
Aug 27 11:00:57 Starting compiler/backend/arm7/proofs
Aug 27 11:01:40 Finished compiler/backend/arm7/proofs                            41s   2GB
Aug 27 11:01:41 Starting compiler/backend/arm8/proofs
Aug 27 11:02:21 Finished compiler/backend/arm8/proofs                            39s   3GB
Aug 27 11:02:22 Starting compiler/backend/arm8_asl
Aug 27 11:02:48 Finished compiler/backend/arm8_asl                               25s   2GB
Aug 27 11:02:49 Starting compiler/backend/mips/proofs
Aug 27 11:03:32 Finished compiler/backend/mips/proofs                            42s   3GB
Aug 27 11:03:33 Starting compiler/backend/riscv/proofs
Aug 27 11:04:22 Finished compiler/backend/riscv/proofs                           48s   4GB
Aug 27 11:04:23 Starting compiler/backend/ag32/proofs
Aug 27 11:17:31 Finished compiler/backend/ag32/proofs                         13m07s   6GB
Aug 27 11:17:32 Starting candle/set-theory
Aug 27 11:18:16 Finished candle/set-theory                                       43s   1GB
Aug 27 11:18:16 Starting candle/syntax-lib
Aug 27 11:18:18 Finished candle/syntax-lib                                        0s  70MB
Aug 27 11:18:18 Starting candle/standard/syntax
Aug 27 11:18:34 Finished candle/standard/syntax                                  14s   1GB
Aug 27 11:18:35 Starting candle/standard/semantics
Aug 27 11:21:01 Finished candle/standard/semantics                             2m24s   3GB
Aug 27 11:21:01 Starting candle/standard/monadic
Aug 27 11:21:03 Finished candle/standard/monadic                                  0s 100MB
Aug 27 11:21:04 Starting candle/standard/ml_kernel
Aug 27 11:22:52 Finished candle/standard/ml_kernel                             1m47s   5GB
Aug 27 11:22:53 Starting candle/overloading/syntax
Aug 27 11:26:22 Finished candle/overloading/syntax                             3m27s   3GB
Aug 27 11:26:23 Starting candle/overloading/semantics
Aug 27 11:37:41 Finished candle/overloading/semantics                         11m17s   9GB
Aug 27 11:37:42 Starting candle/overloading/monadic
Aug 27 11:40:17 Finished candle/overloading/monadic                            2m33s   3GB
Aug 27 11:40:17 Starting candle/overloading/ml_kernel
Aug 27 11:47:47 Finished candle/overloading/ml_kernel                          7m28s   6GB
Aug 27 11:47:48 Starting candle/overloading/ml_checker
Aug 27 11:50:22 Finished candle/overloading/ml_checker                         2m33s   6GB
Aug 27 11:50:23 Starting candle/prover
Aug 27 12:00:12 Finished candle/prover                                         9m48s   5GB
Aug 27 12:00:13 Starting pancake
Aug 27 12:01:12 Finished pancake                                                 58s   1GB
Aug 27 12:01:13 Starting pancake/ffi
Aug 27 12:01:14 Finished pancake/ffi                                              0s  20MB
Aug 27 12:01:15 Starting pancake/semantics
Aug 27 12:03:39 Finished pancake/semantics                                     2m23s   2GB
Aug 27 12:03:40 Starting pancake/parser
Aug 27 12:04:04 Finished pancake/parser                                          23s   1GB
Aug 27 12:04:05 Starting pancake/proofs
Aug 27 12:33:37 Finished pancake/proofs                                       29m30s  10GB
Aug 27 12:33:38 Starting characteristic/examples
Aug 27 12:35:14 Finished characteristic/examples                               1m35s   5GB
Aug 27 12:35:15 Starting tutorial/solutions
Aug 27 12:50:43 Finished tutorial/solutions                                   15m27s  18GB
Aug 27 12:50:44 Starting translator/monadic/examples
Aug 27 12:54:29 Finished translator/monadic/examples                           3m43s   5GB
Aug 27 12:54:30 Starting examples
Aug 27 13:09:12 Finished examples                                             14m41s   7GB
Aug 27 13:09:13 Starting examples/compilation/x64
Aug 27 15:06:22 Finished examples/compilation/x64                           1h57m08s  37GB
Aug 27 15:06:23 Starting examples/compilation/x64/proofs
Aug 27 15:10:05 Finished examples/compilation/x64/proofs                       3m41s   6GB
Aug 27 15:10:06 Starting examples/compilation/ag32
Aug 27 15:40:22 Finished examples/compilation/ag32                            30m14s  10GB
Aug 27 15:40:22 Starting examples/compilation/ag32/proofs
Aug 27 15:41:52 Finished examples/compilation/ag32/proofs                      1m28s   7GB
Aug 27 15:41:53 Starting examples/compilation/to_word
Aug 27 15:45:47 Finished examples/compilation/to_word                          3m53s  13GB
Aug 27 15:45:48 Starting examples/lpr_checker
Aug 27 15:47:03 Finished examples/lpr_checker                                  1m14s   2GB
Aug 27 15:47:04 Starting examples/lpr_checker/array
Aug 27 16:21:50 Finished examples/lpr_checker/array                           34m45s   9GB
Aug 27 16:21:51 Starting examples/lpr_checker/array/compilation
Aug 27 16:59:21 Finished examples/lpr_checker/array/compilation               37m29s  82GB
Aug 27 16:59:22 Starting examples/lpr_checker/array/compilation/proofs
Aug 27 17:01:16 Finished examples/lpr_checker/array/compilation/proofs         1m52s   9GB
Aug 27 17:01:17 Starting examples/lpr_checker/array/compilation/proofsARM8
Aug 27 17:16:18 Finished examples/lpr_checker/array/compilation/proofsARM8    15m00s  39GB
Aug 27 17:16:19 Starting examples/opentheory
Aug 27 17:27:08 Finished examples/opentheory                                  10m48s   7GB
Aug 27 17:27:09 Starting examples/opentheory
Aug 27 17:27:11 Finished examples/opentheory                                      0s 122MB
Aug 27 17:27:12 Starting examples/opentheory/compilation
Aug 27 18:02:48 Finished examples/opentheory/compilation                      35m35s  49GB
Aug 27 18:02:48 Starting examples/opentheory/compilation/proofs
Aug 27 18:04:19 Finished examples/opentheory/compilation/proofs                1m30s   6GB
Aug 27 18:04:20 Starting examples/opentheory/compilation/ag32
Aug 27 18:36:03 Finished examples/opentheory/compilation/ag32                 31m41s  54GB
Aug 27 18:36:04 Starting examples/opentheory/compilation/ag32/proofs
Aug 27 18:38:21 Finished examples/opentheory/compilation/ag32/proofs           2m16s  11GB
Aug 27 18:38:22 Starting examples/sat_encodings
Aug 27 18:40:56 Finished examples/sat_encodings                                2m32s   1GB
Aug 27 18:40:56 Starting examples/sat_encodings/case_studies
Aug 27 18:42:59 Finished examples/sat_encodings/case_studies                   2m01s   2GB
Aug 27 18:42:59 Starting examples/sat_encodings/translation
Aug 27 18:49:04 Finished examples/sat_encodings/translation                    6m03s   7GB
Aug 27 18:49:04 Starting examples/sat_encodings/translation/compilation
Aug 27 19:23:33 Finished examples/sat_encodings/translation/compilation       34m27s  39GB
Aug 27 19:23:34 Starting examples/deflate
Aug 27 19:24:51 Finished examples/deflate                                      1m16s   1GB
Aug 27 19:24:52 Starting examples/deflate/translation
Aug 27 19:26:26 Finished examples/deflate/translation                          1m32s   6GB
Aug 27 19:26:26 Starting examples/deflate/translation/compilation
Aug 27 19:43:15 Finished examples/deflate/translation/compilation             16m47s  23GB
Aug 27 19:43:16 Starting examples/vipr
Aug 27 19:47:26 Finished examples/vipr                                         4m09s   7GB
Aug 27 19:47:26 Starting examples/vipr/compilation
Aug 27 20:07:38 Finished examples/vipr/compilation                            20m10s  38GB
Aug 27 20:07:38 Starting translator/okasaki-examples
Aug 27 20:12:38 Finished translator/okasaki-examples                           4m58s   3GB
Aug 27 20:12:39 Starting translator/other-examples
Aug 27 20:16:14 Finished translator/other-examples                             3m34s   3GB
Aug 27 20:16:15 Starting compiler/parsing/tests
Aug 27 20:16:49 Finished compiler/parsing/tests                                  33s   1GB
Aug 27 20:16:50 Starting compiler/inference/tests
Aug 27 20:24:20 Finished compiler/inference/tests                              7m29s   7GB
Aug 27 20:24:20 Starting compiler/printing/test
Aug 27 20:27:50 Finished compiler/printing/test                                3m28s   6GB
Aug 27 20:27:51 Starting icing/flover
Aug 27 21:02:54 Finished icing/flover                                         35m02s   4GB
Aug 27 21:02:55 Starting icing/
Aug 27 21:58:55 Finished icing/                                               55m59s  27GB
Aug 27 21:58:56 Starting icing/examples
Aug 27 22:00:36 Finished icing/examples                                        1m38s   8GB
Aug 27 22:00:36 Starting compiler/repl
Aug 27 22:09:17 Finished compiler/repl                                         8m39s   9GB
Aug 27 22:09:18 Starting unverified/sexpr-bootstrap/x64/64
Aug 27 22:20:27 Finished unverified/sexpr-bootstrap/x64/64                    11m08s  16GB
Aug 27 22:20:28 Starting unverified/sexpr-bootstrap/x64/32
Aug 27 22:29:28 Finished unverified/sexpr-bootstrap/x64/32                     8m58s  13GB
Aug 27 22:29:29 Starting compiler/benchmarks
Aug 27 22:30:13 Finished compiler/benchmarks                                     43s 713MB
Aug 27 22:30:14 Starting compiler/bootstrap/compilation/x64/64
Aug 28 12:56:50 Finished compiler/bootstrap/compilation/x64/64             14h26m35s 167GB
Aug 28 12:56:51 Starting compiler/bootstrap/compilation/x64/64/proofs
Aug 28 13:18:06 Finished compiler/bootstrap/compilation/x64/64/proofs         21m14s  46GB
Aug 28 13:18:07 Starting compiler/bootstrap/compilation/x64/32
Aug 28 20:18:45 Finished compiler/bootstrap/compilation/x64/32              7h00m37s 119GB
Aug 28 20:18:46 Starting compiler/bootstrap/compilation/x64/32/proofs
Aug 28 20:22:13 Finished compiler/bootstrap/compilation/x64/32/proofs          3m26s  20GB
Aug 28 20:22:14 Starting compiler/bootstrap/compilation/ag32/32
Aug 29 04:03:45 Finished compiler/bootstrap/compilation/ag32/32             7h41m29s 133GB
Aug 29 04:03:46 Starting compiler/bootstrap/compilation/ag32/32/proofs
Aug 29 04:11:01 Finished compiler/bootstrap/compilation/ag32/32/proofs         7m14s  37GB
Aug 29 04:11:02 SUCCESS