Job 2202

CakeML:a50a290028f34290bf9be76c607662a050b342a4
  Merge pull request #968 from CakeML/candle-parser-feature-adds [Aug 22 20:47:42]
HOL:1b35c0108cfd82d6f6a4960cfe747ff4e5cf3ee5
  Initial work on making triangular unification tail-recursive [Aug 18 07:44: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

Aug 22 21:37:34 Claimed job
Aug 22 21:37:40 Building HOL
Aug 22 21:52:35 Starting developers
Aug 22 21:52:38 Finished developers                                               2s 211MB
Aug 22 21:52:39 Starting developers/bin
Aug 22 21:52:50 Finished developers/bin                                          10s   1GB
Aug 22 21:52:51 Starting compiler/proofs
Aug 22 23:39:11 Finished compiler/proofs                                    1h46m18s  29GB
Aug 22 23:39:12 Starting compiler/bootstrap/translation
Aug 23 07:47:10 Finished compiler/bootstrap/translation                     8h07m57s  76GB
Aug 23 07:47:11 Starting semantics/ffi
Aug 23 07:47:19 Finished semantics/ffi                                            7s 592MB
Aug 23 07:47:20 Starting semantics
Aug 23 07:47:21 Finished semantics                                                0s  65MB
Aug 23 07:47:22 Starting semantics/proofs
Aug 23 07:47:57 Finished semantics/proofs                                        33s   2GB
Aug 23 07:47:58 Starting semantics/alt_semantics
Aug 23 07:48:36 Finished semantics/alt_semantics                                 36s   1GB
Aug 23 07:48:37 Starting semantics/alt_semantics/proofs
Aug 23 07:59:41 Finished semantics/alt_semantics/proofs                       11m03s   3GB
Aug 23 07:59:41 Starting basis/pure
Aug 23 07:59:43 Finished basis/pure                                               0s  72MB
Aug 23 07:59:43 Starting translator
Aug 23 08:01:27 Finished translator                                            1m42s   3GB
Aug 23 08:01:28 Starting compiler/parsing
Aug 23 08:01:29 Finished compiler/parsing                                         0s  67MB
Aug 23 08:01:30 Starting characteristic
Aug 23 08:01:31 Finished characteristic                                           0s  90MB
Aug 23 08:01:32 Starting translator/monadic
Aug 23 08:01:34 Finished translator/monadic                                       0s  97MB
Aug 23 08:01:34 Starting basis
Aug 23 08:05:24 Finished basis                                                 3m48s   5GB
Aug 23 08:05:25 Starting compiler/inference
Aug 23 08:05:26 Finished compiler/inference                                       0s  84MB
Aug 23 08:05:27 Starting compiler/backend/reg_alloc
Aug 23 08:05:28 Finished compiler/backend/reg_alloc                               0s  64MB
Aug 23 08:05:29 Starting compiler/backend/gc
Aug 23 08:05:30 Finished compiler/backend/gc                                      0s 126MB
Aug 23 08:05:31 Starting compiler/backend
Aug 23 08:05:48 Finished compiler/backend                                        16s   1GB
Aug 23 08:05:49 Starting compiler/encoders/asm
Aug 23 08:05:50 Finished compiler/encoders/asm                                    0s  82MB
Aug 23 08:05:51 Starting compiler/encoders/x64
Aug 23 08:05:52 Finished compiler/encoders/x64                                    0s  91MB
Aug 23 08:05:53 Starting compiler/encoders/arm7
Aug 23 08:05:55 Finished compiler/encoders/arm7                                   0s  90MB
Aug 23 08:05:56 Starting compiler/encoders/arm8
Aug 23 08:05:57 Finished compiler/encoders/arm8                                   0s  92MB
Aug 23 08:05:58 Starting compiler/encoders/arm8_asl
Aug 23 10:28:14 Finished compiler/encoders/arm8_asl                         2h22m15s  52GB
Aug 23 10:28:15 Starting compiler/encoders/mips
Aug 23 10:28:17 Finished compiler/encoders/mips                                   0s  86MB
Aug 23 10:28:17 Starting compiler/encoders/riscv
Aug 23 10:28:19 Finished compiler/encoders/riscv                                  0s  88MB
Aug 23 10:28:20 Starting compiler/encoders/ag32
Aug 23 10:28:21 Finished compiler/encoders/ag32                                   0s  89MB
Aug 23 10:28:22 Starting compiler/backend/x64
Aug 23 10:28:23 Finished compiler/backend/x64                                     0s 129MB
Aug 23 10:28:24 Starting compiler/backend/arm7
Aug 23 10:28:26 Finished compiler/backend/arm7                                    0s 129MB
Aug 23 10:28:27 Starting compiler/backend/arm8
Aug 23 10:28:28 Finished compiler/backend/arm8                                    0s 128MB
Aug 23 10:28:29 Starting compiler/backend/mips
Aug 23 10:28:31 Finished compiler/backend/mips                                    0s 129MB
Aug 23 10:28:32 Starting compiler/backend/riscv
Aug 23 10:28:33 Finished compiler/backend/riscv                                   0s 129MB
Aug 23 10:28:34 Starting compiler/backend/ag32
Aug 23 10:29:54 Finished compiler/backend/ag32                                 1m18s   2GB
Aug 23 10:29:54 Starting compiler/parsing/proofs
Aug 23 10:29:56 Finished compiler/parsing/proofs                                  0s  78MB
Aug 23 10:29:57 Starting compiler/inference/proofs
Aug 23 10:29:58 Finished compiler/inference/proofs                                0s  85MB
Aug 23 10:29:59 Starting compiler/backend/semantics
Aug 23 10:31:24 Finished compiler/backend/semantics                            1m23s   2GB
Aug 23 10:31:24 Starting compiler/backend/reg_alloc/proofs
Aug 23 10:31:26 Finished compiler/backend/reg_alloc/proofs                        0s  90MB
Aug 23 10:31:27 Starting compiler/backend/proofs
Aug 23 10:32:28 Finished compiler/backend/proofs                               1m00s   3GB
Aug 23 10:32:28 Starting compiler/backend/serialiser
Aug 23 10:32:31 Finished compiler/backend/serialiser                              1s 180MB
Aug 23 10:32:31 Starting compiler/encoders/x64/proofs
Aug 23 10:42:04 Finished compiler/encoders/x64/proofs                          9m31s   5GB
Aug 23 10:42:05 Starting compiler/encoders/arm7/proofs
Aug 23 10:54:58 Finished compiler/encoders/arm7/proofs                        12m52s   8GB
Aug 23 10:54:59 Starting compiler/encoders/arm8/proofs
Aug 23 11:01:25 Finished compiler/encoders/arm8/proofs                         6m25s   4GB
Aug 23 11:01:26 Starting compiler/encoders/arm8_asl/proofs
Aug 23 11:49:14 Finished compiler/encoders/arm8_asl/proofs                    47m46s  11GB
Aug 23 11:49:15 Starting compiler/encoders/mips/proofs
Aug 23 11:59:30 Finished compiler/encoders/mips/proofs                        10m14s   7GB
Aug 23 11:59:31 Starting compiler/encoders/riscv/proofs
Aug 23 12:07:44 Finished compiler/encoders/riscv/proofs                        8m12s   3GB
Aug 23 12:07:45 Starting compiler/encoders/ag32/proofs
Aug 23 12:10:13 Finished compiler/encoders/ag32/proofs                         2m27s   2GB
Aug 23 12:10:14 Starting compiler/backend/x64/proofs
Aug 23 12:10:53 Finished compiler/backend/x64/proofs                             38s   2GB
Aug 23 12:10:54 Starting compiler/backend/arm7/proofs
Aug 23 12:11:40 Finished compiler/backend/arm7/proofs                            44s   2GB
Aug 23 12:11:41 Starting compiler/backend/arm8/proofs
Aug 23 12:12:20 Finished compiler/backend/arm8/proofs                            38s   3GB
Aug 23 12:12:21 Starting compiler/backend/arm8_asl
Aug 23 12:12:51 Finished compiler/backend/arm8_asl                               28s   2GB
Aug 23 12:12:51 Starting compiler/backend/mips/proofs
Aug 23 12:13:36 Finished compiler/backend/mips/proofs                            43s   3GB
Aug 23 12:13:37 Starting compiler/backend/riscv/proofs
Aug 23 12:14:26 Finished compiler/backend/riscv/proofs                           48s   4GB
Aug 23 12:14:27 Starting compiler/backend/ag32/proofs
Aug 23 12:27:31 Finished compiler/backend/ag32/proofs                         13m03s   6GB
Aug 23 12:27:32 Starting candle/set-theory
Aug 23 12:28:16 Finished candle/set-theory                                       43s   1GB
Aug 23 12:28:17 Starting candle/syntax-lib
Aug 23 12:28:18 Finished candle/syntax-lib                                        0s  70MB
Aug 23 12:28:19 Starting candle/standard/syntax
Aug 23 12:28:34 Finished candle/standard/syntax                                  14s   1GB
Aug 23 12:28:35 Starting candle/standard/semantics
Aug 23 12:31:01 Finished candle/standard/semantics                             2m25s   3GB
Aug 23 12:31:02 Starting candle/standard/monadic
Aug 23 12:31:04 Finished candle/standard/monadic                                  0s 101MB
Aug 23 12:31:05 Starting candle/standard/ml_kernel
Aug 23 12:32:52 Finished candle/standard/ml_kernel                             1m47s   5GB
Aug 23 12:32:53 Starting candle/overloading/syntax
Aug 23 12:36:21 Finished candle/overloading/syntax                             3m26s   2GB
Aug 23 12:36:22 Starting candle/overloading/semantics
Aug 23 12:47:29 Finished candle/overloading/semantics                         11m06s   4GB
Aug 23 12:47:30 Starting candle/overloading/monadic
Aug 23 12:50:05 Finished candle/overloading/monadic                            2m34s   3GB
Aug 23 12:50:06 Starting candle/overloading/ml_kernel
Aug 23 12:57:32 Finished candle/overloading/ml_kernel                          7m24s   6GB
Aug 23 12:57:32 Starting candle/overloading/ml_checker
Aug 23 13:00:05 Finished candle/overloading/ml_checker                         2m31s   7GB
Aug 23 13:00:06 Starting candle/prover
Aug 23 13:09:58 Finished candle/prover                                         9m52s   5GB
Aug 23 13:09:59 Starting pancake
Aug 23 13:10:58 Finished pancake                                                 57s   1GB
Aug 23 13:10:58 Starting pancake/ffi
Aug 23 13:10:59 Finished pancake/ffi                                              0s  20MB
Aug 23 13:11:00 Starting pancake/semantics
Aug 23 13:13:16 Finished pancake/semantics                                     2m14s   2GB
Aug 23 13:13:17 Starting pancake/parser
Aug 23 13:13:41 Finished pancake/parser                                          23s   1GB
Aug 23 13:13:42 Starting pancake/proofs
Aug 23 13:43:15 Finished pancake/proofs                                       29m32s   8GB
Aug 23 13:43:15 Starting characteristic/examples
Aug 23 13:44:49 Finished characteristic/examples                               1m32s   5GB
Aug 23 13:44:50 Starting tutorial/solutions
Aug 23 14:00:30 Finished tutorial/solutions                                   15m39s  13GB
Aug 23 14:00:31 Starting translator/monadic/examples
Aug 23 14:04:17 Finished translator/monadic/examples                           3m44s   5GB
Aug 23 14:04:17 Starting examples
Aug 23 14:18:52 Finished examples                                             14m33s   7GB
Aug 23 14:18:52 Starting examples/compilation/x64
Aug 23 16:15:31 Finished examples/compilation/x64                           1h56m38s  22GB
Aug 23 16:15:32 Starting examples/compilation/x64/proofs
Aug 23 16:19:18 Finished examples/compilation/x64/proofs                       3m44s   5GB
Aug 23 16:19:19 Starting examples/compilation/ag32
Aug 23 16:49:18 Finished examples/compilation/ag32                            29m58s  18GB
Aug 23 16:49:18 Starting examples/compilation/ag32/proofs
Aug 23 16:50:47 Finished examples/compilation/ag32/proofs                      1m27s   6GB
Aug 23 16:50:48 Starting examples/compilation/to_word
Aug 23 16:54:37 Finished examples/compilation/to_word                          3m48s  11GB
Aug 23 16:54:38 Starting examples/lpr_checker
Aug 23 16:55:52 Finished examples/lpr_checker                                  1m12s   2GB
Aug 23 16:55:52 Starting examples/lpr_checker/array
Aug 23 17:30:32 Finished examples/lpr_checker/array                           34m38s   9GB
Aug 23 17:30:33 Starting examples/lpr_checker/array/compilation
Aug 23 18:05:56 Finished examples/lpr_checker/array/compilation               35m21s  71GB
Aug 23 18:05:56 Starting examples/lpr_checker/array/compilation/proofs
Aug 23 18:07:48 Finished examples/lpr_checker/array/compilation/proofs         1m50s   9GB
Aug 23 18:07:49 Starting examples/lpr_checker/array/compilation/proofsARM8
Aug 23 18:36:17 Finished examples/lpr_checker/array/compilation/proofsARM8    28m27s  51GB
Aug 23 18:36:18 Starting examples/opentheory
Aug 23 18:47:06 Finished examples/opentheory                                  10m47s   8GB
Aug 23 18:47:07 Starting examples/opentheory
Aug 23 18:47:09 Finished examples/opentheory                                      0s 122MB
Aug 23 18:47:09 Starting examples/opentheory/compilation
Aug 23 19:22:40 Finished examples/opentheory/compilation                      35m30s  51GB
Aug 23 19:22:41 Starting examples/opentheory/compilation/proofs
Aug 23 19:24:12 Finished examples/opentheory/compilation/proofs                1m30s   6GB
Aug 23 19:24:13 Starting examples/opentheory/compilation/ag32
Aug 23 19:56:33 Finished examples/opentheory/compilation/ag32                 32m19s  69GB
Aug 23 19:56:34 Starting examples/opentheory/compilation/ag32/proofs
Aug 23 19:58:58 Finished examples/opentheory/compilation/ag32/proofs           2m22s   9GB
Aug 23 19:58:58 Starting examples/sat_encodings
Aug 23 20:01:33 Finished examples/sat_encodings                                2m34s   1GB
Aug 23 20:01:34 Starting examples/sat_encodings/case_studies
Aug 23 20:03:32 Finished examples/sat_encodings/case_studies                   1m56s   2GB
Aug 23 20:03:33 Starting examples/sat_encodings/translation
Aug 23 20:09:31 Finished examples/sat_encodings/translation                    5m57s   7GB
Aug 23 20:09:31 Starting examples/sat_encodings/translation/compilation
Aug 23 20:44:31 Finished examples/sat_encodings/translation/compilation       34m58s  24GB
Aug 23 20:44:32 Starting examples/deflate
Aug 23 20:45:46 Finished examples/deflate                                      1m13s   1GB
Aug 23 20:45:47 Starting examples/deflate/translation
Aug 23 20:47:20 Finished examples/deflate/translation                          1m32s   5GB
Aug 23 20:47:21 Starting examples/deflate/translation/compilation
Aug 23 21:04:27 Finished examples/deflate/translation/compilation             17m05s  21GB
Aug 23 21:04:28 Starting examples/vipr
Aug 23 21:08:39 Finished examples/vipr                                         4m10s   7GB
Aug 23 21:08:40 Starting examples/vipr/compilation
Aug 23 21:28:55 Finished examples/vipr/compilation                            20m13s  40GB
Aug 23 21:28:55 Starting translator/okasaki-examples
Aug 23 21:33:53 Finished translator/okasaki-examples                           4m57s   3GB
Aug 23 21:33:54 Starting translator/other-examples
Aug 23 21:37:32 Finished translator/other-examples                             3m36s   3GB
Aug 23 21:37:33 Starting compiler/parsing/tests
Aug 23 21:38:07 Finished compiler/parsing/tests                                  32s   1GB
Aug 23 21:38:07 Starting compiler/inference/tests
Aug 23 21:45:34 Finished compiler/inference/tests                              7m25s   5GB
Aug 23 21:45:34 Starting compiler/printing/test
Aug 23 21:49:03 Finished compiler/printing/test                                3m27s   5GB
Aug 23 21:49:03 Starting icing/flover
Aug 23 22:25:08 Finished icing/flover                                         36m03s   4GB
Aug 23 22:25:09 Starting icing/
Aug 23 23:21:22 Finished icing/                                               56m12s  26GB
Aug 23 23:21:23 Starting icing/examples
Aug 23 23:23:04 Finished icing/examples                                        1m40s   8GB
Aug 23 23:23:05 Starting compiler/repl
Aug 23 23:31:47 Finished compiler/repl                                         8m41s   9GB
Aug 23 23:31:48 Starting unverified/sexpr-bootstrap/x64/64
Aug 23 23:43:38 Finished unverified/sexpr-bootstrap/x64/64                    11m05s  17GB
Aug 23 23:43:39 Starting unverified/sexpr-bootstrap/x64/32
Aug 23 23:52:53 Finished unverified/sexpr-bootstrap/x64/32                     8m57s  14GB
Aug 23 23:52:54 Starting compiler/benchmarks
Aug 23 23:53:39 Finished compiler/benchmarks                                     43s 713MB
Aug 23 23:53:40 Starting compiler/bootstrap/compilation/x64/64
Aug 24 14:19:58 Finished compiler/bootstrap/compilation/x64/64             14h26m00s 160GB
Aug 24 14:19:59 Starting compiler/bootstrap/compilation/x64/64/proofs
Aug 24 14:41:32 Finished compiler/bootstrap/compilation/x64/64/proofs         21m32s  51GB
Aug 24 14:41:33 Starting compiler/bootstrap/compilation/x64/32
Aug 24 21:45:35 Finished compiler/bootstrap/compilation/x64/32              7h03m54s 129GB
Aug 24 21:45:36 Starting compiler/bootstrap/compilation/x64/32/proofs
Aug 24 21:49:13 Finished compiler/bootstrap/compilation/x64/32/proofs          3m36s  17GB
Aug 24 21:49:14 Starting compiler/bootstrap/compilation/ag32/32
Aug 25 05:20:56 Finished compiler/bootstrap/compilation/ag32/32             7h31m40s 171GB
Aug 25 05:20:57 Starting compiler/bootstrap/compilation/ag32/32/proofs
Aug 25 05:28:30 Finished compiler/bootstrap/compilation/ag32/32/proofs         7m32s  48GB
Aug 25 05:28:31 SUCCESS