Job 2208

CakeML:a500b998760b855e6d32428c2e39ce0f69a89131
  Merge pull request #971 from CakeML/candle-parser-bugs [Aug 28 20:03:11]
HOL:6fd1cd2ed6786825d8fb2ab4da513ea370b8d65c
  Get close to tailcall-ification of unify algorithm [Aug 21 07:16:05]
Machine:lammington
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Aug 28 20:04:49 Claimed job
Aug 28 20:04:54 Reusing HOL
Aug 28 20:05:04 Starting developers
Aug 28 20:05:07 Finished developers                                               2s 206MB
Aug 28 20:05:08 Starting developers/bin
Aug 28 20:05:19 Finished developers/bin                                           9s   1GB
Aug 28 20:05:19 Starting compiler/proofs
Aug 28 21:46:53 Finished compiler/proofs                                    1h41m31s  46GB
Aug 28 21:46:53 Starting compiler/bootstrap/translation
Aug 29 05:53:01 Finished compiler/bootstrap/translation                     8h06m07s  88GB
Aug 29 05:53:02 Starting semantics/ffi
Aug 29 05:53:10 Finished semantics/ffi                                            7s 719MB
Aug 29 05:53:11 Starting semantics
Aug 29 05:53:12 Finished semantics                                                0s  65MB
Aug 29 05:53:13 Starting semantics/proofs
Aug 29 05:53:49 Finished semantics/proofs                                        34s   2GB
Aug 29 05:53:50 Starting semantics/alt_semantics
Aug 29 05:54:28 Finished semantics/alt_semantics                                 37s   1GB
Aug 29 05:54:29 Starting semantics/alt_semantics/proofs
Aug 29 06:05:25 Finished semantics/alt_semantics/proofs                       10m54s   3GB
Aug 29 06:05:26 Starting basis/pure
Aug 29 06:05:27 Finished basis/pure                                               0s  72MB
Aug 29 06:05:28 Starting translator
Aug 29 06:07:11 Finished translator                                            1m42s   3GB
Aug 29 06:07:12 Starting compiler/parsing
Aug 29 06:07:13 Finished compiler/parsing                                         0s  66MB
Aug 29 06:07:14 Starting characteristic
Aug 29 06:07:16 Finished characteristic                                           0s  89MB
Aug 29 06:07:16 Starting translator/monadic
Aug 29 06:07:18 Finished translator/monadic                                       0s  89MB
Aug 29 06:07:19 Starting basis
Aug 29 06:11:20 Finished basis                                                 4m00s   7GB
Aug 29 06:11:21 Starting compiler/inference
Aug 29 06:11:23 Finished compiler/inference                                       0s  83MB
Aug 29 06:11:23 Starting compiler/backend/reg_alloc
Aug 29 06:11:25 Finished compiler/backend/reg_alloc                               0s  69MB
Aug 29 06:11:26 Starting compiler/backend/gc
Aug 29 06:11:27 Finished compiler/backend/gc                                      0s 129MB
Aug 29 06:11:28 Starting compiler/backend
Aug 29 06:11:46 Finished compiler/backend                                        15s   1GB
Aug 29 06:11:47 Starting compiler/encoders/asm
Aug 29 06:11:48 Finished compiler/encoders/asm                                    0s  84MB
Aug 29 06:11:49 Starting compiler/encoders/x64
Aug 29 06:11:50 Finished compiler/encoders/x64                                    0s  89MB
Aug 29 06:11:51 Starting compiler/encoders/arm7
Aug 29 06:11:53 Finished compiler/encoders/arm7                                   0s  89MB
Aug 29 06:11:53 Starting compiler/encoders/arm8
Aug 29 06:11:55 Finished compiler/encoders/arm8                                   0s  89MB
Aug 29 06:11:56 Starting compiler/encoders/arm8_asl
Aug 29 06:14:07 Finished compiler/encoders/arm8_asl                            2m10s   1GB
Aug 29 06:14:08 Starting compiler/encoders/mips
Aug 29 06:14:09 Finished compiler/encoders/mips                                   0s  89MB
Aug 29 06:14:10 Starting compiler/encoders/riscv
Aug 29 06:14:12 Finished compiler/encoders/riscv                                  0s  89MB
Aug 29 06:14:12 Starting compiler/encoders/ag32
Aug 29 06:14:14 Finished compiler/encoders/ag32                                   0s  84MB
Aug 29 06:14:15 Starting compiler/backend/x64
Aug 29 06:14:16 Finished compiler/backend/x64                                     0s 127MB
Aug 29 06:14:17 Starting compiler/backend/arm7
Aug 29 06:14:19 Finished compiler/backend/arm7                                    0s 127MB
Aug 29 06:14:20 Starting compiler/backend/arm8
Aug 29 06:14:21 Finished compiler/backend/arm8                                    0s 126MB
Aug 29 06:14:22 Starting compiler/backend/mips
Aug 29 06:14:24 Finished compiler/backend/mips                                    0s 126MB
Aug 29 06:14:25 Starting compiler/backend/riscv
Aug 29 06:14:26 Finished compiler/backend/riscv                                   0s 127MB
Aug 29 06:14:27 Starting compiler/backend/ag32
Aug 29 06:15:48 Finished compiler/backend/ag32                                 1m20s   2GB
Aug 29 06:15:49 Starting compiler/parsing/proofs
Aug 29 06:15:50 Finished compiler/parsing/proofs                                  0s  78MB
Aug 29 06:15:51 Starting compiler/inference/proofs
Aug 29 06:15:52 Finished compiler/inference/proofs                                0s  89MB
Aug 29 06:15:53 Starting compiler/backend/semantics
Aug 29 06:17:19 Finished compiler/backend/semantics                            1m25s   2GB
Aug 29 06:17:20 Starting compiler/backend/reg_alloc/proofs
Aug 29 06:17:22 Finished compiler/backend/reg_alloc/proofs                        0s  90MB
Aug 29 06:17:22 Starting compiler/backend/proofs
Aug 29 06:18:24 Finished compiler/backend/proofs                               1m01s   3GB
Aug 29 06:18:25 Starting compiler/backend/serialiser
Aug 29 06:18:27 Finished compiler/backend/serialiser                              1s 191MB
Aug 29 06:18:28 Starting compiler/encoders/x64/proofs
Aug 29 06:27:54 Finished compiler/encoders/x64/proofs                          9m24s   5GB
Aug 29 06:27:54 Starting compiler/encoders/arm7/proofs
Aug 29 06:40:50 Finished compiler/encoders/arm7/proofs                        12m54s   9GB
Aug 29 06:40:51 Starting compiler/encoders/arm8/proofs
Aug 29 06:47:12 Finished compiler/encoders/arm8/proofs                         6m19s   4GB
Aug 29 06:47:12 Starting compiler/encoders/arm8_asl/proofs
Aug 29 07:01:23 Finished compiler/encoders/arm8_asl/proofs                    14m09s   4GB
Aug 29 07:01:24 Starting compiler/encoders/mips/proofs
Aug 29 07:11:30 Finished compiler/encoders/mips/proofs                        10m05s   6GB
Aug 29 07:11:31 Starting compiler/encoders/riscv/proofs
Aug 29 07:19:56 Finished compiler/encoders/riscv/proofs                        8m24s   4GB
Aug 29 07:19:57 Starting compiler/encoders/ag32/proofs
Aug 29 07:22:23 Finished compiler/encoders/ag32/proofs                         2m24s   2GB
Aug 29 07:22:24 Starting compiler/backend/x64/proofs
Aug 29 07:23:04 Finished compiler/backend/x64/proofs                             39s   3GB
Aug 29 07:23:05 Starting compiler/backend/arm7/proofs
Aug 29 07:23:50 Finished compiler/backend/arm7/proofs                            44s   2GB
Aug 29 07:23:51 Starting compiler/backend/arm8/proofs
Aug 29 07:24:33 Finished compiler/backend/arm8/proofs                            40s   3GB
Aug 29 07:24:33 Starting compiler/backend/arm8_asl
Aug 29 07:25:03 Finished compiler/backend/arm8_asl                               28s   2GB
Aug 29 07:25:03 Starting compiler/backend/mips/proofs
Aug 29 07:25:48 Finished compiler/backend/mips/proofs                            43s   3GB
Aug 29 07:25:49 Starting compiler/backend/riscv/proofs
Aug 29 07:26:41 Finished compiler/backend/riscv/proofs                           50s   3GB
Aug 29 07:26:41 Starting compiler/backend/ag32/proofs
Aug 29 07:39:54 Finished compiler/backend/ag32/proofs                         13m11s   6GB
Aug 29 07:39:54 Starting candle/set-theory
Aug 29 07:40:37 Finished candle/set-theory                                       42s   1GB
Aug 29 07:40:38 Starting candle/syntax-lib
Aug 29 07:40:40 Finished candle/syntax-lib                                        0s  70MB
Aug 29 07:40:40 Starting candle/standard/syntax
Aug 29 07:40:56 Finished candle/standard/syntax                                  14s   1GB
Aug 29 07:40:57 Starting candle/standard/semantics
Aug 29 07:43:21 Finished candle/standard/semantics                             2m23s   2GB
Aug 29 07:43:22 Starting candle/standard/monadic
Aug 29 07:43:23 Finished candle/standard/monadic                                  0s 104MB
Aug 29 07:43:24 Starting candle/standard/ml_kernel
Aug 29 07:45:14 Finished candle/standard/ml_kernel                             1m48s   5GB
Aug 29 07:45:15 Starting candle/overloading/syntax
Aug 29 07:48:43 Finished candle/overloading/syntax                             3m27s   3GB
Aug 29 07:48:44 Starting candle/overloading/semantics
Aug 29 07:59:59 Finished candle/overloading/semantics                         11m13s   5GB
Aug 29 07:59:59 Starting candle/overloading/monadic
Aug 29 08:02:32 Finished candle/overloading/monadic                            2m31s   3GB
Aug 29 08:02:33 Starting candle/overloading/ml_kernel
Aug 29 08:10:05 Finished candle/overloading/ml_kernel                          7m31s   6GB
Aug 29 08:10:06 Starting candle/overloading/ml_checker
Aug 29 08:12:34 Finished candle/overloading/ml_checker                         2m27s   6GB
Aug 29 08:12:35 Starting candle/prover
Aug 29 08:22:30 Finished candle/prover                                         9m54s   5GB
Aug 29 08:22:31 Starting pancake
Aug 29 08:23:31 Finished pancake                                                 59s   1GB
Aug 29 08:23:32 Starting pancake/ffi
Aug 29 08:23:32 Finished pancake/ffi                                              0s  19MB
Aug 29 08:23:33 Starting pancake/semantics
Aug 29 08:25:51 Finished pancake/semantics                                     2m17s   2GB
Aug 29 08:25:52 Starting pancake/parser
Aug 29 08:26:20 Finished pancake/parser                                          26s   2GB
Aug 29 08:26:20 Starting pancake/proofs
Aug 29 08:56:02 Finished pancake/proofs                                       29m40s   8GB
Aug 29 08:56:03 Starting characteristic/examples
Aug 29 08:57:36 Finished characteristic/examples                               1m32s   6GB
Aug 29 08:57:37 Starting tutorial/solutions
Aug 29 09:13:10 Finished tutorial/solutions                                   15m31s  17GB
Aug 29 09:13:10 Starting translator/monadic/examples
Aug 29 09:16:57 Finished translator/monadic/examples                           3m45s   5GB
Aug 29 09:16:58 Starting examples
Aug 29 09:31:10 Finished examples                                             14m11s   7GB
Aug 29 09:31:11 Starting examples/compilation/x64
Aug 29 11:28:07 Finished examples/compilation/x64                           1h56m55s  37GB
Aug 29 11:28:08 Starting examples/compilation/x64/proofs
Aug 29 11:31:54 Finished examples/compilation/x64/proofs                       3m44s   5GB
Aug 29 11:31:54 Starting examples/compilation/ag32
Aug 29 12:02:11 Finished examples/compilation/ag32                            30m15s  21GB
Aug 29 12:02:12 Starting examples/compilation/ag32/proofs
Aug 29 12:03:44 Finished examples/compilation/ag32/proofs                      1m31s   6GB
Aug 29 12:03:45 Starting examples/compilation/to_word
Aug 29 12:07:37 Finished examples/compilation/to_word                          3m50s  11GB
Aug 29 12:07:38 Starting examples/lpr_checker
Aug 29 12:08:54 Finished examples/lpr_checker                                  1m15s   2GB
Aug 29 12:08:55 Starting examples/lpr_checker/array
Aug 29 12:43:21 Finished examples/lpr_checker/array                           34m24s   9GB
Aug 29 12:43:21 Starting examples/lpr_checker/array/compilation
Aug 29 13:16:55 Finished examples/lpr_checker/array/compilation               33m32s  43GB
Aug 29 13:16:56 Starting examples/lpr_checker/array/compilation/proofs
Aug 29 13:18:48 Finished examples/lpr_checker/array/compilation/proofs         1m50s   9GB
Aug 29 13:18:49 Starting examples/lpr_checker/array/compilation/proofsARM8
Aug 29 13:27:43 Finished examples/lpr_checker/array/compilation/proofsARM8     8m53s  40GB
Aug 29 13:27:44 Starting examples/opentheory
Aug 29 13:38:33 Finished examples/opentheory                                  10m48s   7GB
Aug 29 13:38:34 Starting examples/opentheory
Aug 29 13:38:36 Finished examples/opentheory                                      0s 132MB
Aug 29 13:38:37 Starting examples/opentheory/compilation
Aug 29 14:14:20 Finished examples/opentheory/compilation                      35m42s  52GB
Aug 29 14:14:21 Starting examples/opentheory/compilation/proofs
Aug 29 14:15:48 Finished examples/opentheory/compilation/proofs                1m25s   6GB
Aug 29 14:15:48 Starting examples/opentheory/compilation/ag32
Aug 29 14:47:40 Finished examples/opentheory/compilation/ag32                 31m50s  51GB
Aug 29 14:47:41 Starting examples/opentheory/compilation/ag32/proofs
Aug 29 14:50:00 Finished examples/opentheory/compilation/ag32/proofs           2m18s  11GB
Aug 29 14:50:01 Starting examples/sat_encodings
Aug 29 14:52:40 Finished examples/sat_encodings                                2m38s   1GB
Aug 29 14:52:41 Starting examples/sat_encodings/case_studies
Aug 29 14:54:43 Finished examples/sat_encodings/case_studies                   2m01s   2GB
Aug 29 14:54:43 Starting examples/sat_encodings/translation
Aug 29 15:00:58 Finished examples/sat_encodings/translation                    6m13s   7GB
Aug 29 15:00:59 Starting examples/sat_encodings/translation/compilation
Aug 29 15:36:30 Finished examples/sat_encodings/translation/compilation       35m30s  32GB
Aug 29 15:36:31 Starting examples/deflate
Aug 29 15:37:47 Finished examples/deflate                                      1m15s   1GB
Aug 29 15:37:48 Starting examples/deflate/translation
Aug 29 15:39:24 Finished examples/deflate/translation                          1m35s   7GB
Aug 29 15:39:25 Starting examples/deflate/translation/compilation
Aug 29 15:55:57 Finished examples/deflate/translation/compilation             16m30s  24GB
Aug 29 15:55:57 Starting examples/vipr
Aug 29 15:59:58 Finished examples/vipr                                         3m59s   5GB
Aug 29 15:59:59 Starting examples/vipr/compilation
Aug 29 16:19:38 Finished examples/vipr/compilation                            19m37s  21GB
Aug 29 16:19:38 Starting translator/okasaki-examples
Aug 29 16:24:34 Finished translator/okasaki-examples                           4m54s   3GB
Aug 29 16:24:35 Starting translator/other-examples
Aug 29 16:25:41 Finished translator/other-examples                             1m05s   3GB
Aug 29 16:25:42 Starting compiler/parsing/tests
Aug 29 16:26:15 Finished compiler/parsing/tests                                  32s   1GB
Aug 29 16:26:16 Starting compiler/inference/tests
Aug 29 16:33:53 Finished compiler/inference/tests                              7m35s   8GB
Aug 29 16:33:54 Starting compiler/printing/test
Aug 29 16:37:22 Finished compiler/printing/test                                3m27s   5GB
Aug 29 16:37:23 Starting icing/flover
Aug 29 17:12:32 Finished icing/flover                                         35m07s   4GB
Aug 29 17:12:33 Starting icing/
Aug 29 18:08:13 Finished icing/                                               55m38s  26GB
Aug 29 18:08:14 Starting icing/examples
Aug 29 18:09:52 Finished icing/examples                                        1m37s   8GB
Aug 29 18:09:53 Starting compiler/repl
Aug 29 18:18:31 Finished compiler/repl                                         8m37s   9GB
Aug 29 18:18:32 Starting unverified/sexpr-bootstrap/x64/64
Aug 29 18:29:45 Finished unverified/sexpr-bootstrap/x64/64                    10m51s  17GB
Aug 29 18:29:46 Starting unverified/sexpr-bootstrap/x64/32
Aug 29 18:38:50 Finished unverified/sexpr-bootstrap/x64/32                     8m47s  13GB
Aug 29 18:38:51 Starting compiler/benchmarks
Aug 29 18:39:36 Finished compiler/benchmarks                                     43s 713MB
Aug 29 18:39:37 Starting compiler/bootstrap/compilation/x64/64
Aug 30 08:52:35 Finished compiler/bootstrap/compilation/x64/64             14h12m45s 147GB
Aug 30 08:52:36 Starting compiler/bootstrap/compilation/x64/64/proofs
Aug 30 09:13:05 Finished compiler/bootstrap/compilation/x64/64/proofs         20m27s  36GB
Aug 30 09:13:05 Starting compiler/bootstrap/compilation/x64/32
Aug 30 16:13:50 Finished compiler/bootstrap/compilation/x64/32              7h00m31s 102GB
Aug 30 16:13:51 Starting compiler/bootstrap/compilation/x64/32/proofs
Aug 30 16:17:35 Finished compiler/bootstrap/compilation/x64/32/proofs          3m43s  18GB
Aug 30 16:17:36 Starting compiler/bootstrap/compilation/ag32/32
Aug 30 23:45:35 Finished compiler/bootstrap/compilation/ag32/32             7h27m57s 131GB
Aug 30 23:45:36 Starting compiler/bootstrap/compilation/ag32/32/proofs
Aug 30 23:53:06 Finished compiler/bootstrap/compilation/ag32/32/proofs         7m29s  49GB
Aug 30 23:53:07 SUCCESS